Combining test case generation for component and integration testing

Proceedings of the 3rd International Workshop Advances in Model Based Testing, AMOST 2007

Volumn , Issue , 2007, Pages 23-33

  Benz, Sebastian ^a  

^a BMW Car IT GmbH   (Germany)

Author keywords

Automatic test case generation; Integration testing; Model based testing; Verification

Indexed keywords

CONCURRENCY CONTROL; ERROR ANALYSIS; MATHEMATICAL MODELS; STATE SPACE METHODS; VERIFICATION;

AUTOMATIC TEST CASE GENERATION; INTEGRATION TESTING; MODEL BASED TESTING;

SYSTEMS ANALYSIS;

EID: 38849093762     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1291535.1291538     Document Type: Conference Paper

References (27)

1. Y. Ait-Ameur and M. Baron. Formal and experimental validation approaches in HCI systems design based on a shared event B model. Int. J. Softw. Tools Technol. Transf., 8(6):547-563, 2006.
2. T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Comput. Netw. ISDN Syst., 14(1):25-59, 1987.
3. M. Broy, B. Jonsson, J.-P. Katoen, M. Leucker, and A. Pretschner. Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science). Springer-Verlag New York, Inc., Secaucus, NJ, USA, 2005.
4. F. Budinsky, S. A. Brodsky, and E. Merks. Eclipse Modeling Framework. Pearson Education, 2003.
5. A. L. L. de Figueiredo, W. L. Andrade, and P. D. L. Machado. Generating interaction test cases for mobile phone systems from use case specifications. SIGSOFT Softw. Eng. Notes, 31(6):1-10, 2006.
6. R. E. Fikes and N. J. Nilsson. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2, 1971.
7. P. Fröhlich and J. Link. Automated test case generation from dynamic models. In ECOOP '00: Proceedings of the 14th European Conference on Object-Oriented Programming, pages 472-492, London, UK, 2000. Springer-Verlag.
8. M. Gupta, F. Bastani, L. Khan, and I.-L. Yen. Automated test data generation using MEA-Graph planning. In ICTAI '04: Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'04), pages 174-182, Washington, DC, USA, 2004. IEEE Computer Society.
9. H. R. Hartson, A. C. Siochi, and D. Hix. The UAN: a user-oriented representation for direct manipulation interface designs. ACM Trans. Inf. Syst., 8(3):181-203, 1990.
10. A. E. Howe, A. von Mayrhauser, and R. T. Mraz. Test case generation as an AI planning problem. Automated Software Engg., 4(1):77-106, 1997.
11. B. E. John and D. E. Kieras. The GOMS family of user interface analysis techniques: comparison and contrast. ACM Trans. Comput.-Hum. Interact., 3(4):320-351, 1996.
12. P. Johnson, H. Johnson, R. Waddington, and A. Shouls. Task-related knowledge structures: analysis, modelling and application. In Proceedings of the Fourth Conference of the British Computer Society on People and computers IV, pages 35-62, New York, NY, USA, 1988. Cambridge University Press.
13. K. Luyten, T. Clerckx, K. Coninx, and J. Vanderdonckt. Derivation of a dialog model from a task model by activity chain extraction. In DSV-IS, pages 203-217, 2003.
14. G. Mori, F. Paterno, and C. Santoro. CTTE: Support for developing and analyzing task models for interactive system design. IEEE Transactions on Software Engineering, 28(8):797-813, 2002.
15. L. Nóbrega, N. J. Nunes, and H. Coelho. Mapping ConcurTaskTrees into UML 2.0. In S. W. Gilroy and M. D. Harrison, editors, DSV-IS, volume 3941 of Lecture Notes in Computer Science, pages 237-248. Springer, 2005.
16. Object Management Group. OMG Unified Modeling Language Specification, März 2003.
17. A. J. Offutt, Y. Xiong, and S. Liu. Criteria for generating specification-based tests. In ICECCS '99: Proceedings of the 5th International Conference on Engineering of Complex Computer Systems, page 119, Washington, DC, USA, 1999. IEEE Computer Society.
18. F. Paterno. Model-Based Design and Evaluation of Interactive Applications. Springer-Verlag, London, UK, 1999.
19. F. Paternò, C. Mancini, and S. Meniconi. ConcurTaskTrees: A diagrammatic notation for specifying task models. In INTERACT, pages 362-369, 1997.
20. F. Paterno and C. Santoro. Integrating model checking and HCI tools to help designers verify user interface properties. In DSV-IS, pages 135-150, 2000.
21. C. Pfaller, A. Fleischmann, J. Hartmann, M. Rappl, S. Rittmann, and D. Wild. On the Integration of Design and Test - A Model Based Approach for Embedded Systems. Proceedings of the Workshop on Automation of Software Test (AST 06), 2006.
22. W. Prenninger, M. El-Ramly, and M. Horstmann. Case studies. In Model-Based Testing of Reactive Systems, pages 439-461, 2004.
23. W. Prenninger and A. Pretschner. Abstractions for model-based testing. Electr. Notes Theor. Comput. Sci., 116:59-71, 2005.
24. S. Reid. The art of software testing, second edition, glenford j. myers. revised and updated by torn badgett and todd m. thomas, with corey sandler. John wiley and sons, new jersey, u.s.a., 2004. isbn: 0-471-46912-2, pp 234: Book reviews. Softw. Test. Verif. Reliab., 15(2):136-137, 2005.
25. R. E. K. Stirewalt. MDL: A language for binding user-interface models. In CADUI, pages 159-170, 1999.
26. G. van der Veer, B. Lenting, and B. Bergevoet. GTA: Groupware task analysis - modeling complexity. Acta Psychologica, 1996.
27. J. A. Whittaker. Stochastic software testing. Ann. Softw. Eng., 4:115-131, 1997.