Novel Approach for Deriving Test Scenarios and Test Cases from Events = Novel Approach for Deriving Test Scenarios and Test Cases from Events

다국어 초록 (Multilingual 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.

참고문헌 (Reference)

• 1 "http : //www. rt. db. erau. edu/BLUE/02%20SE545_FA07_TEAM_BLUE_SRS_version2. pdf"
• 2 Stephen A., "White - IBM and Derek Miers -Business Process Modeling and Reference Guide"
• 3 Ping-peng Yuan, "Wei-li-Han Reseach on an Event Specification for Event-Based Collaboration Support Software Architecture" 99-104, 2002
• 4 Huaizhong Li, "Using Anti-Ant-like Agents to Generate Test Threads from UML Diagrams" 3502 : 69-80, 2005
• 5 Dong Xu, "Using Adaptive Agents to Automatically Generate Test Scenarios from UML Activity Diagrams" 385-392, 2005
• 6 M. Riebisch, "UML-Based Statistical Test Case Generation" 2591 : 394-411, 2002
• 7 R. V. Binder., "Testing Object-Oriented Systems Models, Patterns, and Tools" Addison Wesley 1999
• 8 H. Kim, "Test cases generation from uml activity diagrams" 556-561, 2007
• 9 배두환, "Test cases generation from UML state diagrams" Institute of Electrical Engineers 146 (146): 187-192, 199908
• 10 Li, Bao-Lin, "Test case automate generation from UML sequence diagram and OCL expression" 1048-1052, 2007
• 11 T. H. Kim, "Test Case Generation of a Protocol by a Fault Coverage Analysis" 1998
• 12 Emanuela G. Cartaxo, "Test Case Generation by means of UML Sequence Diagrams and Labeled Transition Systems" 1292-1297, 2007
• 13 M. Ebner., "TTCN-3 Test Case Generation from Message Sequence Charts" 2004
• 14 H. Zhu, "Software unit test coverage and adequacy" 29 (29): 366-427, 1997
• 15 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" 883-892, 2005
• 16 POELS G., "On the Measurement of Event-Based Object-Oriented Conceptual Models" 2000
• 17 Monique Snoeck, "Object-oriented modelling with events"
• 18 Yourdon Edward, "Modern structured analysis" Publisher Prentice-Hall 2003
• 19 Olivé, A, "Modeling events as entities in object-oriented conceptual modeling languages" 58 : 243-262, 2006
• 20 Atif M., "Memon, An Event-flow model of GUI-based applications for testing: Research Articles" 17 (17): 137-157, 2007
• 21 Ward, Paul T., "Mellor Structured Development for Real-Time Systems" Prentice-Hall (Yourdon Press)
• 22 Lu, Y., "International Conference on Computer Science and Software Engineering-Vol" 2 : 712-715, 2008
• 23 Von Mayrhauser, A., "Generating Test-Cases from an Object-Oriented Model with an Artifical-Intelligence Planning System IEEE TRANSACTIONS ON RELIABILITY" 49 (49): 2000
• 24 Dehla Sokenou, "Generating Test Sequences from UML Sequence Diagrams and State Diagrams" 2006
• 25 L. Wang, "Generating Test Cases from UML Activity Diagram based on Gray-Box Method" 284-291, 2004
• 26 Aditya P. Mathur, "Foundations of Software Testing, 1st Imp" Pearson Education 45-46, 2008
• 27 Sandeep K. Singh, "Events - An Alternative to Use Case as Starting Point in Object-Oriented Analysis" 1004-1010, 2009
• 28 Belli, F., "Event-based Modeling, Analysis and Testing of User Interactions: Approach and Case Study" 16 (16): 3-32, 2006
• 29 Bækgaard, L., "Event-Based Activity Modeling" 2004
• 30 N. H. Gehani, "Event specification in an active object-oriented database" 81-90, 1992
• 31 Singh, K., "Event Patterns for Object Oriented Requirement Analysis" 115-120, 2008
• 32 Bækgaard L., "Event Modeling in UML" 2002
• 33 McMenamin, Stephen M., "Essential Systems Analysis" Prentice-Hall (Yourdon Press) 1984
• 34 Singh, K., "E-XTRACT: A Tool for Extraction, Analysis and Classification of Events from Textual Requirements" 306-308, 2009
• 35 Lund, M.S., "Deriving tests from UML 2.0 sequence diagrams with neg and assert" ACM Press 22-28, 2006
• 36 Rosen, B. K., "Data flow analysis for procedural languages" 26 (26): 322-344, 1979
• 37 Chen, M., "Coverage-driven Automatic Test Generation for UML Activity Diagrams" 2008
• 38 Atif M. Memon, "Coverage criteria for GUI testing" 2001
• 39 Allen, FE., "Control flow analysis. Proceedings of a Symposium on Compiler Optimization" 1970
• 40 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)" 204-214, 1995
• 41 J. F. M. Burg, "COLOR-X: Linguistically-based Event Modeling: A General Approach to Dynamic Modeling" Springer-Verlang 26-39, 1995
• 42 Rittgen, P., "Business Processes in UML, in Favre, Liliana: UML and the Unified Process" IRM Press 315-331, 2003
• 43 A. El-Ansary, "Behavioral Pattern Analysis: Towards a New Representation of Systems Requirements Based on Actions and Events" 984-991, 2002
• 44 Jog Roj, "BPMN and Business Process Management - Popkin Software"
• 45 P. Samuel, "Automatic test case generation using unified modeling language (UML) state diagrams" 2 (2): 79-93, 2008
• 46 Chen Mingsong, "Automatic test case generation for UML activity diagrams" 2006
• 47 Monalisa Sarma, "Automatic Test Case Generation from UML Sequence Diagram" 60-67, 2007
• 48 S. Weißleder, "Automatic Test Case Generation from UML Models and OCL Expressions" 423-426, 2008
• 49 S. Kansomkeat, "Automated-generating test case using UML statechart diagrams" 296-300, 2003
• 50 Peter Frohlich, "Automated Test Case Generation from Dynamic Models" 1850 : 472-491, 2000
• 51 Monique Snoeck, "Analogical Reuse of Structural and Behavioural Aspects of Event- Based Object-Oriented Domain Models" IEEE Computer Society 802-806, 2000
• 52 Singh, S.K., "An event-based methodology to generate class diagrams and its empirical evaluation" 6 (6): 1301-1325, 2010
• 53 Alan S. Abrahams, "An Event-Based Paradigm for E-Commerce Application Specification and Execution" 181-192, 2004
• 54 Alessandra Russo, "An Abductive Approach for Analysing Event-Based Requirements Specifications" 22-37, 2002
• 55 Chandler, R., "AD2US:an automated approach to generating usage scenarios from UML Activity diagrams" 9-16, 2005
• 56 Philip Samuel, "A Novel Test Case Design Technique Using Dynamic Slicing of UML Sequence Diagram" 2 (2): 2008
• 57 Debasish Kundu, "A Novel Approach to Generate Test Cases from UML Activity Diagrams" 8 (8): 65-83, 2009
• 58 Baikuntha Narayan Biswal, "A Novel Approach for Scenario- Based Test Case Generation" 2008