ASTOOT approach to testing object-oriented programs

被引：42
|
作者：
Doong, Roong-Ko [1 ]
Frankl, Phyllis G. [1 ]
机构：
[1] Sun Microsystems Lab, Mountainview, United States
来源：
ACM Transactions on Software Engineering and Methodology | 1994年 / 3卷 / 02期
关键词：
Algebraic specification - Program testing - Symbolic execution - Test data generators;
D O I：
10.1145/192218.192221
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：101 / 130
相关论文
共 50 条
  • [1] An approach to integration testing of object-oriented programs
    Li, Zhe
    Maibaum, Tom
    USIC 2007: PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, 2007, : 268 - 273
  • [2] Towards a statistical approach to testing object-oriented programs
    ThevenodFosse, P
    Waeselynck, H
    TWENTY-SEVENTH ANNUAL INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING, DIGEST OF PAPERS, 1997, : 99 - 108
  • [3] On regression testing of object-oriented programs
    Kung, DC
    Gao, J
    Hsia, P
    Toyoshima, Y
    Chen, C
    JOURNAL OF SYSTEMS AND SOFTWARE, 1996, 32 (01) : 21 - 40
  • [4] A FRAMEWORK FOR TESTING OBJECT-ORIENTED PROGRAMS
    SMITH, MD
    ROBSON, DJ
    JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1992, 5 (03): : 45 - 53
  • [5] A testing assistant for object-oriented programs
    Alkadi, IS
    Carver, DL
    1998 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOL 4, 1998, : 149 - 158
  • [6] A reverse engineering approach for software testing of object-oriented programs
    Kung, D
    Hsia, P
    ASSET'99: 1999 IEEE SYMPOSIUM ON APPLICATION-SPECIFIC SYSTEMS AND SOFTWARE ENGINEERING & TECHNOLOGY - PROCEEDINGS, 1999, : 42 - 49
  • [7] Testing coupling relationships in object-oriented programs
    Alexander, Roger T.
    Offutt, Jeff
    Stefik, Andreas
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2010, 20 (04): : 291 - 327
  • [8] Integrated testing framework for object-oriented programs
    Auburn Univ, Auburn, United States
    Inf, 1 (135-145):
  • [9] Verification of object-oriented programs: A transformational approach
    Apt, Krzysztof R.
    de Boer, Frank S.
    Olderog, Ernst-Ruediger
    de Gouw, Stijn
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2012, 78 (03) : 823 - 852
  • [10] A data flow approach to testing object-oriented Java']Java-programs
    Oster, N
    Dorn, RD
    PROBABILISTIC SAFETY ASSESSMENT AND MANAGEMENT, VOL 1- 6, 2004, : 1114 - 1119
12345