An application of UML models for semi-automated generation of test scenarios for validation of object oriented systems against specification requirements

• Autorzy: Sapiecha K. , Strug J.

Warianty tytułu

PL

Zastosowanie modeli UML do generacji scenariuszy testowych do walidacji systemów obiektowych względem specyfikacji wymagań

• Języki publikacji: EN

Abstrakty

EN

Systematic and rigorous validation carried out during entire process of development of a software intensive system can significantly reduce total costs and time to market and improve the quality of the system. In context of developing object-oriented systems (OOSs) information relevant to validation can be derived from early UML models. The paper presents next results of the work on a novel approach to generation of test scenarios from UML models for validation of OOSs against specification requirements.

PL

Systematyczna walidacja, prowadzona w trakcie projektowania systemu informatycznego, może w znaczący sposób zredukować czas oczekiwania na produkt i poprawić jego jakość. W kontekście projektowania systemów obiektowych, informacje istotne dla walidacji mogą być uzyskane na postawie modeli UML. W tym artykule zaprezentowano kontynuację prac nad nową metodą generacji scenariuszy testowych do walidacji systemów obiektowych na podstawie modeli UML.

Słowa kluczowe

EN

object-oriented system; test scenarios; UML

PL

scenariusz testowy; system obiektowy; UML; walidacja

• Wydawca: Wydawnictwo Politechniki Krakowskiej im. Tadeusza Kościuszki
• Czasopismo: Czasopismo Techniczne. Informatyka
• Rocznik: 2011
• Tom: R. 108, z. 1-I
• Strony: 69--85
• Opis fizyczny: Bibliogr. 31 poz.,Rys., tab.,

Twórcy

autor

Sapiecha K.

autor

Strug J.

• Katedra Informatyki Technicznej, Wydział Inżynierii Elektrycznej i Komputerowej, Politechnika Krakowska

Bibliografia

• [1] Abdurazik A., Ofutt J., Generating Tests from UML Specifications, 2nd International Conference on Unified Modeling Language, Fort Collins, USA 1999, 416-429.
• [2] Abdurazik A., Ofutt J., Using UML Collaboration diagrams for static checking and test generation, 3th International Conference on Unified Modeling Language, York, UK 2000, 383-395.
• [3] Ali S., Briand L.C., Jaffar-ur-Rehman M., Asghar H., Zohaib M., Iqbal Z., Nadeem A., A State-based Approach to Integration Testing based on UML Models, J. Information & Software Technology, 49 (11-12), 2007, 1087-1106.
• [4] Binder R.V., Testing Object-Oriented Systems – Models, Patterns, and Tools, Addison-Wesley, 1999.
• [5] Briand L.C., Cui J., Labiche Y., Toward Automated Support for Deriving Test Data from UML statecharts, 6th International Conference Unified Modeling Language, San Francisco, USA, 2003, LNCS, Vol. 2863, Springer, Heidelberg, 2003, 249-264.
• [6] Briand L.C., Labiche Y., A UML-based Approach to System Testing, J. Software and System Modeling 1(1), 2002, 10-42.
• [7] Clavel M., Egea M., ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams, 11th International Conference on Algebraic Methodology and Software Technology, Kuressaare, Estonie 2006, 368-37.
• [8] Dinh-Trong T.T., Ghosh S., France R.B., A Systematic Approach to Generate Inputs to Test UML Design Models, 17th International Symposium on Software Reliability Engineering, Raleigh, USA 2006, 95-104.
• [9] Dockerill K., The Importance of Animation with UML, 9th International Symposium of the INCOSE, Brighton, UK 1999.
• [10] Fraikin F., Leonhardt T., SeDiTeC – Testing Based on Sequence diagrams. 17th IEEE International Conference on Automated Software Engineering, Edinburgh, UK 2002, 261-266.
• [11] Gogolla M., Bohling J., Richters M., Validating UML and OCL Models in USE by Automatic Snapshots Generation, 6th International Conference Unified Modeling Language, San Francisco, USA 2003, LNCS, Vol. 2863, Springer, Heidelberg 2003, 265-279.
• [12] Hasling B., Goetz H., Beetz K., Model Based Testing of System Requirements using UML Use Case Models, 1st International Conference on Software Testing, Verification, and Validation, Lillehammer, Norway, 2008, 367-376.
• [13] Hyungchoul K., Sungwon K., Jongmoon B., Inyoung K., Test Cases Generation from UML Activity Diagrams, 8th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, Quingdao, China 2007, 556-561.
• [14] Hartmann J., Vieira M., Foster H., Ruder A., A UML-based Approach to System Testing, Journal of Innovations System Software Engineering, Vol. 1, 2005, 12-24.
• [15] Javed F., Marnik M., Bryant B.R., Gray J., A Grammar-Based Approach to Class Diagram Validation, 4th International Workshop on Scenarios and State Machines: Models, Algorithms and Tools, St. Louis, USA, 2005, 45-51.
• [16] Javed A.Z., Strooper P.A., Watson G.N., Automated Generation of Test Cases Using Model-Driven Architecture, 2nd International Workshop on Automation of Software Test, Minneapolis, USA 2007, 3.
• [17] Kim Y., Hong H., Bae D., Cha S., Test Cases Generation from UML State Diagrams, IEEE Proceedings – Software 146 (4), 1999, 187-192.
• [18] Ma Y., Lu J., Zhao R., A Test Path Generation Approach for Component Testing based on UML State Diagram, International Conference on Software Engineering and Applications. Dallas, USA 2006.
• [19] Myers G.J., Sandler C., Badgett T., Thomas T.M., The art of testing, Wiley, 2004.
• [20] Ng P., A Concept Lattice Approach for Requirements Validation with UML State Machine Model, 5th International Conference on Software Engineering Research, Management & Applications, Busan, South Korea 2007, 393-400.
• [21] Pilskalns O., Andrews A., France S., Ghosh R., Rigorous Testing by Merging Structural and Behavioral UML Representations, 6th International Conference on the Unified Modeling Language, San Francisco, USA 2003, 234-248.
• [22] Pelliccione P., Muccini H., Bucchiarone A., Facchini F., TeStor: Deriving Test Sequences from Model-based Specifications, 8th International SIGSOFT Symposium on Component-based Software Engineering, St. Louis, USA 2005, LNCS Vol. 3489, Springer, Heidelberg, 2005, 267-282.
• [23] Riebisch M., Philippow I., Gotze M., UML-Based Statistical Test Case Generation, International Conference on Objects, Components, Architectures, Services, and Applications for Network World, LNCS 2591, 2003, 394-411.
• [24] Salem A.M., Balasubramaniam L., Utilizing UML use cases for testing requirements, International Conference on Software Engineering research and practice, Las Vegas, USA 2004.
• [25] Sapiecha K., Strug J., Automatic Test Paths Generation from UML Models, 4th IFIP TC2 Central and East European Conference on Software Engineering Techniques, Kraków, Poland 2009, 115-128.
• [26] Sarma M., Mall R., Automatic Test Case Generation form UML Models, 10th International Conference on Information Technology, Roulkela, India 2007, 196-201.
• [27] Sokenou D., Generating Test Sequences from UML Sequence Diagrams and State Diagrams, 2nd Workshop on Model-Based Testing, Vienna, Austria 2006, 236-240.
• [28] Truong N.-T., Souquieres J., Validation of UML scenarios using B prover, 3th Taiwanese-French Conference on Information Technology, Nancy, France 2006.
• [29] Warner J., Kleppe A., The Object Constraint Language: Precise Modeling with UML, Addison-Wesley, 1998.
• [30] IEEE Std. 610.12-1990, IEEE Standard Glossary of Software Engineering Terminology, IEEE, 1990.
• [31] Unified Modeling Language Specification, version 1.4.2, 2005 (http://www.omg.org/).