Improving statechart testing criteria using data flow information

Proceedings - International Symposium on Software Reliability Engineering, ISSRE

Volumn 2005, Issue , 2005, Pages 95-104

  Briand, L C ^a   Labiche, Y ^a   Lin, Q ^a  

^a CARLETON UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER SOFTWARE SELECTION AND EVALUATION; COST EFFECTIVENESS; OPTIMIZATION; SOFTWARE ENGINEERING;

ROUNDTRIP PATH; STATECHARTS; TRANSITION TREE CRITERION; UML;

DATA FLOW ANALYSIS;

EID: 33750949384     PISSN: 10719458     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISSRE.2005.24     Document Type: Conference Paper

References (20)

1. J. H. Andrews, L. C. Briand and Y. Labiche, "Is Mutation an Appropriate Tool for Testing Experiments?," Proc. IEEE International Conference on Software Engineering, pp. 402-411, 2005.
2. nd Edition, 2002.
3. R. V. Binder, Testing Object-Oriented Systems - Models, Patterns, and Tools, Addison-Wesley, 1999.
4. G. Booch, J. Rumbaugh and I. Jacobson, The Unified Modeling Language User Guide, Addison Wesley, 1999.
5. L. C. Briand, M. Di Penta and Y. Labiche, "Assessing and Improving State-Based Class Testing: A Series of Experiments," IEEE Transactions of Software Engineering, 30 (11), pp. 770-793, 2004.
6. L. C. Briand, Y. Labiche and Q. Lin, "Improving State-Based Coverage Criteria Using Data Flow Information," Carleton University, Technical Report SCE-04-17, www.sce.carleton.ca/Squall, 2004.
7. L. C. Briand, Y. Labiche and Y. Wang, "Using Simulation to Empirically Investigate Test Coverage Criteria," Proc. IEEE/ACM International Conference on Software Engineering, pp. 86-95, 2004.
8. P. Chevalley and P. Thévenod-Fosse, "An Empirical Evaluation of Statistical Testing Designed from UML State Diagrams: the Flight Guidance System Case Study," Proc. IEEE International Symposium on Software Reliability Engineering, pp. 254-263, 2001.
9. T. S. Chow, "Testing Software Design Modeled by Finite-State Machines," IEEE Transactions on Software Engineering, SE-4 (3), pp. 178-187, 1978.
10. S. H. Edwards, "Black-Box Testing Using Flowgraphs: An Experimental Assessment of Effectiveness and Automation Potential," Software Testing, Verification and Reliability, 10 (4), pp. 249-262, 2000.
11. P. G. Frankl and E. Weyuker, "An Applicable Family of Data Flow Testing Criteria," IEEE Transactions on Software Engineering, 14(10), pp. 1483-1498, 1988.
12. H. Gomaa, Designing Concurrent, Distributed, and Real-Time Applications with UML, Object Technology, Addison Wesley, 2000.
13. H. S. Hong, Y. G. Kim, S. D. Cha, D. H. Bae and H. Ural, "A Test Sequence Selection Method for Statecharts," Software Testing, Verification and Reliability, 10 (4), pp. 203-227, 2000.
14. S. Kim, J. A. Clark and J. A. McDermid, "Investigating the effectiveness of Object-Oriented Testing Strategies with the Mutation Method," Proc. Mutation, 2000.
15. A. Kleppe, J. Warmer and W. Bast, MDA Explained - The Model Driven Architecture: Practice and Promise, Addison-Wesley, 2003.
16. R. Mitchell and J. McKim, Design by Contract, by Example, Addison-Wesley, 2001.
17. A. J. Offutt, S. Liu, A. Abdurazik and P. Ammann, "Generating test data from state-based specifications," Software Testing, Verification and Reliability, 13 (1), pp. 25-53, 2003.
18. S. Rapps and E. J. Weyuker, "Selecting Software Test Data Using Data Flow Information," IEEE Transactions on Software Engineering, SE-11 (4), pp. 367-375, 1985.
19. J. Warmer and A. Kleppe, The Object Constraint Language, Addison-Wesley, Errata at http://www.klasse.nl/english/boeken/errata.html, 1999.
20. S. H. Zweben and W. D. Heym, "Systematic Testing of Data Abstractions Based on Software Specifications," Journal of Software Testing, Verification and Reliability, 1 (4), pp. 39-55, 1992.