A fresh look at testing for asynchronous communication

Bhateja, Puneet ; Gastin, Paul ; Mukund, Madhavan (2006) A fresh look at testing for asynchronous communication In: 4th International Symposium on Automated Technology for Verification and Analysis, ATVA 2006,, 23-26 Oct 2006, Beijing, China.

Full text not available from this repository.

Official URL: https://link.springer.com/chapter/10.1007%2F119019...

Related URL: http://dx.doi.org/10.1007/11901914_28


Testing is one of the fundamental techniques for verifying if a computing system conforms to its specification. We take a fresh look at the theory of testing for message-passing systems based on a natural notion of observability in terms of input-output relations. We propose two notions of test equivalence: one which corresponds to presenting all test inputs up front and the other which corresponds to interactively feeding inputs to the system under test. We compare our notions with those studied earlier, notably the equivalence proposed by Tretmans. In Tretmans’ framework, asynchrony is modelled using synchronous communication by augmenting the state space of the system with queues. We show that the first equivalence we consider is strictly weaker than Tretmans’ equivalence and undecidable, whereas the second notion is incomparable. We also establish (un)decidability results for these equivalences.

Item Type:Conference or Workshop Item (Paper)
Source:Copyright of this article belongs to Springer-Verlag.
Keywords:Transition System; Label Transition System; Process Algebra; Asynchronous Communication; Outgoing Transition
ID Code:114147
Deposited On:25 May 2018 04:53
Last Modified:25 May 2018 04:53

Repository Staff Only: item control page