ISSN:0960-0833    

DOI:10.1002/stvr.4370050102

出版商:John Wiley&Sons, Ltd    

年代:1995

数据来源: WILEY

摘要:

AbstractFault‐based testing attempts to show that particular faults cannot exist in software by using test sets that differentiate between the original program (hypothesized to be correct) and faulty alternate programs. The success of this approach depends on a number of assumptions, notably that programmers are competent insofar as they only commit relatively trivial faults, and that faults only couple infrequently. Fault coupling occurs when test sets are able to differentiate between the original program and faulty alternate programs when faults occur in isolation, but not when they occur in combination; it is a complicating factor in fault‐based testing. Fault coupling is studied here within the context of finite bijective functions. A complete mathematical solution of the problem is possible in this simplified case; the results indicate that fault coupling does indeed occur infrequently, and are thus in agreement with the empirical results obtained by others in the field. One surprising result is that certain kinds of test set are able to avoid fault coupling altoget

ISSN:0960-0833    

DOI:10.1002/stvr.4370050103

出版商:John Wiley&Sons, Ltd    

年代:1995

数据来源: WILEY

摘要:

AbstractOne class of program defects results from illegal sequences of otherwise legal operations in software implementations. Explicit statement of sequencing constraints, however, is not a common activity when specifying software even when using formal specification methods. This paper shows that constraints on program execution sequences can be derived directly from algebraic specifications. Results include heuristic methods for generating sequencing constraints and a generalization of these methods into automatable rules. The heuristics can be integrated into a specification methodology such as Larch. Engineers can use the generated sequencing constraints to detect sequencing defects in software even before dynamic testing begins. The method can be used to increase the reliability of software that is specified using algebraic methods.

ISSN:0960-0833    

DOI:10.1002/stvr.4370050104

出版商:John Wiley&Sons, Ltd    

年代:1995

数据来源: WILEY

ISSN:0960-0833    

DOI:10.1002/stvr.4370050105

出版商:John Wiley&Sons, Ltd    

年代:1995

数据来源: WILEY

ISSN:0960-0833    

DOI:10.1002/stvr.4370050106

出版商:John Wiley&Sons, Ltd    

年代:1995

数据来源: WILEY

ISSN:0960-0833    

DOI:10.1002/stvr.4370050101

出版商:John Wiley&Sons, Ltd    

年代:1995

数据来源: WILEY