Applying Conventional Testing Techniques for Class Testing

This paper discusses how conventional testing criteria such as branch coverage can be applied for the testing of member functions inside a class. To support such testing techniques we employ symbolic execution techniques and finite state machines(FSMs). Symbolic execution is performed on the code of a member functzon to identify states that are required to fulfill a given criterion. We use FSMs to generate a sequence of member functions leading to the identified states. Our technique is a mixture of code-based and speci.fication-based testing techniques in the sense that it uses information derived from codes using symbolic execution together with information from specifications using FSMs for testing activitaes.

• Type: Conference
• Year: 1996
• Where: COMPSAC
• Authors: In Sang Chung, Malcolm Munro, Wan Kwon Lee, Yong Rae Kwon
• Keywords: COMPSAC 1996, Software Engineering, Symbolic Execution, Symbolic Execution Techniques, Testing Techniques