Communications software design for testability: specification transformations and testability measures

被引：3
|
作者：
Dssouli, R [1 ]
Karoui, K [1 ]
Saleh, K [1 ]
Cherkaoui, O [1 ]
机构：
[1] Univ Montreal, Fac Arts & Sci, Dept Informat & Rech Operat, Montreal, PQ H3C 3J7, Canada
来源：
INFORMATION AND SOFTWARE TECHNOLOGY | 1999年 / 41卷 / 11-12期
基金：
加拿大自然科学与工程研究理事会;
关键词：
communications software; design for testability; finite state machine; specification transformation; testability measure; testing;
D O I：
10.1016/S0950-5849(99)00033-6
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
To deal with the increased complexity related to the testing of communications software, we propose the integration and application of finite state machine based specification transformations and testability measures early in the communications software development process. Based on this integration, the testability of a given design is estimated and appropriate specification transformations are defined and applied iteratively to enhance the testability of the product implementation. (C) 1999 Elsevier Science B.V. All rights reserved.
引用
收藏
页码：729 / 743
页数：15
相关论文
共 50 条
  • [1] Specification transformations and design for testability
    Karoui, K
    Dssouli, R
    Cherkaoui, O
    [J]. IEEE GLOBECOM 1996 - CONFERENCE RECORD, VOLS 1-3: COMMUNICATIONS: THE KEY TO GLOBAL PROSPERITY, 1996, : 680 - 685
  • [2] AUTOMATIC DESIGN FOR TESTABILITY VIA TESTABILITY MEASURES
    CHEN, TH
    BREUER, MA
    [J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1985, 4 (01) : 3 - 11
  • [3] IMPROVING SOFTWARE TESTABILITY BY OBSERVABILITY AND CONTROLLABILITY MEASURES
    GUPTA, SC
    SINHA, MK
    [J]. INFORMATION PROCESSING '94, VOL I: TECHNOLOGY AND FOUNDATIONS, 1994, 51 : 147 - 154
  • [4] DESIGN FOR TESTABILITY IN EMBEDDED SOFTWARE PROJECTS
    Sahay, Gaurav
    [J]. 2011 IEEE/AIAA 30TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2011,
  • [5] Design for testability of communication protocols based on SDL specification
    Karoui, K
    Dssouli, R
    Yevtushenko, N
    [J]. SDL '97 - TIME FOR TESTING: SDL, MSC AND TRENDS, 1997, : 151 - 164
  • [6] Testability preserving and enhancing transformations for robust delay fault testability
    Karkare, A
    Singla, M
    Jain, A
    [J]. ELEVENTH INTERNATIONAL CONFERENCE ON VLSI DESIGN, PROCEEDINGS, 1997, : 370 - 373
  • [7] A survey on software testability
    Garousi, Vahid
    Felderer, Michael
    Kilicaslan, Feyza Nur
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2019, 108 : 35 - 64
  • [8] Design for testability in hardware-software systems
    Vranken, HPE
    Witteman, MF
    vanWuijtswinkel, RC
    [J]. IEEE DESIGN & TEST OF COMPUTERS, 1996, 13 (03): : 79 - 87
  • [9] DESIGN FOR TESTABILITY
    WRITER, PL
    [J]. IEEE TRANSACTIONS ON AEROSPACE AND ELECTRONIC SYSTEMS, 1976, 12 (02) : 304 - 304
  • [10] TESTABILITY OF SOFTWARE COMPONENTS
    FREEDMAN, RS
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1991, 17 (06) : 553 - 564
12345