Den här sidan är utskriven från Högskolan i Halmstads webbplats (www.hh.se). Texten uppdaterades senast den 2017-08-16. Besök webbplatsen om du vill vara säker på att läsa den senaste versionen.

Personal vid Högskolan

Tillbaka

Gray-Box Conformance Testing for Symbolic Reactive State Machines

Taromirad, Masoumeh, Mousavi, Mohammad Reza
2017

Konferensbidrag (Refereegranskat)

Abstract:

Model-based testing (MBT) is typically a black-box testing technique. Therefore, generated test suites may leave some untested gaps in a given implementation under test (IUT). We propose an approach to use the structural and behavioural information exploited from the implementation domain to generate effective and efficient test suites. Our approach considers both specification models and implementation models, and generates an enriched test model which is used to automatically generate test suites. We show that the proposed approach is sound and exhaustive and cover both the specification and the implementation. We examine the applicability and the effectiveness of our approach by applying it to a well-known example from the railway domain. © 2017, IFIP International Federation for Information Processing.

Nyckelord: Model checking; Software engineering; Specifications; Testing; Conformance testing; Implementation models; Implementation under tests; Model based testing; Reactive state; Specification models; Test Modeling; Black-box testing

Citera: Taromirad, Masoumeh & Mousavi, Mohammad Reza, Gray-Box Conformance Testing for Symbolic Reactive State Machines, Fundamentals of Software Engineering : 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers., s. 228-243, 2017