In this paper the possibilities to automate black-box testing through formal requirement specifications are explored. More precisely, the formal method VDM (Vienna Development Method) serves to demonstrate that abstract requirement models can be used as test oracles for concrete software. The automation of the resulting testing frame-work is based on modern CASE-tools that support a light-weight approach to formal methods. The specification language used is VDMSL, but the results are easily transferred into similar model oriented methods such as B, Z or RAISE.
CITATION STYLE
Aichernig, B. K. (1999). Automated black-box testing with abstract VDM oracles. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1698, pp. 250–259). Springer Verlag. https://doi.org/10.1007/3-540-48249-0_22
Mendeley helps you to discover research relevant for your work.