Effective grey-box testing with partial FSM models

by   Robert Sachtleben, et al.

For partial, nondeterministic, finite state machines, a new conformance relation called strong reduction is presented. It complements other existing conformance relations in the sense that the new relation is well-suited for model-based testing of systems whose inputs are enabled or disabled, depending on the actual system state. Examples of such systems are graphical user interfaces and systems with interfaces that can be enabled or disabled in a mechanical way. We present a new test generation algorithm producing complete test suites for strong reduction. The suites are executed according to the grey-box testing paradigm: it is assumed that the state-dependent sets of enabled inputs can be identified during test execution, while the implementation states remain hidden, as in black-box testing. It is shown that this grey-box information is exploited by the generation algorithm in such a way that the resulting best-case test suite size is only linear in the state space size of the reference model. Moreover, examples show that this may lead to significant reductions of test suite size in comparison to true black-box testing for strong reduction.



There are no comments yet.


page 1

page 2

page 3

page 4


Testing Monotonicity of Machine Learning Models

Today, machine learning (ML) models are increasingly applied in decision...

Complete Test Suites for Input/Output Systems

Model based testing is a well-established approach to verify I/O labeled...

Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System Identification

Black-box testing has been extensively applied to test models of Cyber-P...

Complete Requirements-based Testing with Finite State Machines

In this paper, new contributions to requirements-based testing with dete...

Less Arbitrary waiting time

Property testing is the cheapest and most precise way of building up a t...

White-box Testing of NLP models with Mask Neuron Coverage

Recent literature has seen growing interest in using black-box strategie...

A Model-Driven Methodology for Automotive Cybersecurity Test Case Generation

Through international regulations (most prominently the latest UNECE reg...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.