Paper Info
Title
Deriving tests from UML 2.0 sequence diagrams with neg and assert
Abstract
In this paper we define an algorithm for deriving tests from UML 2.0 sequence diagrams based on the operational semantics for sequence diagrams defined in [13]. The algorithm is a modifiedand adapted version of the algorithm presented in [19, 20]. This modified algorithm is based on the standard semantic model of sequence diagrams and allows diagrams to contain the operators neg and assert. The derived tests are themselves sequence diagrams.
Year
DOI
Venue
2006
10.1145/1138929.1138934
AST
Keywords
DocType
ISBN
uml,sequence diagrams
Conference
1-59593-408-1
Citations 
PageRank 
References 
10
0.64
14
Authors
2
Name
Order
Citations
PageRank
Mass Soldal Lund1758.04
Ketil Stølen266973.05