Name
Abstract | ||
|---|---|---|
In this paper, we present a set of automated tools for the development of conformance tests following a methodology based on a partial unfolding of a given SDL specification, describing the behavior of the system under test. The methodology relies on FSM-based test derivation methods which focus on the fault coverage aspect of testing. The tool kit offers to the test designer a number of options for achieving different levels of fault coverage. In particular, it provides support for partial specifications, grouped transitions and timers. The tests, which are generated in SDL or in TTCN must be completed by hand concerning certain aspects related to signal parameters, however, most of these adjustments are relatively straight forward and certain parts of the original SDL specification can be reused without change. We also report on our experience of using the tool kit for the development of a test suite for the ATM PNNI signalling protocol. |
Year | DOI | Venue |
|---|---|---|
1997 | 10.1016/B978-044482816-3/50018-6 | SDL '97 - TIME FOR TESTING: SDL, MSC AND TRENDS |
Keywords | Field | DocType |
conformance testing,fault coverage,system under test | Test suite,System under test,Programming language,Fault coverage,Computer science,Finite-state machine,Asynchronous Transfer Mode,Signaling protocol,Private Network-to-Network Interface,Specification and Description Language,Reliability engineering | Conference |
ISSN | Citations | PageRank |
SDL '97: Time for Testing | 21 | 1.30 |
References | Authors | |
8 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Gregor von Bochmann | 1 | 2573 | 427.74 |
| A. Petrenko | 2 | 565 | 31.37 |
| O. Bellal | 3 | 26 | 2.03 |
| S. Maguiraga | 4 | 21 | 1.30 |