Phần mềm-Ứng dụng
Cú pháp:
Concurrency(TaskA,TaskB,PA0,Cond1,PA1,cond2,PA2,…,Condn,PAn)
Trong đó 0< PAi <1 iÎ [0,n], condi Îbool,condi là các biên kiểu boolean.
Hành vi hoạt động của phép toán được trình bày như sau:
do
{n= rand(1)
if (Cond1== TRUE){
if (n<= PA1) Action_From_TaskA;
else Action_from_TaskB;
}
else if (Cond2== TRUE)
if (n<= PA2) Action_From_TaskA;
else Action_from_TaskB;
…
else if (Condn== TRUE)
if (n<= PAn) Action_From_TaskA;
else Action_from_TaskB;
else
if (n<= PA0) Action_from_TaskA;
else Action_from_TaskB;
if TaskA is finished
all remaining actions of TaskB are executed;
if TaskB is finished
all remaining actions of TaskA are executed;
} while (all actions from taskA and TaskB haven’t executed yet)
[n1]cũng định nghĩa bằng BNF như trên
[n2]có vấn đề -> ko logic với cú pháp TTT ở trên
[n3]dùng begin?
» Tin mới nhất:
- Evaluating Testing Tools for the Workbench (14/11/2025)
- Goals for the Testers’ Workbench (14/11/2025)
- Bắt đầu với Docker – Phần 3: Làm quen với Container và lệnh cơ bản (03/11/2025)
- Testers Role (16/10/2025)
- Defect Prevention and the Three Critical Views (16/10/2025)
» Các tin khác:
- Phép toán Choice (18/08/2018)
- Một số app hay cho iOS (18/06/2018)
- Những ứng dụng có thể kiếm tiền trên điện thoại (18/06/2018)
- Bootstrap (17/06/2018)
- Đặc điểm của ứng dụng tương tác đa phương thức (12/03/2018)
- Phương thức (12/03/2018)
- Hỗ trợ ra quyết định trong các đề tài quản lý (18/01/2018)
- Quy trình phát triển phần mềm (18/01/2018)
- Quy trình SCRUM: Thành công mới trong phát triển phần mềm (18/01/2018)
- Xây dựng Mô hình TESTCTT (07/12/2017)
