Results 211 to 220 of about 1,150,637 (268)

On test program compaction

2015 20th IEEE European Test Symposium (ETS), 2015
While compaction of binary test sequences for generic sequential circuits has been widely explored, the compaction of test programs for processor-based systems is still an open area of research. Test program compaction is practically important because there are several scenarios in which Software-based Self-Test (SBST) is adopted, and the size of the ...
GAUDESI, MARCO, SONZA REORDA, Matteo, Irith POMERANZ   +2 more
openaire   +2 more sources

Structural testing of programs

ACM SIGSOFT Software Engineering Notes, 1989
Program testing may be performed using either one of two approaches; structural or functional. This paper is concerned with the structural testing approach of programs. Given a listing of the program, the first step is to construct its flowgraph. The flowgraph usually contains a very large number of paths, owing to the program loops, so testing all the
A. A. Omar, F. A. Mohammed
openaire   +1 more source

Functional program testing

The IEEE Computer Society's Second International Computer Software and Applications Conference, 1978. COMPSAC '78., 1980
An approach to functional testing is described in which the design of a program is viewed as an integrated collection of functions. The selection of test data depends on the functions used in the design and on the value spaces over which the functions are defined.
openaire   +1 more source

An Approach to Program Testing

ACM Computing Surveys, 1975
One of the practical methods commonly used to detect the presence of errors in a computer program is to test it for a set of test cases. The probability of discovering errors through testing can be increased by selecting test cases in such a way that each and every branch in the flowchart will be traversed at least once during the test.
openaire   +2 more sources

Program Testing Complexity and Test Criteria

IEEE Transactions on Software Engineering, 1980
This paper explores the testing complexity of several classes of programs, where the testing complexity is measured in terms of the number of test data required for demonstrating program correctness by testing. It is shown that even for very restrictive classes of programs, none of the commonly used test criteria, namely, having every statement, branch,
openaire   +2 more sources

A language for testing programs

Proceedings of the 4th international conference conference on Computer systems and technologies e-Learning - CompSysTech '03, 2003
The development of the artificial intelligence techniques, the multimedia and Internet technologies increase the interest to new computer-based teaching and learning systems. This paper presents an internal declarative language implemented in a multimedia knowledge-testing system. The focus of the paper is on the environment architecture as well as the
openaire   +1 more source

Programs That Test Themselves

Computer, 2009
The AutoTest framework automates the software testing process by relying on programs that contain the instruments of their own verification, in the form of contract-oriented specifications of classes and their individual routines.
Bertrand Meyer 0001, Arno Fiva, Ilinca Ciupa, Andreas Leitner, Yi Wei 0001, Emmanuel Stapf   +5 more
openaire   +1 more source