Specification-based incremental testing of object oriented systems

被引：1
|
作者：
Soundarajan, N [1 ]
Tyler, B [1 ]
机构：
[1] Ohio State Univ, Columbus, OH 43210 USA
来源：
TOOLS 39: TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS, PROCEEDINGS: SOFTWARE TECHNOLOGY FOR THE AGE OF THE INTERNET | 2001年 / 39卷
关键词：
D O I：
10.1109/TOOLS.2001.941657
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Inheritance allows us to build OO systems incrementally. In order to exploit the full potential of inheritance, we also need to be able to test systems incrementally. We present a specification-based testing technique in which the specification and tests for a derived class are obtained incrementally from those of its base class.
引用
收藏
页码：35 / 44
页数：10
相关论文
共 50 条
  • [31] Specification-based logic coverage testing criteria
    Qian Z.-S.
    Miao H.-K.
    Ruan Jian Xue Bao/Journal of Software, 2010, 21 (07): : 1536 - 1549
  • [32] A specification-based approach to testing polymorphic attributes
    Liu, L
    Miao, HK
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 3308 : 306 - 319
  • [33] Specification-Based Testing in Software Engineering Courses
    Fisher, Gene
    Johnson, Corrigan
    SIGCSE'18: PROCEEDINGS OF THE 49TH ACM TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION, 2018, : 800 - 805
  • [34] Specification-based class testing: A case study
    MacColl, I
    Murray, L
    Strooper, P
    Carrington, D
    SECOND INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1998, : 222 - 231
  • [35] Parallel Specification-Based Testing for Concurrent Programs
    Minh Do, Canh
    Ogata, Kazuhiro
    IEEE Access, 2022, 10 : 24955 - 24975
  • [36] Thoroughness of specification-based testing of synchronous programs
    Parissis, I
    Vassy, M
    ISSRE 2003: 14TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS, 2003, : 191 - 200
  • [37] CHOC'LATE A Framework for Specification-based Testing
    Poon, Pak-Lok
    Tang, Sau-Fun
    Tse, T. H.
    Chen, T. Y.
    COMMUNICATIONS OF THE ACM, 2010, 53 (04) : 113 - 118
  • [38] Specification-based Testing for Gui-based Applications
    Jessica Chen
    Suganthan Subramaniam
    Software Quality Journal, 2002, 10 : 205 - 224
  • [39] Evaluation of three specification-based testing criteria
    Abdurazik, Aynur
    Ammann, Paul
    Ding, Wei
    Offutt, Jeff
    2000, IEEE, Piscataway, NJ, United States
  • [40] Evaluation of three specification-based testing criteria
    Abdurazik, A
    Ammann, P
    Ding, W
    Offutt, J
    SIXTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2000, : 179 - 187
12345