AbstractThree building blocks for test guidance algorithms, the step evaluation, the state evaluation and the evaluation order, are proposed in this paper. We show how a simple family of coverage criteria can be used to evaluate individual testing steps, and how the nondeterministic behaviour of the tested system can be handled and longer term test step plans created with the state evaluation. We use the evaluation order to de ne which and when states are evaluated. Six heuristic algorithms based on these ideas are implemented. Four of them use a game-like approach to black box testing. In addition, three other test guidance algorithms are implemented for comparison. The algorithms are compared by measuring the number of testing steps requi...
The increasing complexity of logic circuits has made the problem of test generation intractable. In ...
If we have a program for which neither code nor traces nor input samples nor input specifications ar...
In black-box testing, the tester creates a set of tests to exercise a system under test without re-g...
AbstractThree building blocks for test guidance algorithms, the step evaluation, the state evaluatio...
This thesis reports on the investigation of the effectiveness of software testing on embedded syste...
Software tests are fundamental in the reliability and quality of systems, contributing to their posi...
This report summarizes our research findings on the Black box testing of Runway Incursion Advisory A...
International audienceIn order to reduce the cost and provide rapid development, most of the modern ...
Software testing is the process of analyzing software to find the difference between required and ex...
Abstract. Black-box testing is a popular technique for assessing the quality of a system. However, i...
This thesis addresses the problem of backtracking strategies in test generation. First, a methodolog...
ABSTRACT Software testing is the process of analyzing software to find the difference between requi...
Black-box testing is very influential in finding flaws and errors in the software because it can ide...
In the era of Artificial Intelligence (AI), autonomous vehicles are increasingly taking space in eve...
There are several methods for automatic test case generation has been proposed in the past. But most...
The increasing complexity of logic circuits has made the problem of test generation intractable. In ...
If we have a program for which neither code nor traces nor input samples nor input specifications ar...
In black-box testing, the tester creates a set of tests to exercise a system under test without re-g...
AbstractThree building blocks for test guidance algorithms, the step evaluation, the state evaluatio...
This thesis reports on the investigation of the effectiveness of software testing on embedded syste...
Software tests are fundamental in the reliability and quality of systems, contributing to their posi...
This report summarizes our research findings on the Black box testing of Runway Incursion Advisory A...
International audienceIn order to reduce the cost and provide rapid development, most of the modern ...
Software testing is the process of analyzing software to find the difference between required and ex...
Abstract. Black-box testing is a popular technique for assessing the quality of a system. However, i...
This thesis addresses the problem of backtracking strategies in test generation. First, a methodolog...
ABSTRACT Software testing is the process of analyzing software to find the difference between requi...
Black-box testing is very influential in finding flaws and errors in the software because it can ide...
In the era of Artificial Intelligence (AI), autonomous vehicles are increasingly taking space in eve...
There are several methods for automatic test case generation has been proposed in the past. But most...
The increasing complexity of logic circuits has made the problem of test generation intractable. In ...
If we have a program for which neither code nor traces nor input samples nor input specifications ar...
In black-box testing, the tester creates a set of tests to exercise a system under test without re-g...