Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
SeDiTeC " Testing Based on Sequence Diagrams
Proceedings of the 17th IEEE international conference on Automated software engineering
Testing Decomposition of Component Specifications Based on a Rule for Formal Verification
QSIC '03 Proceedings of the Third International Conference on Quality Software
Test Cases Generation from UML Activity Diagrams
SNPD '07 Proceedings of the Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing - Volume 03
Automatic generation of conformance tests from message sequence charts
SAM'02 Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC
Generating tests from UML specifications
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Why timed sequence diagrams require three-event semantics
SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
Implementing MSC Tests with Quiescence Observation
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
FM'06 Proceedings of the 14th international conference on Formal Methods
UML behavioral model based test case generation: a survey
ACM SIGSOFT Software Engineering Notes
Hi-index | 0.00 |
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.