The complexity of data flow criteria for test data selection
Information Processing Letters
Concurrent programming
Structural Testing of Concurrent Programs
IEEE Transactions on Software Engineering
Art of Software Testing
Event Interactions Graph for Test-case Generation of Concurrent Programs
APSEC '95 Proceedings of the Second Asia Pacific Software Engineering Conference
A Prototype of a Concurrent Behavior Monitoring Tool for Testing of Concurrent Programs
APSEC '96 Proceedings of the Third Asia-Pacific Software Engineering Conference
A Method for Structural Testing of Ada Concurrent Programs Using the Event Interactions Graph
APSEC '96 Proceedings of the Third Asia-Pacific Software Engineering Conference
A Test-case Generation Method for Concurrent Programs Including Task-types
APSEC '97 Proceedings of the Fourth Asia-Pacific Software Engineering and International Computer Science Conference
Design and Implementation of Test-Case Generation for Concurrent Programs
APSEC '98 Proceedings of the Fifth Asia Pacific Software Engineering Conference
Reliability of the Path Analysis Testing Strategy
IEEE Transactions on Software Engineering
A Concurrency Test Tool for Java Monitors
Proceedings of the 16th IEEE international conference on Automated software engineering
Business-process-driven gray-box SOA testing
IBM Systems Journal
Structural Testing of Component-Based Systems
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
Hi-index | 0.00 |
Test-cases play an important roll for high quality of software testing. Inadequate test-cases may cause bugs remaining after testing. Overlapped test-cases lead to the increases in testing costs. This paper proposes a test-case generation method with the EIAG (Event InterActions Graph) and the ISTC (Interaction Sequences Testing Criteria). The EIAG represents behavior of concurrent programs. It consists of Event Graphs and Interactions. An Event Graph is a control flow graph of a program unit in a concurrent program. The Interactions represent interactions (synchronizations, communications and waits) between the program units. The ISTC are proposed which are based on sequences of Interactions. The cooperated paths (copaths) on the EIAG as test-cases satisfying the ISTC are generated. The generated copaths can detect dead (unreachable) statements which concern interactions, and they can find some communication errors and deadlocks in testing. It is, however, necessary to validate feasibility of the generated copaths.