Title :
Overview of a place/transition net-based mutation testing framework to obtain test cases effective for concurrent software
Author :
Takagi, Tomohiko ; Arao, Takuya
Author_Institution :
Fac. of Eng., Kagawa Univ., Kagawa, Japan
Abstract :
This paper shows a framework for a PNBMT (place/transition net-based mutation testing technique) that consists of three tools, that is, a mutant PN generator, a negative test case generator, and a mutation analyzer.
Keywords :
Petri nets; program testing; concurrent software; mutant PN generator; mutation analyzer; negative test case generator; place-transition net-based mutation testing framework; Algorithm design and analysis; Conferences; Generators; Measurement; Petri nets; Software; Testing; model-based testing; mutation testing; place/transition net; software testing; test case;
Conference_Titel :
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD), 2015 16th IEEE/ACIS International Conference on
Conference_Location :
Takamatsu
DOI :
10.1109/SNPD.2015.7176242
