34 search results - page 1 / 7 » Local Testing of Message Sequence Charts Is Difficult |
FCT
2007
Springer
13 years 8 months ago
2007
Springer
Abstract. Message sequence charts are an attractive formalism for specifying communicating systems. One way to test such a system is to substitute a component by a test process and...
SEFM
2008
IEEE
13 years 11 months ago
2008
IEEE
The only practical way to test distributed messagepassing systems is to use local testing. In this approach, used in formalisms such as concurrent TTCN-3, some components are repl...
MODELLIERUNG
2008
13 years 6 months ago
2008
FORTE
2001
13 years 6 months ago
2001
Use cases are useful in various stages of the software process. They are very often described using text that has to be interpreted by system designers. This could lead to implemen...
ECOOP
2000
Springer
13 years 9 months ago
2000
Springer
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...