ISSN:0960-0833    

DOI:10.1002/stvr.4370010201

出版商:John Wiley&Sons, Ltd    

年代:1991

数据来源: WILEY

ISSN:0960-0833    

DOI:10.1002/stvr.4370010202

出版商:John Wiley&Sons, Ltd    

年代:1991

数据来源: WILEY

摘要:

AbstractSoftware validation embodies two notions: fault removal and fault forecasting. Statistical testing involves exercising a piece of software by supplying it with input values that are randomly selected according to a defined probability distribution on its input domain. It can be used as a practical tool for revealing faults in a fault removal phase, and for assessing software dependability in a fault forecasting phase. In both of these, its efficiency is linked to the adequacy of the input probability distribution with respect to the test experiment goal. In this paper a mixed validation strategy combining deterministic and random test data is defined, and the theoretical and experimental work performed to support the strategy is reported. The quoted results relate to the unit testing of four real programs from the nuclear field. They confirm the high fault revealing power of statistical structural testing. Two main directions for further investigation of statistical testing are indicated by the reported work. These are described and solutions to the associated problems are outlined.

ISSN:0960-0833    

DOI:10.1002/stvr.4370010203

出版商:John Wiley&Sons, Ltd    

年代:1991

数据来源: WILEY

摘要:

AbstractThere are two distinct notions of validation for software measures. On the one hand there is the informal notion that a measure is only valid if it is useful and practical. Although this view of validation is important, it is almost impossible to test. On the other hand there is a formal notion of validation of measures and it is this view which is addressed here. By considering software measures in the context of measurement theory, and by considering a classification of software entities intoproducts, processesandresourcesthe paper describes what the authors believe are the necessary (but not sufficient) activities required for validation, and show how far this deviates from the ‘accepted’ view of validat

ISSN:0960-0833    

DOI:10.1002/stvr.4370010204

出版商:John Wiley&Sons, Ltd    

年代:1991

数据来源: WILEY

摘要:

AbstractManual testing was taking 38 man weeks for every release on every platform. With more hardware platforms coming onto the market and increasing commercial pressure to ship more products sooner, the ability to survive by manual testing alone came into question. Effort was expended on automating integration testing as a trial. The results were good but not as spectacular as had been hoped for. Nonetheless, automated system test was investigated whilst retaining the same test coverage achieved by manual testing. Many changes were made, and many problems encountered with the non‐technical problems having an unexpectedly large impact – some of them almost destroyed the attempt at automation. Test automation has been successful, although the benefits are only now becoming apparent. More products are being released in less time than had ever been achieved bef

ISSN:0960-0833    

DOI:10.1002/stvr.4370010205

出版商:John Wiley&Sons, Ltd    

年代:1991

数据来源: WILEY

ISSN:0960-0833    

DOI:10.1002/stvr.4370010206

出版商:John Wiley&Sons, Ltd    

年代:1991

数据来源: WILEY

ISSN:0960-0833    

DOI:10.1002/stvr.4370010207

出版商:John Wiley&Sons, Ltd    

年代:1991

数据来源: WILEY

ISSN:0960-0833    

DOI:10.1002/stvr.4370010208

出版商:John Wiley&Sons, Ltd    

年代:1991

数据来源: WILEY

ISSN:0960-0833    

DOI:10.1002/stvr.4370010209

出版商:John Wiley&Sons, Ltd    

年代:1991

数据来源: WILEY