View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] |
ID | Project | Category | View Status | Date Submitted | Last Update |
0007432 | Part-4 Test objectives | [TDL] Technical | public | 13-04-2016 16:59 | 09-05-2016 15:38 |
|
Reporter | Finn Kristoffersen | |
Assigned To | Philip Makedonski | |
Priority | normal | Severity | minor | Reproducibility | have not tried |
Status | resolved | Resolution | fixed | |
Platform | | OS | | OS Version | |
Product Version | [TDL] Part-4 V1.2.1 | |
Target Version | [TDL] Part-4 V1.2.1 | Fixed in Version | [TDL] Part-4 V1.2.1 | |
|
Summary | 0007432: Define static semantics of TDL TO meta-model extension formally as OCL constraints |
Description | The constraints of the specific TDL meta model extensions defined for the structured test objective are defined as formal OCL constraints in addition to the current informal descriptions.
Also the additional operations used in the OCL constraints are defined and explained.
|
Additional Information | The modifications to the TDL TO document are defined in the attached document
"TDL_TO_OCL_FormalSemantics.docx" |
Tags | No tags attached. |
|
Attached Files | TDL_TO_OCL_FormalSemantics.docx [^] (28,057 bytes) 13-04-2016 16:59 |
|