Efficient reduction of model-based generated test suites through test case pair prioritization

Proceedings - 2010 Workshop on Model-Driven Engineering, Verification, and Validation, MoDeVVa 2010

Volumn , Issue , 2010, Pages 37-42

  Cichos, Harald ^a   Heinze, Thomas S ^b  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

^b FRIEDRICH SCHILLER UNIVERSITY JENA   (Germany)

Author keywords

Model based testing; Test suite reduction

Indexed keywords

MERGING; MODEL CHECKING; TESTING;

MODEL BASED TESTING; MODEL-BASED OPC; PRIORITIZATION; TEST CASE; TEST SUITE REDUCTION;

SOFTWARE TESTING;

EID: 79960247532     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/MoDeVVa.2010.19     Document Type: Conference Paper

References (9)

1. M. Utting and B. Legeard, Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann Publishers Inc., 2006.
2. P. E. Black and S. Ranville, "Winnowing Tests: Getting Quality Coverage from a Model Checker without Quantity," in Proc. of the 20th Conf. in Digital Avionics Systems, vol. 2, 2001, pp. 9B6/1-9B6/4. (Pubitemid 33069152)
3. G. Fraser and F. Wotawa, "Redundancy Based Test-Suite Reduction," LNCS, vol. 4422, pp. 291-305, 2007. (Pubitemid 350259357)
4. G. Hamon, L. Moura, and J. Rushby, "Generating Efficient Test Sets with a Model Checker," in Proc. of the Software Eng. and Formal Methods. IEEE, 2004, pp. 261-270. (Pubitemid 40456428)
5. M. J. Harrold, R. Gupta, and M. L. Soffa, "A Methodology for Controlling the Size of a Test Suite," ACM Trans. Software Eng. Methodol., vol. 2, no. 3, pp. 270-285, 1993. (Pubitemid 23704558)
6. G. Rothermel, M. J. Harrold, J. von Ronne, and C. Hong, "Empirical Studies of Test-Suite Reduction," Journal of Software Testing, Verification, and Reliability, vol. 12, pp. 219-249, 2002.
7. H. S. Hong, S. D. Cha, I. Lee, O. Sokolsky, and H. Ural, "Data Flow Testing as Model Checking," in ICSE '03: Proc. of the 25th Int. Conf. on Software Eng. IEEE, 2003, pp. 232-242.
8. G. Fraser and F. Wotawa, "Creating Test-Cases Incrementally with Model-Checkers." in GI Jahrestagung (2), ser. LNI, vol. 110, 2007, pp. 381-386.
9. T. F. Smith and M. S. Waterman, "Identification of Common Molecular Subsequences," Journal of Molecular Biology, vol. 147, no. 1, pp. 195-197, 1981