A Novel Approach for Deriving Test Scenarios and Test Cases from Events
2
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test ma Safety critic Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test manually. In order to cut down on costs, save time, and increase reliability, the model based testing approach is the best solution. Such an approach does not require applications or codes prior to generating test cases, so it leads to the early detection of faults, which helps in reducing the development time. Several model-based testing approaches have used different UML models but very few works have been reported to show the generation of test cases that use events. Test cases that use events are an apt choice for these types of systems. However, these works have considered events that happen at a user interface level in a system while other events that happen in a system are not considered. Such works have limited applications in testing the GUI of a system. In this paper, a novel model-based testing approach is presented using business events, state events, and control events that have been captured directly from requirement specifications. The proposed approach documents events in event templates and then builds an event-flow model and a fault model for a system. Test coverage criterion and an algorithm are designed using these models to generate event sequence based test scenarios and test cases. Unlike other event based approaches, our approach is able to detect the proposed faults in a system. A prototype tool is developed to automate and evaluate the applicability of the entire process. Results have shown that the proposed approach and supportive tool is able to successfully derive test scenarios and test cases from the requirement specifications of safety critical systems, real time systems, and event based systems
Abstract
Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test ma Safety critic Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test manually. In order to cut down on costs, save time, and increase reliability, the model based testing approach is the best solution. Such an approach does not require applications or codes prior to generating test cases, so it leads to the early detection of faults, which helps in reducing the development time. Several model-based testing approaches have used different UML models but very few works have been reported to show the generation of test cases that use events. Test cases that use events are an apt choice for these types of systems. However, these works have considered events that happen at a user interface level in a system while other events that happen in a system are not considered. Such works have limited applications in testing the GUI of a system. In this paper, a novel model-based testing approach is presented using business events, state events, and control events that have been captured directly from requirement specifications. The proposed approach documents events in event templates and then builds an event-flow model and a fault model for a system. Test coverage criterion and an algorithm are designed using these models to generate event sequence based test scenarios and test cases. Unlike other event based approaches, our approach is able to detect the proposed faults in a system. A prototype tool is developed to automate and evaluate the applicability of the entire process. Results have shown that the proposed approach and supportive tool is able to successfully derive test scenarios and test cases from the requirement specifications of safety critical systems, real time systems, and event based systems
참고문헌 (58)
- Singh, S.K., "An event-based methodology to generate class diagrams and its empirical evaluation", Journal of Computer Science, 6(11), pp.1301~1325 (2010)
- Singh, K., "Event Patterns for Object Oriented Requirement Analysis", in Proceedings of IASTED International Conferences on Advances in Computer Science and Technology, pp.115~120 (2008)
- Sandeep K. Singh, "Events - An Alternative to Use Case as Starting Point in Object-Oriented Analysis", ICETET 2009, pp.1004~1010 (2009)
- McMenamin, Stephen M., "Essential Systems Analysis" (1984), Prentice-Hall (Yourdon Press)
- Yourdon Edward, "Modern structured analysis" (2003), Publisher Prentice-Hall
- "Object-oriented modelling with events"[URL]
- Monique Snoeck, "Analogical Reuse of Structural and Behavioural Aspects of Event- Based Object-Oriented Domain Models", Domaine Engineering Workshop, Proceedings of the 11th International Workshop on Database and Expert Systems Applications, London (Greenwich), pp.802~806 (2000), IEEE Computer Society
- POELS G., "On the Measurement of Event-Based Object-Oriented Conceptual Models", 4th International ECOOP Workshop on Quantitative Approaches in Object-Oriented Software Engineering (2000)
- Bækgaard L., "Event Modeling in UML", Unified Modeling Language and Unified Process (part of IRMA’02 International Conference) (2002)
- Bækgaard, L., "Event-Based Activity Modeling", Conference on Action in Language, Action in Language, Organisations and Information Systems (ALOIS'04). Linköping, Sweden (2004)
- Olivé, A, "Modeling events as entities in object-oriented conceptual modeling languages", Data&Knowledge Engineering, 58, pp.243~262 (2006)
- J. F. M. Burg, "COLOR-X: Linguistically-based Event Modeling: A General Approach to Dynamic Modeling", In Proceedings of the Seventh International Conference an Advanced Information System Engineering, pp.26~39 (1995), Springer-Verlang
- J. F. M. Burg, "COLOR-X: Object Modeling profits from Linguistics, In Towards Very Large Knowledge Bases: Knowledge Building and Knowledge Sharing (KB&KS,95)", pp.204~214 (1995)
- Jog Roj, "BPMN and Business Process Management - Popkin Software", ~ (2003)
- Stephen A., "White - IBM and Derek Miers -Business Process Modeling and Reference Guide", BPM, ~ (2008)
- Rittgen, P., "Business Processes in UML, in Favre, Liliana: UML and the Unified Process", pp.315~331 (2003), IRM Press
- Atif M., "Memon, An Event-flow model of GUI-based applications for testing: Research Articles", Software Testing, Verification & Reliability, 17(3), pp.137~157 (2007)
- Atif M. Memon, "Coverage criteria for GUI testing", Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering (2001)
- Lu, Y., "International Conference on Computer Science and Software Engineering-Vol", Proceedings of the 2008 International Conference on Computer Science and Software Engineering - Vol.02, 2, pp.712~715 (2008)
- Belli, F., "Event-based Modeling, Analysis and Testing of User Interactions: Approach and Case Study", The Journal of Software Testing, Verification and Reliability, 16(3), pp.3~32 (2006)
- Alessandra Russo, "An Abductive Approach for Analysing Event-Based Requirements Specifications", Proceedings of the 18th International Conference on Logic Programming, pp.22~37 (2002)
- Alan S. Abrahams, "An Event-Based Paradigm for E-Commerce Application Specification and Execution", Proc. of 7th International Conference on Electronic Commerce Research, Dallas, Texas, pp.181~192 (2004)
- N. H. Gehani, "Event specification in an active object-oriented database", Proceedings of the 1992 ACM SIGMOD international conference on Management of data, pp.81~90 (1992)
- Ping-peng Yuan, "Wei-li-Han Reseach on an Event Specification for Event-Based Collaboration Support Software Architecture", Proc. Int Conf. On Computer Supported Cooperative Work in Design, NY, USA, pp.99~104 (2002)
- A. El-Ansary, "Behavioral Pattern Analysis: Towards a New Representation of Systems Requirements Based on Actions and Events", In Proc: SAC, pp.984~991 (2002)
- Requirements Definitions of Robotics Automation Using the Behavioral Patterns Analysis (PBA) Approach:, "Requirements Definitions of Robotics Automation Using the Behavioral Patterns Analysis (PBA) Approach:The Production Cell System Proceedings of the International Conference on Computational Intelligence for Modelling", Control and Automation and International Conference on Intelligent Agents, pp.883~892 (2005)
- Allen, FE., "Control flow analysis. Proceedings of a Symposium on Compiler Optimization", ACM Press (1970)
- Rosen, B. K., "Data flow analysis for procedural languages", Journal of the ACM, 26(2), pp.322~344 (1979)
- R. V. Binder., "Testing Object-Oriented Systems Models, Patterns, and Tools" (1999), Addison Wesley
- Ward, Paul T., "Mellor Structured Development for Real-Time Systems", Prentice-Hall (Yourdon Press)
- H. Zhu, "Software unit test coverage and adequacy", ACM Computing Surveys, 29(4), pp.366~427 (1997)
- T. H. Kim, "Test Case Generation of a Protocol by a Fault Coverage Analysis", ICOIN-12 (1998)
- Aditya P. Mathur, "Foundations of Software Testing, 1st Imp", pp.45~46 (2008), Pearson Education
- Debasish Kundu, "A Novel Approach to Generate Test Cases from UML Activity Diagrams", in Journal of Object Technology, 8(3), pp.65~83 (2009)
- Chen Mingsong, "Automatic test case generation for UML activity diagrams", Proceedings of the 2006 international workshop on Automation of software test (2006)
- H. Kim, "Test cases generation from uml activity diagrams", Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel, 2007, 556~561
- L. Wang, "Generating Test Cases from UML Activity Diagram based on Gray-Box Method", In 11th Asia-Pacific Software Engineering Conference (APSEC 2004), pp.284~291 (2004)
- Dong Xu, "Using Adaptive Agents to Automatically Generate Test Scenarios from UML Activity Diagrams", Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC'05), pp.385~392 (2005)
- Chandler, R., "AD2US:an automated approach to generating usage scenarios from UML Activity diagrams", In: Proceedings of 12th Asia Pacific Software Engineering Conference, Taipei, Taiwan, pp.9~16 (2005)
- Huaizhong Li, "Using Anti-Ant-like Agents to Generate Test Threads from UML Diagrams", LNCS, 3502, pp.69~80 (2005)
- Chen, M., "Coverage-driven Automatic Test Generation for UML Activity Diagrams", ACM Great Lakes Symposium on VLSI (GLSVLSI) (2008)
- Philip Samuel, "A Novel Test Case Design Technique Using Dynamic Slicing of UML Sequence Diagram", e-Informatica Software Engineering Journal, 2(1) (2008)
- Dehla Sokenou, "Generating Test Sequences from UML Sequence Diagrams and State Diagrams", IEEE Society (2006)
- M. Ebner., "TTCN-3 Test Case Generation from Message Sequence Charts", In Workshop on Integrated- reliability with Telecommunications and UML Languages (ISSRE04:WITUL), France (2004)
- Li, Bao-Lin, "Test case automate generation from UML sequence diagram and OCL expression", Computational Intelligence and Security, 2007 International Conference, pp.1048~1052 (2007)
- Monalisa Sarma, "Automatic Test Case Generation from UML Sequence Diagram", Proceedings of the 15th International Conference on Advanced Computing and Communications, pp.60~67 (2007)
- Emanuela G. Cartaxo, "Test Case Generation by means of UML Sequence Diagrams and Labeled Transition Systems", 2007 IEEE International Conference on Systems Man and Cybernetics, pp.1292~1297 (2007)
- Lund, M.S., "Deriving tests from UML 2.0 sequence diagrams with neg and assert", 1st International Workshop on Automation of Software Test (AST’06), pp.22~28 (2006), ACM Press
- 배두환, "Test cases generation from UML state diagrams", IEE PROCEEDINGS: SOFTWARE, 146(4), pp.187~192, Institute of Electrical Engineers
- P. Samuel, "Automatic test case generation using unified modeling language (UML) state diagrams", IET Softw., 2(2), pp.79~93 (2008)
- S. Kansomkeat, "Automated-generating test case using UML statechart diagrams", In SAICSIT ’03, pp.296~300 (2003)
- Baikuntha Narayan Biswal, "A Novel Approach for Scenario- Based Test Case Generation", IEEE Society ICIT (2008)
- S. Weißleder, "Automatic Test Case Generation from UML Models and OCL Expressions", In Testing of Software - From Research To Practice (associated with Software Engineering 2008), (TESO’08), pp.423~426 (2008)
- M. Riebisch, "UML-Based Statistical Test Case Generation", Proc. Int’l Conf. Net.ObjectDays, 2591, pp.394~411 (2002)
- Peter Frohlich, "Automated Test Case Generation from Dynamic Models", ECOOP-Object Oriented Programming, 1850, pp.472~491 (2000)
- Von Mayrhauser, A., "Generating Test-Cases from an Object-Oriented Model with an Artifical-Intelligence Planning System IEEE TRANSACTIONS ON RELIABILITY", 49(1) (2000)
- Singh, K., "E-XTRACT: A Tool for Extraction, Analysis and Classification of Events from Textual Requirements", in Proc.of the 2009 International Conference on Advances in Recent Technologies in Communication and Computing, India, October, pp.306~308 (2009)