Abstract

Today statecharts are a de facto standard in industry for modeling system behavior. Test data generation is one of the key issues in software testing. This paper proposes an reduction approach to test data generation for the state-based software testing. In this paper, first state transition graph is derived from state chart diagram. Then, all the required information are extracted from the state chart diagram. Then, test cases are generated. Lastly, a set of test cases are minimized by calculating the node coverage for each test case. It is also determined that which test cases are covered by other test cases. The advantage of our test generation technique is that it optimizes test coverage by minimizing time and cost. The present test data generation scheme generates test cases which satisfy transition path coverage criteria, path coverage criteria and action coverage criteria. A case study on Railway Ticket Vending Machine (RTVM) has been presented to illustrate our approach.

Highlights

  • With continually increasing system sizes, the issue of automatic design of system test cases is assuming prime importance [28]

  • If we look into the practical implementation of Statechart diagram it is mainly used to analyze the object states influenced by events

  • There are four types of events that can trigger a state transition: Signal event Call event Timing event Change event

Read more

Summary

INTRODUCTION

With continually increasing system sizes, the issue of automatic design of system test cases is assuming prime importance [28]. Generation of test specifications to meet these coverage criteria can be accomplished by using the state model of a system. It helps mankind to save on time, money and helps in handling better situations in real time With this motivation, we aim our work at deriving the test sequence from state transition diagram and maximizing state or node coverage. UML is a modeling language using text and graphical notation and used for documenting specification, analysis, design, and implementation It is a de- facto standard in industrial software development UML, Unified Modelling Language is a visual language that has been developed to support the design of complex object-oriented systems. Behavioral diagrams show the dynamic behavior of the objects in a system, which can be described as a series of changes to the system over time

UML state chart diagram
Final state
Transition
An event
SOME BASIC DEFINITIONS
TEST ADEQUECY CRITERIA
Traverse the state transition graph
Generating test cases
Minimizing the test cases
Problem statement
Working Of the proposed Algorithm
COMPARISON WITH RELATED WORK
CONCLUSSION AND FUTURE WORK
Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call