Asynchronous Input-Output Conformance Testing

Weiglhofer, Martin; Wotawa, Franz

doi:10.1109/compsac.2009.194

Cited by 23 publications

(43 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…However, mioco does not take into account the distributed nature of observations: observations are still global traces with mioco differing from ioco through the SUT being allowed to block all input at a port (see, for example, [Brinksma et al 1998;Heerink and Tretmans 1997;Li et al 2004]). Recent work has investigated testing when interacting with the SUT through asynchronous channels [Hierons 2012a;Noroozi et al 2011;Simão and Petrenko 2011;Weiglhofer and Wotawa 2009], but has only considered single-port systems. This work has shown that for first-in-first-out (FIFO) channels, it is possible to decide whether there is a test case that is guaranteed to move an IOTS into a particular state as long as the specification is not output-divergent 3 [Hierons 2012a].…”

Section: Introductionmentioning

confidence: 99%

Combining Centralised and Distributed Testing

Hierons

2014

ACM Trans. Softw. Eng. Methodol.

View full text Add to dashboard Cite

Many systems interact with their environment at distributed interfaces (ports) and sometimes it is not possible to place synchronised local testers at the ports of the system under test (SUT). There are then two main approaches to testing: having independent local testers or a single centralised tester that interacts asynchronously with the SUT. The power of using independent testers has been captured using implementation relation dioco. In this paper we define implementation relation diococ for the centralised approach and prove that dioco and diococ are incomparable. This shows that the frameworks detect different types of faults and so we devise a hybrid framework and define an implementation relation diocos for this. We prove that the hybrid framework is more powerful than the distributed and centralised approaches. We then prove that the Oracle problem is NP-complete for diococ and diocos but can be solved in polynomial time if we place an upper bound on the number of ports. Finally, we consider the problem of deciding whether there is a test case that is guaranteed to force a finite state model into a particular state or to distinguish two states, proving that both problems are undecidable for the centralised and hybrid frameworks.

show abstract

Section: Introductionmentioning

confidence: 99%

Combining Centralised and Distributed Testing

Hierons

2014

ACM Trans. Softw. Eng. Methodol.

View full text Add to dashboard Cite

show abstract

“…(This was mentioned as future work in [3,4].) Using this representation, we compare the testing power of different conformance relations in [10,13,14]. Moreover, we give external representations of the studied notions by providing a generic test-case generation algo-rithm and show that the test case generation algorithm is sound and exhaustive with respect to our intensional representation.…”

Section: Introductionmentioning

confidence: 99%

“…In Section 3, we present a unifying intensional definition of input output conformance testing, from which the different conformance relations presented in [13,14] and [10] can be obtained as special cases. In the same section, we define a notion of testing power and using that compare several notions of conformance relation obtained from different hypotheses assumed in [13,14] and [10]. In Section 4, we present corresponding extensional notions of conformance testing using test cases and show that they are indeed sound and exhaustive with respect to their intensional counterparts.…”

Section: Introductionmentioning

confidence: 99%

“…Most importantly, we present a novel intensional representation of the conformance testing relation presented [13,14] in this paper. (This was mentioned as future work in [3,4].)…”

Section: Introductionmentioning

confidence: 99%

“…In [13,Chapter 8] and [14], both the class of IUTs has been restricted (to the socalled internal choice specifications) and further the test-case generation algorithm is adapted to generate a restricted set of test-cases. Then, it is argued (with a proof sketch) that in this setting, the verdict obtained through asynchronous interaction with the system coincides with the verdict (using the same set of restricted test-cases) in the synchronous setting.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Synchrony and asynchrony in conformance testing

et al. 2013

View full text Add to dashboard Cite

We present and compare different notions of conformance testing based on labeled transition systems. We formulate and prove several theorems which enable using synchronous conformance testing techniques such as input output conformance testing (ioco) in order to test implementations only accessible through asynchronous communication channels. These theorems define when the synchronous test cases are sufficient for checking all aspects of conformance that are observable by asynchronous interaction with the implementation under test.

show abstract

Formal Verification of OIL Component Specifications using mCRL2

Bunte

Gool

Willemse

2020

Lecture Notes in Computer Science

View full text Add to dashboard Cite

published version features the final layout of the paper including the volume, issue and page numbers. Link to publication General rightsCopyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights.• Users may download and print one copy of any publication from the public portal for the purpose of private study or research. • You may not further distribute the material or use it for any profit-making activity or commercial gain • You may freely distribute the URL identifying the publication in the public portal.If the publication is distributed under the terms of Article 25fa of the Dutch Copyright Act, indicated by the "Taverne" license above, please follow below link for the End User

show abstract

Asynchronous Input-Output Conformance Testing

Cited by 23 publications

References 10 publications

Combining Centralised and Distributed Testing

Combining Centralised and Distributed Testing

Synchrony and asynchrony in conformance testing

Formal Verification of OIL Component Specifications using mCRL2

Contact Info

Product

Resources

About