Simulation models are used for performance optimization and validation of embedded systems. However, these models are usually not validated in a structural, formal, way. This paper describes a method for testing a ¿-model using the model-based test-tool TorX. The method is explained by using a simple example. After that, we describe the results of a case study performed on a simulation model of an industrial system
The interaction between various steps during the development of embedded systems is currently low. T...
In software development, testers often focus on functional testing to validate implemented programs ...
This chapter reports the results of a cycle computer case study and a previously conducted industria...
Simulation models are used for performance optimization and validation of embedded systems. However,...
Systematic testing is very important for assessing and improving the quality of software systems. Ye...
Abstract — In this paper we introduce the development of a framework for testing safety-critical emb...
In industrial control, system failures can be highly dan-gerous and expensive. To avoid them, much t...
Testing is one of the most important quality assurance techniques for software. Automating the test ...
This article reports the results of an industrial case study demonstrating the efficacy of a model-b...
Embedded systems are becoming increasingly common in our everyday lives. As technology progresses, t...
Model-based testing (MBT) is the process of generating test cases from specification models represen...
The work presented in this master's thesis is a part of the Artemis-MBAT project. MBAT will provide ...
Model-based testing (MBT) is the process of generating test cases from specification models represen...
Industrial automation systems are commonly obliged to comply with correctness requirements and safet...
One of the single most important reasons that modeling and modelbased testing are not yet common pra...
The interaction between various steps during the development of embedded systems is currently low. T...
In software development, testers often focus on functional testing to validate implemented programs ...
This chapter reports the results of a cycle computer case study and a previously conducted industria...
Simulation models are used for performance optimization and validation of embedded systems. However,...
Systematic testing is very important for assessing and improving the quality of software systems. Ye...
Abstract — In this paper we introduce the development of a framework for testing safety-critical emb...
In industrial control, system failures can be highly dan-gerous and expensive. To avoid them, much t...
Testing is one of the most important quality assurance techniques for software. Automating the test ...
This article reports the results of an industrial case study demonstrating the efficacy of a model-b...
Embedded systems are becoming increasingly common in our everyday lives. As technology progresses, t...
Model-based testing (MBT) is the process of generating test cases from specification models represen...
The work presented in this master's thesis is a part of the Artemis-MBAT project. MBAT will provide ...
Model-based testing (MBT) is the process of generating test cases from specification models represen...
Industrial automation systems are commonly obliged to comply with correctness requirements and safet...
One of the single most important reasons that modeling and modelbased testing are not yet common pra...
The interaction between various steps during the development of embedded systems is currently low. T...
In software development, testers often focus on functional testing to validate implemented programs ...
This chapter reports the results of a cycle computer case study and a previously conducted industria...
DOI
Add to ORKG