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 条

[1] Study of dynamic testing techniques for Ada software
Xu, Hong
Qian, Hongbing
Chen, Xi
[J]. Beijing Hangkong Hangtian Daxue Xuebao/Journal of Beijing University of Aeronautics and Astronautics, 1997, 23 (01): : 18 - 24
[2] Exceptions in Ada 95
[J]. Ada User Journal, 1995, 16 (04):
[3] Unions for Ada 95
Holzmuller, B
Plodereder, E
[J]. RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE '97, 1997, 1251 : 1 - 12
[4] Ada 95 classes
Blaak, R
[J]. DR DOBBS JOURNAL, 1996, 21 (02): : 10 - 10
[5] ADA-95
PUKITE, P
[J]. DR DOBBS JOURNAL, 1995, 20 (07): : 10 - 10
[6] Preelaboration in ada 95
Tokar, Joyce
Birus, Timothy
[J]. Electronic Design, 1998, 46 (05):
[7] Preelaboration in Ada 95
Tokar, J
Birus, T
[J]. ELECTRONIC DESIGN, 1996, 44 (06) : 130 - &
[8] System of translating Ada 83 to Ada 95
Zheng, Qi
Fan, Zhong-Feng
Liu, Jian
[J]. Xi'an Dianzi Keji Daxue Xuebao/Journal of Xidian University, 2001, 28 (05): : 616 - 620
[9] Using object-oriented techniques to develop an Ada 95 Reuse Library
Yu, Huiming
[J]. Ada user, 1998, 19 (01): : 43 - 56
[10] Ada 95 predefined environment
John Barnes Informatics, Reading, United Kingdom
[J]. Ada user, 1995, 16 (04): : 215 - 219

← 1 2 3 4 5 →