Model Based Statistical Testing of Embedded Systems

Böhr, Frank

doi:10.1109/icstw.2011.11

Cited by 18 publications

(8 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A DDSPN, or usage net [2], reflects all possible uses of the SUT. Any state space explosion resulting from concurrent streams of use is hidden in a DDSPN.…”

Section: Related Workmentioning

confidence: 99%

Concurrent streams in Markov chain usage models for statistical testing of complex systems

Homm

Eckert

German

2015

Proceedings of the 30th Annual ACM Symposium on Applied Computing

View full text Add to dashboard Cite

Model-based statistical testing with Markov chain usage models (MCUMs) represents a highly automated test approach. However, specifying the usage model by hand is not a trivial task, especially if the system under test (SUT) allows concurrent streams of use. Modeling concurrent streams leads to a state space explosion and therefore is an error-prone task. Relevant usage scenarios may not be tested as they are overlooked during the specification of the model.In this paper we show how composite states with regions can be used to formalize concurrent streams in usage models. This allows a simplified and reasonable specification of usage models as it hides the state space explosion. We further elaborate on the required steps for an automatic and configurable test case generation from such models. We also provide a suitable analysis method taking advantage of the model structure for computing relevant parameters to guide the test process.

show abstract

“…A DDSPN, or usage net [2], reflects all possible uses of the SUT. Any state space explosion resulting from concurrent streams of use is hidden in a DDSPN.…”

Section: Related Workmentioning

confidence: 99%

Concurrent streams in Markov chain usage models for statistical testing of complex systems

Homm

Eckert

German

2015

Proceedings of the 30th Annual ACM Symposium on Applied Computing

View full text Add to dashboard Cite

show abstract

“…Recent studies of Bohr [11], [14] take the timing behavior and concurrency into account for model-based statistical testing of embedded systems. Petri nets are used for specifying SUT models [14] and oracles are automatically generated to enforce timing requirements [11].…”

Section: Related Workmentioning

confidence: 99%

“…Petri nets are used for specifying SUT models [14] and oracles are automatically generated to enforce timing requirements [11]. The generated test cases reflect the timed and concurrent nature of inputs for SUT.…”

Section: Related Workmentioning

confidence: 99%

Combining model-based and risk-based testing for effective test case generation

Gebizli¹,

Metin²,

Sözer

2015

2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)

View full text Add to dashboard Cite

Due to copyright restrictions, the access to the full text of this article is only available via subscription.Model-based testing employs models of the system under test to automatically generate test cases. In this paper, we propose an iterative approach, in which these models are refined based on the principles of risk-based testing. We use Markov Chains as system models, in which transitions among system states are annotated with probabilities. Initially, these probability values are equal and as such, states have equal chances for being visited by the generated test cases. Memory leaks are monitored during the execution of these test cases. Then, transition probabilities are updated based on the risk that a failure can occur due to the observed memory leaks. We applied our approach in the context of an industrial case study for model-based testing of a Smart TV system. We observed promising results, in which several crash failures were detected after an iteration of model refinement. We aim at automating the whole process based on an adaptation model using the history of recorded memory leaks during previous test executions

show abstract

“…This model (an automaton labeled with probabilities [16]) can be traversed to generate realistic SUT inputs. Recent extensions of MBST [17] targets embedded systems by taking time and concurrency into account via the use of Petri-nets. Test input generation is not the primary objective when setting-up a faithful usage model, and can only generate a finite set of Boolean signals.…”

Section: Related Workmentioning

confidence: 99%

Engineering functional requirements of reactive systems using synchronous languages

Jahier

Halbwachs

Raymond

2013

2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES)

View full text Add to dashboard Cite

Abstract-Automating the functional testing of reactive systems requires to provide a formal specification of the system environment which defines the admissible test inputs. It also requires a specification of the expected properties of the system in order to decide whether a test succeeds or fails. Engineering these formal specifications is a difficult task, as it is not part of the usual manual testing process. In this paper, we report some experiments that have been conducted within a project in collaboration with industrial developers of nuclear power plant control systems. In this project, automatic testing tools have been used for checking the correctness of reactive systems developed incrementally, using heterogeneous industrial engineering workbenches. But these tools appeared to be useful also for elaborating and refining formal, consistent, and accurate functional requirements.

show abstract

Model Based Statistical Testing of Embedded Systems

Cited by 18 publications

References 6 publications

Concurrent streams in Markov chain usage models for statistical testing of complex systems

Concurrent streams in Markov chain usage models for statistical testing of complex systems

Combining model-based and risk-based testing for effective test case generation

Engineering functional requirements of reactive systems using synchronous languages

Contact Info

Product

Resources

About