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 条
  • [1] A specification-based fitness function for evolutionary testing of object-oriented programs
    Cheon, Ybonsik
    Kim, Myoung
    [J]. GECCO 2006: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2, 2006, : 1953 - +
  • [2] Specification-based testing of interactive systems
    MacColl, I
    [J]. HUMAN-COMPUTER INTERACTION - INTERACT '97, 1997, : 640 - 643
  • [3] An approach to specification-based testing systems
    Zin, AM
    AlAmayreh, A
    Foxley, E
    [J]. SOFTWARE QUALITY ENGINEERING, 1997, : 267 - 276
  • [4] A model of specification-based testing of interactive systems
    MacColl, I
    Carrington, D
    [J]. FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1862 - 1862
  • [5] APPROACHES TO SPECIFICATION-BASED TESTING
    RICHARDSON, DJ
    OMALLEY, O
    TITTLE, C
    [J]. PROCEEDINGS OF THE ACM SIGSOFT 89: THIRD SYMPOSIUM ON SOFTWARE TESTING, ANALYSIS, AND VERIFICATION ( TAV 3 ), 1989, 14 : 86 - 96
  • [6] A framework for specification-based testing
    Stocks, P
    Carrington, D
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1996, 22 (11) : 777 - 793
  • [7] Specification-based testing for refinement
    Kahsai, Temesghen
    Roggenbach, Markus
    Schlingloff, Bernd-Holger
    [J]. SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2007, : 237 - +
  • [8] SIT-SE: A Specification-Based Incremental Testing Method With Symbolic Execution
    Wang, Rong
    Liu, Shaoying
    Sato, Yuji
    [J]. IEEE TRANSACTIONS ON RELIABILITY, 2021, 70 (03) : 1053 - 1070
  • [9] Towards specification-based web testing
    Chen, J
    Chovanec, S
    [J]. WEB ENGINEERING AND PEER TO PEER COMPUTING, 2002, 2376 : 165 - 171
  • [10] Specification-based testing of real-time embedded systems
    Núñez, M
    Rodríguez, I
    [J]. From Specification to Embedded Systems Application, 2005, 184 : 115 - 124
12345