Academic Journals Database
Disseminating quality controlled scientific knowledge

Specification Representation and Test Case Reduction by Analyzing the Interaction Patterns in System Model

ADD TO MY LIST
 
Author(s): Ashish Kumari | Dr. Rahul Rishi

Journal: International Journal of Computer Science and Management Studies
ISSN 2231-5268

Volume: 12;
Issue: 01;
Start page: 119;
Date: 2012;
VIEW PDF   PDF DOWNLOAD PDF   Download PDF Original page

Keywords: Interaction Patterns | EFSM

ABSTRACT
Extended Finite State Machine uses the formal description language to model the requirement specification of the system. The system models are frequently changed because of the specification changes. We can show the changes in specification by changing the model represented using finite state machine. To test the modified parts of the model the selective test generation techniques are used. However, the regression test suits still may be very large according to the size. In this paper, we have discussed the method whichdefine the test suits reduction and the requirement specification that used for testing the main system after the modifications in the requirements and implementation. Extended finite state machine uses the state transition diagram for representing the requirement specification. It shows how system changes states and action and variable used during each transition. After that data dependency andcontrol dependency are find out among the transitions of state transition diagram. After these dependencies we can find out the affecting and affected portion in the system introduced by the modification. The main condition is: “If two test cases generate same affecting and affected pattern, it means it is enough to implement only one test case rather than two.” So using this approach we can substantially reduce the size of original test suite.

Tango Rapperswil
Tango Rapperswil

     Save time & money - Smart Internet Solutions