Model based testing of system requirements using UML use case models

Proceedings of the 1st International Conference on Software Testing, Verification and Validation, ICST 2008

Volumn , Issue , 2008, Pages 367-376

  Hasling, Bill ^a   Goetz, Helmut ^a   Beetz, Klaus ^a  

^a SIEMENS AG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

TEST CASES; USE CASE MODELING;

COMPUTER NETWORKS; COMPUTER SIMULATION LANGUAGES; COMPUTER SOFTWARE SELECTION AND EVALUATION; HEALTH CARE; MODELS; REENGINEERING; REQUIREMENTS ENGINEERING; REVERSE ENGINEERING; TESTING; UNIFIED MODELING LANGUAGE; VERIFICATION;

SOFTWARE TESTING;

EID: 50649125470     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICST.2008.9     Document Type: Conference Paper

References (20)

1. Vieira, M., Leduc, J., Hasling, B., Subramanyan, R., Kazmeier, J., "Automation of GUI testing using a model-driven approach", In Proceeding of the 2006 international workshop on Automation of software test, AST'06,.ACM Press.
2. Vieira, M. "An approach for generating and executing tests based on the UML testing profile", Proceedings of the IASTED International Conference on Software Engineering February 2006 Innsbruck, Austria
3. Song, X., Hwong, B., Matos, G., Rudorfer, A., Nelson, C., Han, M., Girenkov, A., "Understanding requirements for computer-aided healthcare workflows: experience and challenges", In Proceeding of 28th international conference on Software engineering, ICSE'06, ACM Press.
4. C. Mingsong, Q. Xiaokang, L. Xuandong (2006), "Automatic test case generation for UML activity diagrams", In: AST '06, ACM Press.
5. Mark Utting and Bruno Legeard, Practical Model Based Testing, Morgan-Kaufmann 2006
6. Lund M.S., Stolen K. "Deriving tests from UML 2.0 sequence diagrams with neg and assert", In:AST'06, ACM Press.
7. K. Stobie (2005), "Model Based Testing in Practice at Microsoft", Electronic Notes in Theoretical Computer Science 111(SPEC ISS), 5-12.
8. Hartmann J, Vieira M., Foster H., Ruder A. "A UML-based approach to system testing", Innovations in Systems and Software Engineering (A NASA Journal) Issue: Volume 1, Number 1, ISSN: 1614-5046 Publisher: Springer-Verlag London Ltd DOI:10.107/s11334-005-006-0. Pages 12-24, April 2005
9. st international workshop on Advances in model-based testing, St. Louis Missouri 2005
10. th International Conference on Software Engineering 2004
11. Günter Böckle, Peter Knauber, Klaus Pohl, Klaus Schmid (Hrsg.) "Software-Produktlinien - Methoden, Einführung und Praxis Case Study: Medizintechnik bei Siemens AG Medical Solutions HS IM" , Mai 2004, page 247 ff, ISBN-13 978-3-89864-257-6
12. L.C. Briand, Y. Labiche (2002), "A UML-Based Approach to System Testing", Technical report, Carleton University.
13. Menon A (2002) "GUI testing: pitfalls and process", IEEE Computer IEEE Computer Society Press, pp 87-88.
14. Menon A (2001) "A comprehensive framework for testing graphical user interfaces", Phd Dissertation, University of Pittsburgh, Pittsburgh
15. Frohlich P, Link J (2000) "Automated test case generation from dynamic models", In Bertino E (ed) Proceedings of ECOOP 2000, pp 472-491.
16. J. Hartmann, C. Imoberdorf, M. Meisinger (2000), "UML-based integration testing", In: ISSTA'2000, pp. 60-70, Aug.
17. Gross H. Component-Based Software Testing with UML, Springer Berlin Heidelberg New York 1998
18. Beer A, Mohacsi S, Stary C (1998) IDATG: "An open tool for automated testing of interactive software.", In Proceedings of the COMPSAC'98 - 22nd international computer software and applications Conference, 19-21 August, pp470-475
19. Balcer M, Hasling W. Ostrand T (1990) "Automatic generation of test scripts from formal test specifications", In Proceedings of ACM SIGSOFT'890-third symposium on software testing, verification and analysis (TAVS-3). ACM Press, New York, pp 257-71
20. Ostrand, T., Balcer M. J., "The Category-Partition Method for Specifying and Generating Functional Tests", Comm. ACM vol.31, no.6, pp.676-686 (1988)