论文信息 - Partially developed coverability graphs for modeling test case execution histories

Partially developed coverability graphs for modeling test case execution histories

This paper shows a PDCG (partially developed coverability graph) in order to summarize and visualize test case execution histories in place/transition net-based software testing. The PDCG is generated from a traditional coverability graph and test case execution histories.

Tomohiko Takagi | Keisuke Noda

[1] Tomohiko Takagi,et al. Overview of a place/transition net-based mutation testing framework to obtain test cases effective for concurrent software , 2015, 2015 IEEE/ACIS 16th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD).

[2] Tomohiko Takagi,et al. Concurrent N-Switch Coverage Criterion for Generating Test Cases from Place/Transition Nets , 2010, 2010 IEEE/ACIS 9th International Conference on Computer and Information Science.