Deriving tests from UML 2.0 sequence diagrams with neg and assert
Mass Soldal Lund, Ketil Stølen · 2006
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.