Paper Info
Title
Scenario specification based testing model generation
Abstract
Building a simplified model for testing complex software system has been highlighted for optimizing test generation. This paper presents an approach to generating the constrained FSM with the scenario. Firstly, we use FSM to describe the behavior model of the target system. Then, we study the method of modeling scenarios with UML diagrams, including use case diagram, activity diagram, sequence diagram and statechart diagram. We describe how to achieve the constraint process by means of mapping and projection operations between FSM and UML diagrams. Finally, we obtain a reduced FSM by using UML activity diagrams to constrain FSM. The main contribution of the paper is to present an effective modeling method to optimize testing generation from the model.
Year
DOI
Venue
2013
10.1109/ICIS.2013.6607863
ICIS
Keywords
Field
DocType
scenario,sequence diagram,finite state machines,uml diagrams,program testing,projection,complex software system testing,fsm,projection operations,mapping,activity diagram,scenario specification based testing model generation,use case diagram,constrained fsm generation,mapping operations,unified modeling language,formal specification,statechart diagram,test generation optimization,testing,vectors,xml,semantics,software systems
Sequence diagram,Programming language,Use Case Diagram,Computer science,Activity diagram,System sequence diagram,UML state machine,Communication diagram,Applications of UML,Class diagram
Conference
Volume
Issue
Citations 
null
null
0
PageRank 
References 
Authors
0.34
4
3
Name
Order
Citations
PageRank
Beilei Liang100.34
Pan Liu2173.42
Huaikou Miao345168.03