Proceedings 17th IEEE International Conference on Automated Software Engineering, (2002)
Sept. 23, 2002 to Sept. 27, 2002
Pascal Fenkam , Technical University of Vienna
Harald Gall , Technical University of Vienna
Mehdi Jazayeri , Technical University of Vienna
As the complexity of applications and therefore of their testing process grows, the importance of automating the testing activity increases. The testing process includes test case generation, test sequencing, oracle construction, test execution, and results interpretation. Automatic generation of test cases from formal specifications has received considerable attention. Relatively little work has been reported, however, on constructing oracles for supporting efficient and automatic execution of such test cases. We present a technique for constructing a CORBA-supported VDM oracle for black-box testing starting from a VDM-SL specification. This specification is used to automatically verify the results of operations implemented in a high-level programming language. We present a case study of the technique applied to a Java application for generic access control. The technique is applicable to any CORBA-compliant programming language.
M. Jazayeri, H. Gall and P. Fenkam, "Constructing Corba-Supported Oracles for Testing: A Case Study in Automated Software Testing," Proceedings 17th IEEE International Conference on Automated Software Engineering,(ASE), Edinburgh, UK, 2002, pp. 129.