R. G. De Vries and J. Tretmans. On-the-fly conformance testing using SPIN. Software Tools for Technology Transfer, 2(4):382-- 393, March 2000. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Specification Coverage Aided Test Selection - Pyhälä, Heljanko (2003) (Correct)
....conformance testing formalizes the concepts of conformance testing [16] Essential notions include the implementation, the specification and conformance relation between these two. In this work we use ioco conformance relation [17] Previously there has been work implementing on the fly testers [4] for ioco conformance relation. These basically test whether the implementation behaves according to the specification. The tester has to make choices: what inputs it gives to the implementation and when it waits for an output. How to make these choices well is the problem we concentrate on. All ....
....reduces the amount of executed test events or raises the quality of testing. We approach this problem with test selection methods based on coverage. In this paper we introduce a method for using specification coverage to guide test selection by extending the existing on the fly algorithm of [4] to include coverage based test selection heuristic while still preserving the completeness of procedure. See [7] for another approach to introduce probabilities to the same algorithm. We have selected a specification based coverage metric and implemented an on the fly testing framework ....
[Article contains additional citation context not shown here]
R. de Vries and J. Tretmans. On-the-fly conformance testing using SPIN. Software Tools for Technology Transfer, 2(4):382--393, March 2000.
Côte de Resyste - Automated Model Based Testing - Tretmans, Brinksma (2002) Self-citation (Tretmans) (Correct)
No context found.
R.G. de Vries and J. Tretmans. On-the-Fly Conformance Testing using SPIN. Software Tools for Technology Transfer, 2(4):382-- 393, 2000.
TorX: Automated Model Based Testing - Côte de Resyste - Tretmans, Brinksma (2003) Self-citation (Tretmans) (Correct)
No context found.
R.G. de Vries and J. Tretmans. On-the-Fly Conformance Testing using Spin. Software Tools for Technology Transfer, 2(4):382--393, 2000.
Software Engineering with Formal Methods: The.. - Tretmans, Wijbrans.. (2001) Self-citation (Tretmans) (Correct)
.... derive tests formally and automatically from such specifications, although it is expected that developments in the testing area will proceed faster than in the implementation area checking whether a system has a property is simpler than automatically generating a system which has that property [2, 20]. The general experience of developing BOS is that the early phases of development are the most critical ones. Important problems are encountered during capturing of requirements, understanding the problem, understanding the client, system specification, design, and checking that the design (and ....
R. de Vries and J. Tretmans, "On-the-fly conformance testing using SPIN," Software Tools for Technology Transfer, Vol. 2, No. 4, pp. 382--393, 2000.
Formal Test Automation: A Simple Experiment - Belinfante, Feenstra, de.. (1999) (5 citations) Self-citation (De vries Tretmans) (Correct)
.... only the necessary part of a test case is considered: the test case is derived lazily (cf. lazy evaluation of functional languages) Using observations during the test execution we can reduce the e#ort in deriving test information from the specification compared with batch derivation; see also [13]. Now that we have introduced the two test methodologies, batch testing and on the fly testing, we make a few remarks about their respective qualities. Firstly, the batch wise approach is better suited for manual test case preparation and for semi automatic test case preparation. Humans are good ....
....of the variables after which it generates a label for each possible combination of these values. PROMELA. For Promela on the fly testing, we can automatically generate a single module that implements both the Explorer and Primer. This is done by the the Trojka tool which is described in detail in [13]. The resulting specification module can be configured in the same way as the LOTOS one, but the configuration parameters are di#erent, for example because input and output channel operations are already identified in a Promela specification and need not be given by the user. If the tool Spin were ....
[Article contains additional citation context not shown here]
R.G. de Vries and J. Tretmans. On-the-Fly Conformance Testing using Spin. In G. Holzmann et al., editor, Fourth Spin Workshop, ENST 98 S 002, pages 115--128. Ecole Nationale Superieure des Telecommunications, Paris, France, November 2 1998.
TGV: theory, principles and algorithms - Jard, Jeron (2002) (Correct)
No context found.
R. G. De Vries and J. Tretmans. On-the-fly conformance testing using SPIN. Software Tools for Technology Transfer, 2(4):382-- 393, March 2000.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC