Testing concurrent programs:A formal evaluation of coverage criteria

Proceedings of the 7th Israeli Conference on Computer Systems and Software Engineering, ICCSSE 1996

Volumn , Issue , 1996, Pages 119-126

  Factor, Michael ^a   Farchi, Eitan ^a   Lichtenstein, Yossi ^a   Maka, Yossi ^a  

^a IBM HAIFA RESEARCH LAB   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS;

CONCURRENT LANGUAGES; CONCURRENT PROGRAM; COVERAGE CRITERIA; SEQUENTIAL PROGRAMS; SEQUENTIAL TESTING; TEST DATA ADEQUACY CRITERION;

SOFTWARE TESTING;

EID: 31844433729     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICCSSE.1996.554913     Document Type: Conference Paper

References (13)

1. A. Aho. An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours. In Pmtocol Specification, Testing, and Verification, 1989.
2. P. Frankl and S. Weiss. An experimental comparison of the effectiveness of branch testing and data flow testing. ZEE Damaction on Sofiware Engineering, 19(8), August 1993.
3. G. Hohann. Design and Validation of ComputerProtocols. Prentice-Hall, 1991.
4. iso. Lotos - A formal description technique based on temporal ordering of observed behavior. Technical report, International Standard Organization, 1988.
5. B. Jeng and E. Weyuker. A simplified domain-testing strategy. ACMTransaction on Sofiare Engineering andkfethodology, 3(3), July 1994.
6. A. Parrish and S. Zweben. Analysis and refinement of sofiware test data adequacy properties. BEE Transaction on Sofiare Engineering, 17(6), June 1991.
7. D. Sidhu. Formal methods for protocol testing: A detailed study. BEE Transactions on Sofiare Engineering, 15(4), 1989.
8. D. Sidhu. Protocol testing, the first ten years, the next ten years. In Protocol Specification, Testing, and verrification, 1990.
9. R. Taylor, D. Levine, and C. Kelly. Structural testing of concurrent programs. BEE Transactions on Sofiare Engineering, 18(3), March 1992.
10. E. Weyuker. Axiomatizing sohare test data adequacy. LEEE Transaction on SoftwareEngineering, SE- 12( 12), December 1986.
11. E. Weyuker. The evaluation of program-based sohare test data adequacy criteria. Communications of the ACM, 31 (6), June 1988.
12. C. Wezeman. The co-op method for compositional derivation of conformance testers. In Protocol SpeciJication, Testing, and Verification, 1990.
13. S. Zweben and J. Gourlay. On the adequacy of Weyuker's test data adequacy axioms. BEE Transaction on Sofiare Engineering, 15(4), April 1989.