Add to ORKGIn the article technology of creation of test data sets with the help of use of automatic models are considered. The obtained programs allows to automate searching of the monitoring events and to generate tests that enable to increase efficiency of tests, to reduce input of certification and to raises reliability of her results
Práce se zabývá výzkumem v oblasti generování automatizovaných funkcionálních testů. Využívá graf př...
ílem této diplomové práce je navrhnout a implementovat nástroj pro automatické generování cest ze zd...
In the work a description of an automata model of standard algorithm for constructing a correct solu...
In the article technology of creation of test data sets with the help of use of automatic models are...
In the article the questions of automation of creation of test data sets (TND). For this proposed th...
Automated test design is an approach to test design in which automata are utilized for generating te...
In this paper we introduce a new automata based test generation algorithm implemented in SPECPRO, ou...
In this contribution, we compare and analyze different methodologies of modeling for test generation...
Thorough testing of software is necessary to assure the quality of a product before it is released. ...
Maģistra darbā ir apskatīti dažādi rīki un to pieejas testpiemēru ģenerēšanai ar ieejas datu kopu. D...
The subject of this master thesis are state machines and their testing. To this purpose, an applicat...
The aim of this bachelor's thesis is to create an overview of the current state of tools that allow ...
Aquest projecte té com a objectiu millorar el procés d'automatització de proves a través d'una soluc...
Testing is the dominant verification technique used in the software industry today. The use of autom...
AbstractWe propose an integrated framework to test and monitor code generated from hybrid models for...
Práce se zabývá výzkumem v oblasti generování automatizovaných funkcionálních testů. Využívá graf př...
ílem této diplomové práce je navrhnout a implementovat nástroj pro automatické generování cest ze zd...
In the work a description of an automata model of standard algorithm for constructing a correct solu...
In the article technology of creation of test data sets with the help of use of automatic models are...
In the article the questions of automation of creation of test data sets (TND). For this proposed th...
Automated test design is an approach to test design in which automata are utilized for generating te...
In this paper we introduce a new automata based test generation algorithm implemented in SPECPRO, ou...
In this contribution, we compare and analyze different methodologies of modeling for test generation...
Thorough testing of software is necessary to assure the quality of a product before it is released. ...
Maģistra darbā ir apskatīti dažādi rīki un to pieejas testpiemēru ģenerēšanai ar ieejas datu kopu. D...
The subject of this master thesis are state machines and their testing. To this purpose, an applicat...
The aim of this bachelor's thesis is to create an overview of the current state of tools that allow ...
Aquest projecte té com a objectiu millorar el procés d'automatització de proves a través d'una soluc...
Testing is the dominant verification technique used in the software industry today. The use of autom...
AbstractWe propose an integrated framework to test and monitor code generated from hybrid models for...
Práce se zabývá výzkumem v oblasti generování automatizovaných funkcionálních testů. Využívá graf př...
ílem této diplomové práce je navrhnout a implementovat nástroj pro automatické generování cest ze zd...
In the work a description of an automata model of standard algorithm for constructing a correct solu...