ADA COMPILER VALIDATION - AN EXAMPLE OF SOFTWARE TESTING THEORY AND PRACTICE

被引：0

|

作者：

GOODENOUGH, JB

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1987年 / 275卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：195 / 232

页数：38

相关论文

共 50 条

[1] THE ADA COMPILER VALIDATION CAPABILITY
GOODENOUGH, JB
[J]. COMPUTER, 1981, 14 (06) : 57 - 64
[2] CHOOSE ADA COMPILER CAREFULLY FOR SIMULATOR SOFTWARE
NAROTAM, M
LAYTON, C
SLISH, J
[J]. EDN, 1987, 32 (17) : 133 - &
[3] Ada 95 compiler achieves full validation
Quinnell, RA
[J]. EDN, 1997, 42 (01) : 22 - 22
[4] Design and implementation of integrated environment of ada compiler validation
Huang, YM
Cai, JP
Li, DH
[J]. NEW TECHNOLOGIES ON COMPUTER SOFTWARE, 1997, : 88 - 93
[5] DESIGNING AND TESTING INTERFACES FOR PORTABLE SOFTWARE - ADA TEXT-IO AS AN EXAMPLE
GOODENOUGH, JB
PROBERT, TH
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1984, 180 : 104 - 114
[6] Software testing & diagnostics:: Theory & practice
Marík, V
Král, L
Marík, R
[J]. SOFSEM 2000: THEORY AND PRACTICE OF INFORMATICS, 2000, 1963 : 88 - 114
[7] Software testing: From theory to practice
Offutt, AJ
[J]. COMPASS '97 - ARE WE MAKING PROGRESS TOWARDS COMPUTER ASSURANCE?, 1997, : 48 - 51
[8] Software testing: From theory to practice
Offutt, AJ
[J]. IEEE AEROSPACE AND ELECTRONIC SYSTEMS MAGAZINE, 1998, 13 (03) : 3 - 6
[9] SOME SOFTWARE TOOLS USED IN THE DEVELOPMENT OF THE PROTOTYPE YORK ADA COMPILER
RUNCIMAN, C
[J]. SOFTWARE ENGINEERING JOURNAL, 1987, 2 (04): : 140 - 144
[10] SOFTWARE ENGINEERING PRACTICE IN AN UNDERGRADUATE COMPILER COURSE
LIU, H
[J]. IEEE TRANSACTIONS ON EDUCATION, 1993, 36 (01) : 104 - 108

← 1 2 3 4 5 →