Object-oriented software testing and metric in Z specification

被引：2
|
作者：
Chung, CM
Shih, TK
Wang, CC
机构：
[1] Dept. of Comp. Sci. and Info. Eng., Tamkang University, Tamsui, Taipei Hsien
来源：
INFORMATION SCIENCES | 1997年 / 98卷 / 1-4期
关键词：
D O I：
10.1016/S0020-0255(96)00154-5
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Software testing and metrics are key issues to improve software quality. They are important issues in the research of software engineering. In line with the methodologies of object-oriented analysis and design widely developed, many testing and metrics techniques have been proposed. However, not many focus on the testing criteria and metrics evaluation of an inheritance hierarchy. In this paper, we introduce a concept named unit repeated inheritance (URI) in Z to realize object-oriented testing and object-oriented metrics. The approach describes an inheritance level technique (ILT) method as a guide to test and measure the software complexity of an inheritance hierarchy. The measurement of inheritance metrics and some testing criteria thus can be formed based on the proposed mechanism. (C) Elsevier Science Inc. 1997.
引用
收藏
页码：175 / 202
页数：28
相关论文
共 50 条
  • [31] Software/Hardware Engineering with the Parallel Object-Oriented Specification Language
    Theelen, B. D.
    Florescu, O.
    Geilen, M. C. W.
    Huang, J.
    van der Putten, P. H. A.
    Voeten, J. P. M.
    MEMOCODE'07: FIFTH ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2007, : 139 - +
  • [32] AN OBJECT-ORIENTED SPECIFICATION FOR COMPILER
    WU, PC
    WANG, FJ
    SIGPLAN NOTICES, 1992, 27 (01): : 85 - 94
  • [33] Testing of object-oriented software. Utilisation of the UML in testing
    Karki, Matti
    VTT Tiedotteita - Valtion Teknillinen Tutkimuskeskus, 2001, (2092): : 9 - 68
  • [34] Invalid Input Data and Conformity Testing for an Object-Oriented Specification
    Louzaoui, Khadija
    Benlhachmi, Khalid
    2016 INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY FOR ORGANIZATIONS DEVELOPMENT (IT4OD), 2016,
  • [35] An Integration Testing Coverage Tool for Object-Oriented Software
    Augsornsri, Pachawan
    Suwannasart, Taratip
    2014 INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND APPLICATIONS (ICISA), 2014,
  • [36] ARTOO: Adaptive Random Testing for Object-Oriented Software
    Ciupa, Ilinca
    Leitner, Andreas
    Oriol, Manuel
    Meyer, Bertrand
    ICSE'08 PROCEEDINGS OF THE THIRTIETH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2008, : 71 - 80
  • [37] BATOOM: A practical approach to testing object-oriented software
    Deng, Y
    He, ZT
    TOOLS 27: TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES, PROCEEDINGS, 1998, : 328 - 337
  • [38] Exploration and Application of Object-Oriented Software Testing Strategy
    Qiu, Jianhua
    Chen, Yanqiu
    FUZZY SYSTEMS, KNOWLEDGE DISCOVERY AND NATURAL COMPUTATION SYMPOSIUM (FSKDNC 2013), 2013, : 111 - 120
  • [39] DEVELOPING AN OBJECT-ORIENTED SOFTWARE TESTING AND MAINTENANCE ENVIRONMENT
    KUNG, D
    GAO, J
    HSIA, P
    TOYOSHIMA, Y
    CHEN, C
    KIM, YS
    SONG, YK
    COMMUNICATIONS OF THE ACM, 1995, 38 (10) : 75 - 87
  • [40] Search based software testing of object-oriented containers
    Arcuri, Andrea
    Yao, Xin
    INFORMATION SCIENCES, 2008, 178 (15) : 3075 - 3095
12345