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 条
  • [21] SOFTWARE QUALITY ASSURANCE - TESTING AND VALIDATION
    GOODENOUGH, JB
    MCGOWAN, CL
    [J]. PROCEEDINGS OF THE IEEE, 1980, 68 (09) : 1093 - 1098
  • [22] VALIDATION, VERIFICATION, AND TESTING OF COMPUTER SOFTWARE
    ADRION, WR
    BRANSTAD, MA
    CHERNIAVSKY, JC
    [J]. COMPUTING SURVEYS, 1982, 14 (02) : 159 - 192
  • [23] Software Testing and Information Theory
    Dave, Meenu
    Agrawal, Rashmi
    [J]. SMART TRENDS IN INFORMATION TECHNOLOGY AND COMPUTER COMMUNICATIONS, SMARTCOM 2016, 2016, 628 : 323 - 330
  • [24] Theory and practice in software engineering
    Phoha, VV
    [J]. COMMUNICATIONS OF THE ACM, 1997, 40 (03) : 28 - 28
  • [25] Software engineering theory in practice
    Rost, J
    [J]. IEEE SOFTWARE, 2005, 22 (02) : 96 - +
  • [26] THEORY AND PRACTICE OF SOFTWARE FACTORIES
    Lavrischeva, K. I.
    [J]. CYBERNETICS AND SYSTEMS ANALYSIS, 2011, 47 (06) : 961 - 972
  • [27] Software architecture theory and practice
    Tarullo, Michael
    [J]. CrossTalk, 2011, 24 (06): : 11 - 15
  • [28] Software Citation in Theory and Practice
    Katz, Daniel S.
    Hong, Neil P. Chue
    [J]. MATHEMATICAL SOFTWARE - ICMS 2018, 2018, 10931 : 289 - 296
  • [29] Innovation and Practice of the Course of Software Testing
    Chen, Y. F.
    Wang, J.
    Peng, Y. Q.
    Peng, L. X.
    [J]. PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY AND MANAGEMENT SCIENCE (ITMS 2015), 2015, 34 : 1326 - 1329
  • [30] The Role of Experience in Software Testing Practice
    Beer, Armin
    Ramler, Rudolf
    [J]. PROCEEDINGS OF THE 34TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS, 2008, : 258 - +
12345