ISSN:0960-0833    

DOI:10.1002/stvr.4370010301

出版商:John Wiley&Sons, Ltd    

年代:1991

数据来源: WILEY

ISSN:0960-0833    

DOI:10.1002/stvr.4370010302

出版商:John Wiley&Sons, Ltd    

年代:1991

数据来源: WILEY

摘要:

AbstractAs code is executed correctly under test, confidence in the correctness of the code increases. In this context, an intuitive conceptual model of the process of software testing which draws upon experience gained with mutation analysis is presented. The model is used to explain how the testing of one path can influence confidence in other (possibly unexecuted) paths. It is also discussed in relation to software reliability and systematic structural testing, and is shown to be consistent with observations made during these forms of testing.

ISSN:0960-0833    

DOI:10.1002/stvr.4370010303

出版商:John Wiley&Sons, Ltd    

年代:1991

数据来源: WILEY

摘要:

AbstractSoftware testing tools have proliferated in recent years, and a number of tool classification schemes have been published. In order to provide common reference points for potential purchasers and tool vendors, to ease the comparison of tools with similar functionality, and to assist future research into tool‐supportable software testing, a new classification scheme for testing tools is proposed. The scheme uses six major categories:Test Management, Test Design, Non‐Execution Evaluation, Test Execution. Test Analysis, andTest Quality Evaluation. Other classification schemes are reviewed and compared with the new scheme, and predictions are made concerning future trends in the area of software testing tools. It is hoped that the proposed classification, which is founded on the combination of two current schemes, will provide a basis for discussions that will lead eventually to an international standardisation of tool descripti

ISSN:0960-0833    

DOI:10.1002/stvr.4370010304

出版商:John Wiley&Sons, Ltd    

年代:1991

数据来源: WILEY

摘要:

AbstractThe aim of this paper is to correct a misapprehension concerning mutation testing of relational operators in imperative programming languages. An apparently plausible, but fallacious argument is stated concerning the order in which mutants are best considered. Subsequently, a counter‐example is presented which disproves the argumen

ISSN:0960-0833    

DOI:10.1002/stvr.4370010305

出版商:John Wiley&Sons, Ltd    

年代:1991

数据来源: WILEY

ISSN:0960-0833    

DOI:10.1002/stvr.4370010306

出版商:John Wiley&Sons, Ltd    

年代:1991

数据来源: WILEY

ISSN:0960-0833    

DOI:10.1002/stvr.4370010307

出版商:John Wiley&Sons, Ltd    

年代:1991

数据来源: WILEY

ISSN:0960-0833    

DOI:10.1002/stvr.4370010308

出版商:John Wiley&Sons, Ltd    

年代:1991

数据来源: WILEY