Testing of concurrent programs based on message sequence charts

International Workshop on Software Engineering for Parallel and Distributed Systems, Proceedings

Volumn , Issue , 1999, Pages 72-82

  Chung, In Sang ^a   Kim, Hyeon Soo ^a   Bae, Hyun Seop ^a   Kwon, Yong Rae ^a   Lee, Byung Sun ^a  

^a Hansung University   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

CONCURRENT PROGRAMS; MESSAGE SEQUENCE CHARTS; TELEPHONE SWITCHING SYSTEMS;

ALGORITHMS; COMPUTER SOFTWARE SELECTION AND EVALUATION; EQUIVALENCE CLASSES; GRAPH THEORY; LINGUISTICS; SWITCHING SYSTEMS; TELEPHONE SYSTEMS;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 0032593052     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Article

References (14)

1. H. AboElFotoh, O. Abou-Rabia, and H. Ural, "A Test Generation Algorithm for Systems Modelled as Non-deterministic FSMs," IEE Software Eng. Journal, pp. 184-188, July 1993
2. H. S. Bae, H. S. Kim, and Y. R. Kwon, "An Efficient Debugging Method for Message-based Parallel Programs using Static Analysis Information," Proc. of Asia Pacific Software Eng. Conf. 95, pp. 96-105, Australia, 1995
3. G. V. Bochmann and A. Petrenko, "Protocol Testing: Review of Methods and Relevance for Software Testing," Proc. of Int'l Symp. on Software Testing and Analysis, pp. 109-124, 1994
4. R. H. Carver and K. C. Tai, "Use of Sequencing Constraints for Specification-Based Testing of Concurrent Programs," IEEE Trans. on Software Eng., 24(6), pp. 471-490, June 1998
5. S. K. Damodaran-Kamal and J. M. Francioni, "Testing Races in Parallel Programs with an OtOt Strategy," Proc. of Int'l Symp. on Software Testing and Analysis, pp. 216-227, 1994
6. L. K. Dillon and Q. Yu, "Oracles for Checking Temporal Properties of Concurrent Systems," Proc. of 2nd ACM SIGSOFT Symp. on Foundations of Software Eng., pp. 140-153, Louisiana, 1994
7. C. Fidge, "Logical Time in Distributed Computing Systems," IEEE Computer, 24(8), pp. 28-33, August 1991
8. M. P. E. Heimdahl and N. G. Leveson, "Completeness and Consistency in Hierarchical State-Based Requirements," IEEE Trans. on Software Eng., 22(6), pp. 363-377, June 1996
9. G. H. Hwang, K. C. Tai, and T. L. Huang, "Reachability Testing : An Approach to Testing Concurrent Software," Proc. of Asia Pacific Software Eng. Conf. 1994, pp. 246-255, Tokyo, 1994
10. T. J. LeBlanc and J. M. Mellor-Crummey, "Debugging Parallel Programs with Instant Replay," IEEE Trans. on Computers, vol. C-36, no. 4, pp. 471-482, 1987
11. D. Rosenblum, "Specifying Concurrent Systems with TSL," IEEE Software, pp. 52-61, 1991
12. K. C. Tai, R. H. Carver, and E. E. Obaid, "Debugging Concurrent Ada Programs by Deterministic Execution," IEEE Trans. on Soft. Eng., vol. 17, no. 1, pp. 45-63, January 1991
13. ITU-T Recommendation Z.120: Message Sequence Chart (MSC), April 1996
14. ITU-T RecommendationZ.100: CCITT Specification and DescriptionLanguage (SDL), June 1994