Techniques for testing Ada 95

被引：0
|
作者：
Waterman, SR [1 ]
机构：
[1] IPL, Bath BA1 5LR, Avon, England
来源：
RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE '97 | 1997年 / 1251卷
关键词：
Ada; 95; testing; controlled types; protected objects; hierarchical libraries;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The Ada language is widely accepted as the language of choice for the implementation of safety related systems, and as a result much effort has been put into the identification of successful techniques for its testing. In this paper we discuss the impact of the new Ada standard upon the testability of safety related systems, and describe techniques which can be utilised to improve the likelihood of achieving testing success.
引用
收藏
页码：278 / 291
页数：14
相关论文
共 50 条
  • [31] ISO PUBLISHES ADA-95 STANDARD
    SIMS, D
    [J]. IEEE SOFTWARE, 1995, 12 (02) : 105 - 107
  • [32] Tasking deadlock detector for Ada 95 programs
    Nonaka, Yusuke
    Cheng, Jingde
    Ushijima, Kazuo
    [J]. Ada user, 1999, 20 (01): : 79 - 92
  • [33] Ada 95 compiler achieves full validation
    Quinnell, RA
    [J]. EDN, 1997, 42 (01) : 22 - 22
  • [34] Ada 95 as implementation vehicle for formal specifications
    Brink, E
    vanKatwijk, J
    Toetenel, WJ
    [J]. THIRD INTERNATIONAL WORKSHOP ON REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 1996, : 98 - 105
  • [35] HOOD4 and Ada95
    Dissaux, P
    [J]. DASIA 99: DATA SYSTEMS IN AEROSPACE, 1999, 447 : 275 - 279
  • [36] TESTING DISTRIBUTED ADA PROGRAMS
    DOWLING, EJ
    [J]. TRI-ADA 89 : INDUSTRY, ACADEMIA, GOVERNMENT: ADA TECHNOLOGY IN CONTEXT : APPLICATION, DEVELOPMENT, AND DEPLOYMENT, 1989, : 517 - 527
  • [37] Openada: Compile-time reflection for ada 95
    Rogers, Patrick
    Wellings, Andy J.
    [J]. Lect. Notes Comput. Sci., (166-177):
  • [38] Charles: A data structure library for Ada95
    Heaney, M
    [J]. RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2003, 2003, 2655 : 271 - 282
  • [39] Comments on several syntax rules in Ada95
    Xu, BW
    [J]. ACM SIGPLAN NOTICES, 1998, 33 (02) : 65 - 67
  • [40] Static dependency analysis for concurrent Ada 95 programs
    Chen, ZQ
    Xu, BW
    Zhao, JJ
    Yang, HJ
    [J]. RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2002, 2002, 2361 : 219 - 230
12345