PROBABLE CORRECTNESS THEORY

被引：25

作者：

HAMLET, RG

机构：

[1] Oregon Graduate Cent, Beaverton, OR,, USA, Oregon Graduate Cent, Beaverton, OR, USA

来源：

INFORMATION PROCESSING LETTERS | 1987年 / 25卷 / 01期

关键词：

COMPUTER PROGRAMMING - Program Debugging;

D O I：

10.1016/0020-0190(87)90088-3

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

A theory of 'probable correctness' is proposed to assess the reliability of software through testing. Current research in testing is not adequate for this assessment. Most testing methods are intended for debugging, to find failures and connect them to program faults for repair. When these methods no longer expose errors, no analysis has been done to find the confidence that may be placed in the software. Other work applies conventional decision theory to inputs as samples of a program's use. The application is suspect because the necessary independence and distribution assumptions may be violated; in any case, the results are intuitively incorrect. The proposed theory relies on a uniform distribution of test samples, but relates these to textually occurring faults. Preliminary results include an analysis of partition testing, and suggestions for textual sampling.

引用

页码：17 / 25

页数：9

共 10 条

[1] BUDD T, 1982, TR8214 U AR DEP COMP
[2] AN EVALUATION OF RANDOM TESTING
DURAN, JW
NTAFOS, SC
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1984, 10 (04) : 438 - 444
[3] Floyd Robert W., 1967, P S APPL MATH, V19, P19, DOI DOI 10.1090/PSAPM/019/0235771
[4] Gerhart S. L., 1976, IEEE Transactions on Software Engineering, VSE-2, DOI 10.1109/TSE.1976.233815
[5] GERHART SL, 1984, 7TH P INT C SOFTW EN, P441
[6] MILLS H, 1987, PRINCIPLES COMPUTER
[7] MORELL LJ, 1984, TR1395 U MAR DEP COM
[8] Richardson D. J., 1981, 5th International Conference on Software Engineering, P244
[9] Shooman M. L., 1983, SOFTWARE ENG DESIGN
[10] A THEORY OF THE LEARNABLE
VALIANT, LG
[J]. COMMUNICATIONS OF THE ACM, 1984, 27 (11) : 1134 - 1142

← 1 →