Choosing a Test Modeling Language: A Survey

作者: Alan Hartman , Mika Katara , Sergey Olvovsky

DOI: 10.1007/978-3-540-70889-6_16

关键词:

摘要: Deployment of model-based testing involves many difficulties that have slowed down its industrial adoption. The leap from traditional scripted to seems as hard moving manual automatic test execution. Two key factors in the deployment are language used define models, and for defining objectives. Based on our experience, we survey different types languages sketch solutions based approaches, considering organization, system under test, etc. cover include among others domain-specific, test-specific well generic design languages. We note there no best practices, but provide general guidelines various cases.

参考文章(17)
Stephen J. Mellor, Kendall Scott, Axel Uhl, Dirk Weise, Model-Driven Architecture Advances in Object-Oriented Information Systems. pp. 290- 297 ,(2002) , 10.1007/3-540-46105-1_33
Claude Jard, Thierry Jéron, TGV: theory, principles and algorithms: A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems International Journal on Software Tools for Technology Transfer. ,vol. 7, pp. 297- 315 ,(2005) , 10.1007/S10009-004-0153-X
Bret Pettichord, Cem Kaner, James Bach, Lessons Learned in Software Testing ,(2001)
Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp, Optimal strategies for testing nondeterministic systems international symposium on software testing and analysis. ,vol. 29, pp. 55- 64 ,(2004) , 10.1145/1007512.1007520
Antti Kervinen, Mika Maunumaa, Mika Katara, Controlling Testing Using Three-Tier Model Architecture Electronic Notes in Theoretical Computer Science. ,vol. 164, pp. 53- 66 ,(2006) , 10.1016/J.ENTCS.2006.09.006
Avik Sinha, Carol Smidts, HOTTest: A model-based test design technique for enhanced testing of domain-specific applications ACM Transactions on Software Engineering and Methodology. ,vol. 15, pp. 242- 278 ,(2006) , 10.1145/1151695.1151697
E. Farchi, A. Hartman, S. S. Pinter, Using a model-based test generator to test for standard conformance Ibm Systems Journal. ,vol. 41, pp. 89- 110 ,(2002) , 10.1147/SJ.411.0089
Michael Behm, John Ludden, Yossi Lichtenstein, Michal Rimon, Michael Vinov, Industrial experience with test generation languages for processor verification design automation conference. pp. 36- 40 ,(2004) , 10.1145/996566.996578
M. Katara, A. Kervinen, M. Maunumaa, T. Paakkonen, M. Satama, Towards Deploying Model-Based Testing with a Domain-Specific Modeling Approach Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART'06). pp. 81- 89 ,(2006) , 10.1109/TAIC-PART.2006.34