Incremental Model-based Test Suite Reduction with Formal Concept Analysis
1
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
Test scenarios can be derived based on some system models for requirements validation purposes. Model-based test suite reduction aims to provide a smaller set of test scenarios which can preserve the original test coverage with respect to some testing criteria. We are proposing to apply Formal Concept Analysis (FCA) in analyzing the association between a set of test scenarios and a set of transitions specified in a state machine model. By utilizing the properties of concept lattice, we are able to determine incrementally a minimal set of test scenarios with adequate test coverage.
Abstract
Test scenarios can be derived based on some system models for requirements validation purposes. Model-based test suite reduction aims to provide a smaller set of test scenarios which can preserve the original test coverage with respect to some testing criteria. We are proposing to apply Formal Concept Analysis (FCA) in analyzing the association between a set of test scenarios and a set of transitions specified in a state machine model. By utilizing the properties of concept lattice, we are able to determine incrementally a minimal set of test scenarios with adequate test coverage.
참고문헌 (16)
- R. V. Binder, "Testing Object-Oriented Systems-Models, Patterns, and Tools" (2000), Object Technology. Addison-Wesley
- B. Broekman, "Testing Embedded Software" (2003), Addison-Wesley
- C. Carpineto, "Concept Data Analysis: Theory and Applications" (2004), Wiley
- T.Y. Chen, "A New Heuristic for Test Suite Reduction", Information and Software Technology, 40, pp.347~354 (1998)
- T.H. Cormen, "Introduction to Algorithms" (2001), MIT Press
- B. Ganter, "Formal Concept Analysis: Mathematical Foundations" (1999), Springer-Verlag
- R. Godin, "Incremental Concept Formation Algorithms Based on Galois (Concept) Lattices", Computational Intelligence, 11(2), pp.246~267 (1995)
- P.V.R. Murthy, "Test ready UML statechart models", Proceedings of the 2006 international workshop on scenarios and state machines: models, algorithms, and tools, SCESM ’06, pp.75~81 (2006)
- P. Ng, "Applying Formal Concept Analysis in Requirements Validation with UML State Machine Model", International Journal of Computer & Information Science, 8(4), pp.550~559 (2007)
- P. Ng, "Model-Based Test Suite Reduction with Concept Lattice", Proceedings of Advanced Software Engineering and Its Applications, pp.3~8 (2008)
- J. Offutt, "Generating Test Data from State-based Specifica-tions", Software Testing, Verification and Reliability, 13(1), pp.25~53 (2003)
- G. Rothermel, "Prioritizing Test Cases for Regression Testing", IEEE Transactions of Software Engineering, 27(10), pp.929~948 (2001)
- S. Sampath, "A Scalable Approach to User-Session based Testing of Web Applications through Concept Analysis", Proceedings of 19th International Confe-rence on Automated Software Engineering, ASE ’04, pp.132~141 (2004)
- S. Tallam, "A concept analysis inspired greedy algorithm for test suite minimization", The 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineer-ing, PASTE ’05, pp.35~42 (2005)
- T. Tilley, "A Survey of Formal Concept Analysis Support for Software Engineering Activities", pp.50~271 (2005), Springer-Verlag
- M. Utting, "Practical Model-Based Testing: A Tools Approach", Morgan Kaufmann, ~ (2007)