A Strategy for Selecting Synchronization Sequences to Test Concurrent Object-Oriented Software

Authors:
Huo Yan Chen;Yu Xia Sun;T. H. Tse
Affiliations:
-;-;-
Venue:
COMPSAC '03 Proceedings of the 27th Annual International Conference on Computer Software and Applications
Year:
2003

Citing 0
Cited 3

Java Test Driver Generation from Object-Oriented Interaction Traces

Electronic Notes in Theoretical Computer Science (ENTCS)
Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting

Electronic Notes in Theoretical Computer Science (ENTCS)
Executable interface specifications for testing asynchronous creol components

FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Testing is the most commonly used approach to theassurance of software quality and reliability. The testingof object-oriented software is much more complex thanthat of conventional programs. Although we proposedpreviously a method called TACCLE for testing object-oriented software at the class and cluster levels, it did notcover concurrent or non-deterministic situations.This paper puts forward a strategy for selectingsynchronization sequences to test concurrent object-oriented software, including non-deterministic cases. It isbased on OBJSA net/CLOWN specifications. Experimentshave been carried out in a case study to verify the efficacyof the strategy.