Isolation and Pex: case study of cooperation

CímIsolation and Pex: case study of cooperation
Közlemény típusaReport
Kiadás éve2013
SzerzőkHonfi, D., Micskei, Z., and Vörös, A.
Kiadás dátuma09/2013
IntézményBudapest University of Technology and Economics
Kulcsszavakisolation, Pex, symbolic execution, testing

Quality assurance of software is currently getting a wider spread, therefore testing is given a more important role in their development. Selecting the inputs for tests is an elaborate task, but there are tools for generating test inputs from the model or even from the logic of the software. In a recent testing project we experimented with Pex, a test input generation tool, which analyzes the structure of the code. Unit testing involves the isolation of external dependencies from the unit, which is commonly implemented with isolation frameworks. Pex is shipped with an isolation tool called Moles, which is now in deprecated state. Thus we performed a case study to determine whether Pex could seamlessly collaborate with other isolation frameworks. Our initial results show that is is possible to use other frameworks, but Pex could loose from its functionality.

Refereed DesignationNon-Refereed