Model-Based Testing for Asynchronous Systems
Model-based testing is a prominent validation technique, integrating well with other formal approaches to verification, such as model checking. Automated test derivation and execution approaches often struggle with asynchrony in communication between the implementation under test (IUT) and tester, a phenomenon present in most networked systems. Earlier attacks on this problem came with different restrictions on the specification model side. This paper presents a new and effective approach to model-based testing under asynchrony. By waiving the need to guess the possible output state of the IUT, we reduce the computational effort of the test generation algorithm while preserving soundness and conceptual completeness of the testing procedures. In addition, no restrictions on the specification model need to be imposed. We define a suitable conformance relation and we report on empirical results obtained from an industrial case study from the domain of electric mobility.
This work is supported by the ERC Advanced Grant powver (695614) and the Sino-German project CAP (GZ 1023).
- 1.Balemi, S.: Control of discrete event systems: theory and application. Ph.D. thesis, Swiss Federal Institute of Technology, Zurich, Switzerland (1992)Google Scholar
- 4.CAN in Automation International Users and Manufacturers Group e.V.: CiA 301 CANopen Application Layer and Communication Profile, v. 4.2.0 (2011)Google Scholar
- 5.CAN in Automation International Users and Manufacturers Group e.V.: CiA 305 Layer setting services (LSS) and protocols, v. 3.0.0 (2013)Google Scholar
- 6.CAN in Automation International Users and Manufacturers Group e.V. and EnergyBus e.V.: CiA 454 Draft Standard Proposal Application profile for energy management systems - doc. series 1-14, v. 2.0.0 (2014)Google Scholar
- 7.da Silva Simão, A., Petrenko, A.: From test purposes to asynchronous test cases. In: ICST 2010 Workshops Proceedings, pp. 1–10. IEEE Computer Society (2010)Google Scholar
- 18.Langerak, R.: A testing theory for LOTOS using deadlock detection. In: PSTV 1989, North-Holland, pp. 87–98 (1989)Google Scholar
- 20.Petrenko, A., Yevtushenko, N.: Queued testing of transition systems with inputs and outputs. In: Proceedings of FATES 2002, pp. 79–93 (2002)Google Scholar
- 22.Tretmans, J.: A formal approach to conformance testing. Ph.D. thesis, University of Twente, Enschede (1992)Google Scholar
- 25.Tretmans, J., Brinksma, E.: TorX: Automated Model Based Testing - Côte de Resyste (2003)Google Scholar
- 26.Tretmans, J., Verhaard, L.: A queue model relating synchronous and asynchronous communication. In: PSTV 1992, North-Holland, pp. 131–145 (1992)Google Scholar
- 27.Verhaard, L., Tretmans, J., Kars, P., Brinksma, E.: On asynchronous testing. In: IWPTS 1992, North-Holland, pp. 55–66 (1992)Google Scholar
- 28.Weiglhofer, M., Wotawa, F.: Asynchronous input-output conformance testing. In: COMPSAC 2009, pp. 154–159. IEEE Computer Society (2009)Google Scholar