ATC系统测试方法研究与实现  

作　　者：石礌[1] 游志胜[1] 周述虹[1] 程萃[1] 陈锐[1] 

机构地区：[1]四川大学计算机学院

出　　处：《中国民航飞行学院学报》2004年第5期16-18,共3页Journal of Civil Aviation Flight University of China

摘　　要：软件测试是保证软件质量的最重要的手段,它代表了规约、设计和编码的最终评审。空中交通管制系统除了满足功能上的需求外,还必须满足时间约束,所以要搭建特殊的测试环境,以保证其实时性要求。

关 键 词：软件测试 软件质量 实时性 时间约束 规约 测试环境 编码 需求 保证 评审 

分 类 号：V355.1[航空宇航科学与技术—人机与环境工程]