ISSN:0960-0833    

DOI:10.1002/stvr.4370010102

出版商:John Wiley&Sons, Ltd    

年代:1991

数据来源: WILEY

摘要:

AbstractIt is argued that the goal in verification and validation is not correctness, but the detection of the occurrence of errors in the program construction process. Different methods, such as proofs and testing, should not be viewed as competing techniques, but as complementary methods used to detect different kinds of error. Proofs, for example, are appropriate for the detection of logical errors made during algorithm design, but are not appropriate for detecting detailed programming errors. Testing is useful for detecting other kinds of error. Mutation testing, for example, can be used to detect “typographical errors”, such as the use of the wrong arithmetic operator. Functional static analysis can be used to detect decomposition errors in which a programmer working on one part of a system makes a false assumption about the properties of objects that are established in some other part of the system. A brief summary of different methods is given, along with a description of the kind of error classes for which they are appropriate. An integrated approach to verification and validation is suggested in which, error classes are characterized, and methods, identified as being particularly appropriate for such classes, are combi

ISSN:0960-0833    

DOI:10.1002/stvr.4370010103

出版商:John Wiley&Sons, Ltd    

年代:1991

数据来源: WILEY

摘要:

AbstractThe debate between those who prefer formal methods and those who advocate the use of reliability‐growth models in the assessment of software reliability continues. Some issues arising from this conflict are raised and discussed, beginning with the definition of quantified software reliability. After arguing that the stochastic modelling approach is conceptually sound, its possible relationship with the structure of the software is discussed. Evidence that certain structural counts can be used in place of time as the argument in reliability growth models is reported. The question of the extent to which the many non‐stochastic metrics now available contribute to software reliability quantification is aired. A relationship between reliability and a hierarchy of coverage metrics is reported, which may help to draw together the modellers and the test

ISSN:0960-0833    

DOI:10.1002/stvr.4370010104

出版商:John Wiley&Sons, Ltd    

年代:1991

数据来源: WILEY

摘要:

AbstractThe paper considers some of the reasons advanced by commercial and industrial institutions in order to avoid using analysis and test tools. These insights serve to explain why so few tools are currently in use in such organisations. There is clearly a challenge for the testing community to meet, and this paper is a faltering step towards formulating the goals.

ISSN:0960-0833    

DOI:10.1002/stvr.4370010105

出版商:John Wiley&Sons, Ltd    

年代:1991

数据来源: WILEY

摘要:

AbstractSoftware has become a household necessity in today's world but little has been done to measure its reliability for the consumer. Since software failure has a different basis than hardware failure, existing reliability theory cannot be applied directly: a new software unique theory needs to be defined. Current software practice relies on software quality measures to describe software reliability but recent work has identified both theory and practice for appropriate software reliability analysis. This paper discusses: the need for software reliability analysis in order to more accurately describe system reliability, the shortcomings of current practice, and both the direction of new work in, and the future roles for, software reliability analysis.

ISSN:0960-0833    

DOI:10.1002/stvr.4370010106

出版商:John Wiley&Sons, Ltd    

年代:1991

数据来源: WILEY

摘要:

AbstractWeakest preconditions are used to formulate the requirements for a 2‐state memory cell and it is proved that the flip‐flop device meets these requirements. This is an exercise in the use of the weakest preconditions which is more realistic than the usual examples of non‐looping arithmetic algor

ISSN:0960-0833    

DOI:10.1002/stvr.4370010107

出版商:John Wiley&Sons, Ltd    

年代:1991

数据来源: WILEY

ISSN:0960-0833    

DOI:10.1002/stvr.4370010108

出版商:John Wiley&Sons, Ltd    

年代:1991

数据来源: WILEY

ISSN:0960-0833    

DOI:10.1002/stvr.4370010109

出版商:John Wiley&Sons, Ltd    

年代:1991

数据来源: WILEY

ISSN:0960-0833    

DOI:10.1002/stvr.4370010110

出版商:John Wiley&Sons, Ltd    

年代:1991

数据来源: WILEY

ISSN:0960-0833    

DOI:10.1002/stvr.4370010111

出版商:John Wiley&Sons, Ltd    

年代:1991

数据来源: WILEY