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 条
  • [41] Specification-based testing with linear temporal logic
    Tan, L
    Sokolsky, O
    Lee, I
    PROCEEDINGS OF THE 2004 IEEE INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI-2004), 2004, : 493 - 498
  • [42] Specification-Based Testing of the Image-Recognition Performance of Automated Driving Systems
    Tanaka, Kento
    Aoki, Toshiaki
    Tomita, Takashi
    Kawakami, Daisuke
    Chida, Nobuo
    IEEE ACCESS, 2025, 13 : 6321 - 6349
  • [43] Specification-based verification and validation of web services and service-oriented operating systems
    Tsai, WT
    Chen, YN
    Paul, R
    WORDS 2005: 10TH IEEE INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE, PROCEEDINGS, 2005, : 139 - 147
  • [44] An extended fault class hierarchy for specification-based testing
    Lau, MF
    Yu, YT
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2005, 14 (03) : 247 - 276
  • [45] GRAPHICAL SPECIFICATION OF OBJECT ORIENTED SYSTEMS
    BEAR, S
    ALLEN, P
    COLEMAN, D
    HAYES, F
    SIGPLAN NOTICES, 1990, 25 (10): : 28 - 37
  • [46] The specification-based testing of a trusted kernel: MK++
    Ford, RL
    Simon, RT
    Bevier, WR
    Smith, LM
    FIRST IEEE INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1997, : 151 - 160
  • [47] Mutation Analysis of Specification-Based Contracts in Software Testing
    Khalilov, Abbas
    Tuglular, Tugkan
    Belli, Fevzi
    2021 15TH TURKISH NATIONAL SOFTWARE ENGINEERING SYMPOSIUM (UYMS), 2021, : 127 - 132
  • [48] Specification-based Testing of Synchronous Software Software Engineering
    Software Eng Notes, 6 (127):
  • [49] ADLscope: an automated specification-based unit testing tool
    Chang, J
    Richardson, DJ
    13TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 1998, : 289 - 292
  • [50] A Specification-Based Approach to the Testing of Java Memory Bloat
    Qian, Ju
    Zhou, Xiaoyu
    Dang, Wanchun
    Wang, Ziyuan
    Proceedings - 2016 IEEE International Conference on Software Quality, Reliability and Security, QRS 2016, 2016, : 347 - 352
12345