Ａｄａ软件质量保证系统问世 [复制链接]

第3版(教育·科技·文化)
专栏：

　　Ａｄａ软件质量保证系统问世
本报讯 Ａｄａ软件质量保证系统日前在京通过鉴定。由北京航空航天大学软件工程研究所为期近９年研制成功的Ａｄａ软件质量保证系统包括一组对Ａｄａ软件进行分析、测试和调试的自动或半自动化工具和一个总控模块、公共测试库以及相应的库管理程序。这一系统可为提高Ａｄａ软年的开发效率，特别是为提高软件可靠性和质量提供支持。（张何平）