THE CATEGORY-PARTITION METHOD FOR SPECIFYING AND GENERATING FUNCTIONAL TESTS

被引：361

作者：

OSTRAND, TJ

BALCER, MJ

机构：

来源：

关键词：

D O I：

10.1145/62959.62964

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：676 / 686

页数：11

共 10 条

[1]

ADRION WR, 1982, ACM COMPUT SURV, V14, P159, DOI DOI 10.1145/356876.356879

BERZINS, V ;

GRAY, M .

[3]

Bjorner D., 1982, FORMAL SPECIFICATION

[4]

ELMENDORF WR, 1974, P SHARE 43 NEW YORK, P567

[5]

Goodenough J. B., 1975, IEEE Transactions on Software Engineering, VSE-1, P156, DOI 10.1109/TSE.1975.6312836

[6]

HOWDEN WE, 1981, COMPUTER PROGRAM TES

[7]

HOWDEN WH, 1981, TUTORIAL PROGRAM TES

[8]

MYERS G, 1976, SOFTWARE RELIABILITY

[9]

Richardson D. J., 1981, 5th International Conference on Software Engineering, P244

WEYUKER, EJ ;

OSTRAND, TJ .