| Title |
The use of model constraints as imprecise software test oracles / |
| Another Title |
Modelių, kaip netikslių programinės įrangos testų orakulų, apribojimų naudojimas. |
| Authors |
Packevičius, Šarūnas ; Ušaniov, Andrej ; Bareiša, Eduardas |
| Full Text |
|
| Is Part of |
Information technology and control.. Kaunas : Technologija. 2007, vol. 36, no. 2. ISSN 1392-124X. eISSN 2335-884X |
| Abstract [eng] |
Many software test generation techniques target on generating software test data. Only a few of them provide automatic way to verify if software behaves correctly using generated test data. We propose a testing technique, which uses UML modeling language extension OCL as imprecise test oracle. Imprecise OCL constraints can be viewed as expressions which define expected results within some ranges of possible values. When software is executed using generated test data the output is verified against imprecise OCL constraints. If output invalidates imprecise OCL constraints, a tester can assume with some probability that software has bugs. |
| Published |
Kaunas : Technologija |
| Type |
Journal article |
| Language |
English |
| Publication date |
2007 |
| CC license |
|
