Tracing requirements in A model-based testing approach

1st International Conference on Advances in System Testing and Validation Lifecycle, VALID 2009

Volumn , Issue , 2009, Pages 123-128

  Abbors, Fredrik ^a   Truşcan, Dragoş ^a   Lilius, Johan ^a  

^a ÅBO AKADEMI UNIVERSITY   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

COVERAGE DEGREE; FEED-BACK LOOP; INFORMAL REQUIREMENTS; MODEL BASED TESTING; REQUIREMENTS TRACEABILITY; SYSTEM SPECIFICATION; SYSTEM UNDER TEST; TEST GENERATIONS; TEST RESULTS; TOOL SUPPORT;

SYSTEM THEORY; TESTING;

SPECIFICATIONS;

EID: 72349087026     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/VALID.2009.15     Document Type: Conference Paper

References (15)

1. G. Spanoudakis, A. Zisman, E. Perez-Minana, and P. Krause, "Rule-Based Generation of Requirements Traceability Relations," The Journal of Systems & Software, vol. 72, no. 2, pp. 105-127, 2004.
2. C. Duan and J. Cleland-Huang, "Visualization and Analysis in Automated Trace Retrieval," in Requirements Engineering Visualization, 2006. REV'06. First International Workshop on, 2006, pp. 5-5.
3. J. Cleland-Huang, R. Settimi, C. Duan, and X. Zou, "Utilizing Supporting Evidence to Improve Dynamic Requirements Traceability," in 13th IEEE International Conference on Requirements Engineering, 2005. Proceedings, pp. 135-144.
4. J. Hayes, A. Dekhtyar, and J. Osborne, "Improving Requirements Tracing via Information Retrieval," in 11th IEEE International Requirements Engineering Conference, 2003. Proceedings, 2003, pp. 138-147.
5. F. Bouquet, E. Jaffuel, B. Legeard, F. Peureux, and M. Utting, "Requirements Traceability in Automated Test Generation: Application to Smart Card Software Validation," in Proceedings of the 1st international workshop on Advances in model-based testing. ACM New York, NY, USA, 2005, pp. 1-7.
6. E. Bernard and B. Legeard, "Requirements Traceabil-ity in the Model-Based Testing Process," in Software Engineering, ser. Lecture Notes in Informatics, vol. 106. Bttinger, Stefan and Theuvsen, Ludwig and Rank, Susanne and Morgenstern, Marlies, 2007, pp. 45-54.
7. Object Management Group, "OMG SysML Specification," Tech. Rep. [Online]. Available: http://www.omg.org/spec/SysML/1.1/
8. "Unified Modeling Language - http://www.omg.org/spec/UML/2.0/." [Online]. Available: http://www.omg.org/spec/UML/2.0/
9. J. Abbors, "Increasing Quality of UML Models Used for Automatic Test Generation," Master's thesis, bo Akademi University, 2009.
10. "NoMagic MagicDraw," http://www.magicdraw.com/.
11. "Conformiq Qtronic," http://www.conformiq.com/.
12. T. Tsumaki and Y. Morisawa, "A Framework of Requirements Tracing using UML," in Software Engineering Conference, 2000. APSEC 2000. Proceedings. Seventh Asia-Pacific, 2000, pp. 206-213.
13. R. Settimi, J. Cleland-Huang, O. Khadra, J. Mody, W. Lukasik, and C. DePalma, "Supporting software evolution through dynamically retrieving traces to UML artifacts."
14. T. Pääjärvi, "Generation Input for the Test Generator Tool from UML Design Models," Master's thesis, Åbo Akademi University, 2009.
15. F. Abbors, T. Pääjärvi, R. Teittinen, D. Truşcan, and J. Lilius, "A Semantic Transformation from UML Models to Input for the Qtronic Test Design Tool," Turku Centre for Computer Science (TUCS), Tech. Rep. 942, 2009.