微信服务号

微信订阅号

2025-5-16- 21
Home > Archive>Volume 7, Issue 12, 1996 >743-751
PDF HTML XML Export Cite reminder
THE TWENTY YEARS FOR THE THEORY OF TEST DATA SELECTION
Author:
Affiliation:

  • Article
    • | |
  • Metrics
    • |
  • Reference [1]
    • |
  • Related [20]
    • |
  • Cited by
    • | |
  • Comments
    Abstract:

    It divides the twenty years of the theory of test data selection into three periods formation period, development period, perfectness period, gives representive research results and characters of each period, and discusses the application of the theory in software engineering.

    Reference
    1 Goodenough J B，Gerhart S L．Toward a theory of test data selection. IEEE Trans. Software Eng., 1975，1(2)：156～173． 2 Weyuker E J, Ostrand T J．Theories of proper testing and the application of revealing subdomains. IEEE Trans,Software Eng., 1980，6(5)：236～246． 3 Howden W E. Reliability of the path analysis testing strategy．IEEE Trans. Software Eng．，1976，2(2)：208～215． 4 Howden W E．Symbolic testing and the DISSECT symbolic evaluation system．IEEE Trans. Software Eng., 1977，3(4)：266～278. 5 Howden W E. Functional program testing．IEEE Trans．Software Eng．，1980，6(2)：162～169． 6 Gourlay J S. A mathematical framework for the investigation of testing. IEEE Trans. Software Eng., 1983，9(5)：886～709. 7 Htowden W E. A functional approach to program testing and Analysis．IEEE Trans．Software Eng., 1986，12(10)：997～1005. 8 Howden W E．Functional programming testing and analysis. New York：McGraw-Hill, 1987. 9 Weyuker E J. The complexity of data flow criteria for test data selection．Information Processing Letters，1984，19(8)：103～109． 10 Rapps S, Weyuker E J．Selecting software test data using data flow information．IEEE Trans．Software Engineering，1985，11(4)：367～375． 11 Ntafos S C. On required element testing．IEEE Trans．Software Eng．，1984，10(6)：795～803． 12 Ntafos S C. A comparison of some structural testing strategies．IEEE Trans．Software Eng., 1988，14(6):868～874. 13 Laski J W，Korel B．A data flow oriented program testing strategy. IEEE Trans．Software Eng．，1983，9(3)：347～354. 14 Clarke L，Podgurski A，Richardson D J et al．A formal evaluation of data flow path selection criteria．IEEE Trans. Software Eng.，1989，15(11)：1319～1331. 15 Weyuker E J. Axiomatizing software test data adequacy．IEEE Trans．Software Eng．，1986，12(12)：1128～1138． 16 Parrish A，Zweben S．An analysis and refinement of software test data adequaey properties．IEEE Trans. Software Eng．，1991，17(6)：561～581. 17 Frankl P G，Weyuker E J．A formal analysis of the fault detecting ability of testing methods. IEEE Trans. Software Eng．，1993，19(3)：202～213． 18 Frankl P G, Weiss S N. An experimental comparison of the effectiveness of branch testing and data flow testing．IEEE Trans．Software Eng．，1993，19(8)：775～787． 19 Frankl P G，Weyuker E J．Provable improvements on branch testing．IEEE Trans．Software Eng．，1993，19 (10)：962～975. 20 暴建民，黄仲伟，杨孝宗. 分布式容错计算机通讯系统的实现．小型微型计算机系统，1996，17(6)：59～63.
    Cited by
    Comments
    Comments
    分享到微博
    Submit
Get Citation

暴建民,杨孝宗,杨楠,王申科.测试数据选择理论20年.软件学报,1996,7(12):743-751

Copy
Share
Article Metrics
  • Abstract:3851
  • PDF: 5177
  • HTML: 0
  • Cited by: 0
History
  • Revised:June 20,1996
Links:Institute of Software, CASChina Computer FederationCASNSFC
You are the first2045019Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address：4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code：100190
Phone：010-62562563 Fax：010-62562533 Email：jos@iscas.ac.cn
Technical Support：Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063