Chƣơng 2 TỔNG QUAN KIỂM THỬ DỰA TRÊN MÔ HÌNH
3.5. Định dạng chuẩn khi viết tệp xmi từ biểu đồ tuần tự
Trên thực tế, quá trình lƣu biêu đồ tuần tự sẽ sinh ra tệp xmi, tuy nhiên tệp xmi này có ID dài, khó nhớ nên để cho quá trình nghiên cứu, tác giả định nghĩa lại tệp xmi chuẩn theo các quy tắc nhƣ sau:
- Cặp thẻ bao ngoài cùng là <sequence> và </sequence> - Lifeline bao gồm id và trƣờng type = ―Lifeline‖
- Tiếp theo là Event hoặc fragment
+ Event : Gồm trƣờng id, type=‘event ‗, coverd; trong đó coverd là id của lifeline mà event bao phủ (điểm đầu và điểm cuối của message)
+ fragment: Gồm trƣờng id, type = ‗combined frament‘, operator (operator có các giá trị là alt, loop, par….)
- Operand: Bắt buộc phải nằm trong fragment và ngay sau khai báo<fragment id=― ―, type=― ―, operator=― ―> gồm id, type=―operator‖. (nếu là fragment consider hoặc ignore thì operand nằm ngay sau khai báo <constraint value=― ―/>
- Constraint: Gồm trƣờng value, trƣờng này chứa tên các message cách nhau bởi dấu cách, ví dụ: <constraint value=―get set‖/>. Thẻ này đặt giữa 2 thẻ fragment và operand, đƣợc dùng để khai báo các message bị loại bỏ trong fragment ignore hoặc các message cần giữ lại trong fragment consider
- Event nằm trong sequence hoặc trong operand, không nằm trực tiếp trong fragment
- Message: Chỉ nằm trong sequence, không nằm trong operand hoặc fragment, gồm trƣờng id, type=―message‖, name=―tên message‖, sendEvent và là id của event đầu, receiveEvent là id của event cuối
- Thẻ guard gồm trƣờng value = ―điều kiện‖
- Thẻ option gồm trƣờng value = ―True‖ hoặc ―False‖.
consider{add , remove}
add()
remove()
<sequence>
<lifeline id="001" type="Lifeline"/> <lifeline id="002" type="Lifeline"/>
<fragment id="003" type="CombinedFragment" operator="consider"> <constraint value=“add remove"/>
<operand id="015" type="Operand">
<event id="004" type="event" covered="001"/> <event id="005" type="event" covered="002"/> <event id="006" type="event" covered="001"/> <event id="007" type="event" covered="002"/> </operand>
</fragment>
<message id="008" type="Message" name=“add" sendEvent="004" receiveEvent="005"/>
<message id="009" type="Message" name=“remove" sendEvent="006" receiveEvent="007"/>
</sequence>