Interaction testing in model-based development: Effect on model-coverage

Proceedings - Asia-Pacific Software Engineering Conference, APSEC

Volumn , Issue , 2006, Pages 259-265

  Bryce, Renée C ^a   Rajan, Ajitha ^b   Heimdahl, Mats P E ^b  

^a University of Nevada Las Vegas   (United States)

^b UNIVERSITY OF MINNESOTA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ASIA PACIFIC; AUTOMATIC GENERATION; AUTOMOTIVES; BLACK-BOX TEST SUITES; CODE GENERATIONS; COMBINATORIAL APPROACH; FLIGHT GUIDANCE SYSTEM (FGS); MODEL BASED (OPC); MODEL BASED DEVELOPMENT (MBD); MODEL VALIDATIONS; PARTIAL AUTOMATION; SOFTWARE DEVELOPMENT; SYSTEM REQUIREMENTS; TEST SUITES;

ELECTRONIC GUIDANCE SYSTEMS; EXPERIMENTS; FLOW INTERACTIONS; SOFTWARE ENGINEERING;

TESTING;

EID: 46149096481     PISSN: 15301362     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSEC.2006.42     Document Type: Conference Paper

References (21)

1. J. Bach and P. Shroeder. Pairwise testing: A best practice that isn't. In Proceedings of 22nd Pacific Northwest Software Quality Conference, pages 180-196, 2004.
2. R. C. Bryce and C. J. Colbourn. Prioritized interaction testing for pairwise coverage with seeding and avoids. Information and Software Technology Journal (IST, Elsevier), to appear.
3. R. C. Bryce, C. J. Colbourn, and M. B. Cohen. A framework of greedy methods for constructing interaction tests. In The 27th International Conference on Software Engineering (ICSE), pages 146-155, May 2005.
4. K. Burr and W. Young. Combinatorial test techniques: Table-based automation, test generation, and code coverage. In Proceedings of the International Conference on Software Testing Analysis and Review, pages 503-513, October 1998.
5. M. B. Cohen, C. J. Colbourn, P. B. Gibbons, and W. B. Mugridge. Constructing test suites for interaction testing. In Proceedings of the International Conference on Software Engineering (ICSE2003), pages 28-48, May 2003.
6. C. J. Colbourn. Combinatorial aspects of covering arrays. Le Matematiche (Catania), 2005.
7. S. R. Dalal and C. L. Mallows. Factor-covering designs for testing software. Technometrics, 50(3):234-243, August 1998.
8. S. Dunietz, W. K. Ehrlich, B. D. Szablak, C. L. Mallows, and A. Iannino. Applying design of experiments to software testing. In Proceedings International Conference on Software Engineering (ICSE '97), pages 205-215, October 1997.
9. M. Grindal, J. Offutt, and S. Andler. Combination testing strategies: a survey. Software Testing, Verification, and Reliability, 15:167-199, March 2005.
10. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231-274, June 1987.
11. M. P. Heimdahl and G. Devaraj. Test-suite reduction for model based tests: Effects on test quality and implications for testing. In Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE), Linz, Austria, September 2004.
12. D. Kuhn and M. Reilly. An investigation of the applicability of design of experiments to software testing. In Proceedings 27th Annual NASA Goddard/IEEE Software Engineering Workshop, pages 91-95, October 2002.
13. D. R. Kuhn, D. R. Wallace, and A. M. Gallo. Software fault interactions and implications for software testing. IEEE Transactions on Software Engineering, 30(6):418-421, October 2004.
14. N. Leveson, M. Heimdahl, H. Hildreth, and J. Reese. Requirements Specification for Process-Control Systems. IEEE Transactions on Software Engineering, 20(9):684-706, September 1994.
15. I. Mathworks. Mathworks product descriptions. http://www.mathworks.com/, 2005.
16. S. Miller, A. Tribble, T. Carlson, and E. J. Danielson. Flight guidance system requirements specification. Technical Report CR-2003-212426, NASA, June 2003.
17. S. P. Miller, M. P. Heimdahl, and A. Tribble. Proving the shalls. In Proceedings of FM 2003: the 12th International FME Symposium, September 2003.
18. J. M. Thompson, M. P. Heimdahl, and S. P. Miller. Specification based prototyping for embedded systems. Technical Report TR 99-006, University of Minnesota, Department of Computer Science, Minneapolis, MN, 1999.
19. M. Whalen, A. Rajan, M. Heimdahl, and S. Miller. Coverage metrics for requirements-based testing. In Proceedings of International Symposium on Software Testing and Analysis, July 2006.
20. -e. Master's thesis, University of Minnesota, May 2000.
21. C. Yilmaz, M. B. Cohen, and A. Porter. Covering arrays for efficient fault characterization in complex configuration spaces. In International Symposium on Software Testing and Analysis, pages 45-54, July 2004.