Sciweavers

Share
COMPSAC
1996
IEEE

Applying Conventional Testing Techniques for Class Testing

10 years 2 days ago
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.
In Sang Chung, Malcolm Munro, Wan Kwon Lee, Yong R
Added 07 Aug 2010
Updated 07 Aug 2010
Type Conference
Year 1996
Where COMPSAC
Authors In Sang Chung, Malcolm Munro, Wan Kwon Lee, Yong Rae Kwon
Comments (0)
books