Add to ORKGIn the article the questions of automation of creation of test data sets (TND). For this proposed the technology of creation of programs of generation of TND, which is based on the construction of automata models. Received TND automate the detection of events of the control that gives you the opportunity to improve the efficiency of the test reduce the complexity of certification and increase the validity of its results
In this paper we introduce a new automata based test generation algorithm implemented in SPECPRO, ou...
Testing plays a very important role for assuring the quality of developed software. In a modern vehi...
Many tools can check if a test set provides control coverage; they are, however, of little or no hel...
In the article technology of creation of test data sets with the help of use of automatic models are...
Automated test design is an approach to test design in which automata are utilized for generating te...
In the work a description of an automata model of standard algorithm for constructing a correct solu...
A modern approach towards creation of automatized knowledge control systems by the example of the «T...
The subject of this master thesis are state machines and their testing. To this purpose, an applicat...
The paper is concerned with the production systems and objects with computer in control loop. The ai...
Thorough testing of software is necessary to assure the quality of a product before it is released. ...
The theoretical bases for analysis and synthesis of the automaton control systems have been created ...
In this contribution, we compare and analyze different methodologies of modeling for test generation...
Abstract: The article contains main theses of automata-based programming and discusses its advantage...
In the article the concept of creation of test data sets on the basis of use of automatic models are...
Aquest projecte té com a objectiu millorar el procés d'automatització de proves a través d'una soluc...
In this paper we introduce a new automata based test generation algorithm implemented in SPECPRO, ou...
Testing plays a very important role for assuring the quality of developed software. In a modern vehi...
Many tools can check if a test set provides control coverage; they are, however, of little or no hel...
In the article technology of creation of test data sets with the help of use of automatic models are...
Automated test design is an approach to test design in which automata are utilized for generating te...
In the work a description of an automata model of standard algorithm for constructing a correct solu...
A modern approach towards creation of automatized knowledge control systems by the example of the «T...
The subject of this master thesis are state machines and their testing. To this purpose, an applicat...
The paper is concerned with the production systems and objects with computer in control loop. The ai...
Thorough testing of software is necessary to assure the quality of a product before it is released. ...
The theoretical bases for analysis and synthesis of the automaton control systems have been created ...
In this contribution, we compare and analyze different methodologies of modeling for test generation...
Abstract: The article contains main theses of automata-based programming and discusses its advantage...
In the article the concept of creation of test data sets on the basis of use of automatic models are...
Aquest projecte té com a objectiu millorar el procés d'automatització de proves a través d'una soluc...
In this paper we introduce a new automata based test generation algorithm implemented in SPECPRO, ou...
Testing plays a very important role for assuring the quality of developed software. In a modern vehi...
Many tools can check if a test set provides control coverage; they are, however, of little or no hel...