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 条
  • [21] Programming replicated systems in Ada 95
    Wellings, AJ
    Burns, A
    [J]. COMPUTER JOURNAL, 1996, 39 (05): : 361 - 373
  • [22] Priority inheritance protocol in Ada 95
    AbuRas, J
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1996, 38 (02) : 121 - 125
  • [23] Ada 95 for a distributed simulation system
    Hagenauer, H
    Pohlmann, W
    [J]. RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE, 1998, 1411 : 140 - 150
  • [24] Ada 95: getting the bugs out
    [J]. Def Electron, 5 (20-23):
  • [25] Teaching software engineering with Ada 95
    Simon, D
    Vogel, G
    Plödereder, E
    [J]. RELIABLE SOFTWARE TECHNOLOGY ADA-EUROPE 2005, PROCEEDINGS, 2005, 3555 : 115 - 128
  • [26] Implementing atomic actions in Ada 95
    Wellings, A
    Burns, A
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1997, 23 (02) : 107 - 123
  • [27] Distributed atomic actions in Ada 95
    Mitchell, SE
    Wellings, AJ
    Romanovsky, A
    [J]. COMPUTER JOURNAL, 1998, 41 (07): : 486 - 502
  • [28] ADA-508 compliance and usability testing techniques for accessible web pages
    Reece, GA
    [J]. STC'S 49TH ANNUAL CONFERENCE, PROCEEDINGS: LEADING THE TECHNICAL COMMUNICATION REVOLUTION, 2002, : 209 - 210
  • [29] Implementing constructor calls with parameters in Ada 95
    Bayram, Z
    [J]. JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1998, 11 (02): : 43 - 46
  • [30] An Ada 95 sort race construction set
    Feldman, MB
    [J]. RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE '97, 1997, 1251 : 23 - 34
12345