Ada程序的验证测试  

作　　者：陆荣国 

出　　处：《航空电子技术》1994年第4期31-34,共4页Avionics Technology

摘　　要：本文简述了Ａｄａ程序验证的一些经验，着重讨论了静态代码审查和模块测试。

关 键 词：ADA程序 静态代码审查 模块测试 计算机 

分 类 号：TP317[自动化与计算机技术—计算机软件与理论]