Topics
automationMusic genre
ERTMSAgent
The process of specification and execution of tests on the example of ERTMS/ETCS will be discussed in this contribution. The different phases of the test process and their degree of automation are analysed. Based on this analysis the process is differentiated into two parts, which are connected by the formal description of test and reference data. This formal description and the two parts form the approach for the automation of the test process as a whole. Finally, the formal description of the UNISIG Test Sequences is outlined here which gives an example for the approach and is used for evaluation of the approach
Real-time reactive systems are among the most difficult systems to design and implement because of t...
International audience—This extended abstract takes advantage of a theory of software testing based ...
Abstract: This article discusses the calculation of test-cases for interactive systems. A novel appr...
The process of specification and execution of tests on the example of ERTMS/ETCS will be discussed i...
The use of formal system specifications makes it possible to automate the derivation of test cases f...
We present an implemented technique for generating test cases from state machine specifications. The...
. In this paper we describe how formal specifications can be used to support the software testing p...
Automated test design is an approach to test design in which automata are utilized for generating te...
In this contribution, we compare and analyze different methodologies of modeling for test generation...
Model Based Testing (MBT) enables automatic generation of test cases using models to specify the sys...
In this paper we propose an approach to efficient automating test technology for industrial software...
Abstract. Testing remains the principal means of verification in many certification regimes. Formal ...
This thesis examines applying formal methods to software testing. Software testing is a critical pha...
Automatic test case generations in a potentially effective technique for program testing, but it sti...
deals with problems of software testing. Software can be tested either manually or automatically. Th...
Real-time reactive systems are among the most difficult systems to design and implement because of t...
International audience—This extended abstract takes advantage of a theory of software testing based ...
Abstract: This article discusses the calculation of test-cases for interactive systems. A novel appr...
The process of specification and execution of tests on the example of ERTMS/ETCS will be discussed i...
The use of formal system specifications makes it possible to automate the derivation of test cases f...
We present an implemented technique for generating test cases from state machine specifications. The...
. In this paper we describe how formal specifications can be used to support the software testing p...
Automated test design is an approach to test design in which automata are utilized for generating te...
In this contribution, we compare and analyze different methodologies of modeling for test generation...
Model Based Testing (MBT) enables automatic generation of test cases using models to specify the sys...
In this paper we propose an approach to efficient automating test technology for industrial software...
Abstract. Testing remains the principal means of verification in many certification regimes. Formal ...
This thesis examines applying formal methods to software testing. Software testing is a critical pha...
Automatic test case generations in a potentially effective technique for program testing, but it sti...
deals with problems of software testing. Software can be tested either manually or automatically. Th...
Real-time reactive systems are among the most difficult systems to design and implement because of t...
International audience—This extended abstract takes advantage of a theory of software testing based ...
Abstract: This article discusses the calculation of test-cases for interactive systems. A novel appr...
Add to ORKG