ISSN:0960-0833    

DOI:10.1002/stvr.4370040102

出版商:John Wiley&Sons, Ltd    

年代:1994

数据来源: WILEY

摘要:

AbstractSoftware engineers have tacitly assumed that there exists a link between coverage and reliability. An argument is presented which leads to an inverse logarithmic relationship which depends upon the structure of the software and on a parameter called the strength of the coverage metric. The relationship is developed by considering reliability as a function of an idealized coverage metric and then interpreting the result for a range of actual coverage metrics.

ISSN:0960-0833    

DOI:10.1002/stvr.4370040103

出版商:John Wiley&Sons, Ltd    

年代:1994

数据来源: WILEY

摘要:

AbstractEvaluation of the adequacy of a test set consisting of one or more test cases is a problem oftes encountered in software testing environments. Two test adequacy criiteria are considered, namely the data flow based all‐uses criterion and a mutation based criterion. An empirical study was conducted to compare the ‘difficulty’ of satisfying the two criteria and their costs. Similar studies conducted in the past are discussed in the light of this study. A discussion is also presented of how and why the results of this study, when viewed in conjunction with the results of earlier comparisons of testing methods, are useful to a software test

ISSN:0960-0833    

DOI:10.1002/stvr.4370040104

出版商:John Wiley&Sons, Ltd    

年代:1994

数据来源: WILEY

摘要:

AbstractA combination of three approaches is proposed here to validate the functional equivalence of re‐engineered programs. These are: control path comparison; data result comparison; and data flow comparison. Two of the three approaches are based on the theory of program slicing. The third approach is based on the theory of data invariance, i.e. the same input must produce the same output. Together, these techniques can provide a cost effective regression test environment for large scale re‐engineering proje

ISSN:0960-0833    

DOI:10.1002/stvr.4370040105

出版商:John Wiley&Sons, Ltd    

年代:1994

数据来源: WILEY

ISSN:0960-0833    

DOI:10.1002/stvr.4370040106

出版商:John Wiley&Sons, Ltd    

年代:1994

数据来源: WILEY

ISSN:0960-0833    

DOI:10.1002/stvr.4370040107

出版商:John Wiley&Sons, Ltd    

年代:1994

数据来源: WILEY

ISSN:0960-0833    

DOI:10.1002/stvr.4370040109

出版商:John Wiley&Sons, Ltd    

年代:1994

数据来源: WILEY

ISSN:0960-0833    

DOI:10.1002/stvr.4370040110

出版商:John Wiley&Sons, Ltd    

年代:1994

数据来源: WILEY

ISSN:0960-0833    

DOI:10.1002/stvr.4370040101

出版商:John Wiley&Sons, Ltd    

年代:1994

数据来源: WILEY