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 条
  • [11] Specification-based testing of real-time embedded systems
    Núñez, M
    Rodríguez, I
    From Specification to Embedded Systems Application, 2005, 184 : 115 - 124
  • [12] Specification-based testing of user interfaces
    Paiva, Ana C. R.
    Faria, João C. P.
    Vidal, Raul F. A. M.
    Lect. Notes Comput. Sci., (139-153):
  • [13] Editorial: Specification-based testing revisited?
    White, LJ
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2001, 11 (01): : 1 - 2
  • [14] Specification-based testing for real-time reactive systems
    Alagar, VS
    Ormandjieva, O
    Zheng, M
    TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS - TOOLS 34, PROCEEDINGS, 2000, : 25 - 36
  • [15] A framework for specification-based class testing
    Liu, L
    Miao, HK
    Zhan, X
    EIGHTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2002, : 153 - 162
  • [16] SPECIFICATION-BASED AUTOMATED GUI TESTING
    Andreou, Andreas S.
    Sofokleous, Anastasis
    Panayi, Charis
    ICEIS 2011: PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL 3, 2011, : 318 - 323
  • [17] SpecTest: Specification-Based Compiler Testing
    Schumi, Richard
    Sun, Jun
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING (FASE 2021), 2021, 12649 : 269 - 291
  • [18] Specification-based class testing with ClassBench
    Murray, L
    McDonald, J
    Strooper, P
    1998 ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 1998, : 164 - 173
  • [19] Specification-based testing of user interfaces
    Paiva, ACR
    Faria, JCP
    Vidal, RFAM
    INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, 2003, 2844 : 139 - 153
  • [20] Specification-based Testing for Software Product Lines
    Kahsai, Temesghen
    Roggenbach, Markus
    Schlingloff, Bernd-Holger
    SEFM 2008: SIXTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2008, : 149 - +
12345