作者：石礌; 游志胜; 周述虹; 程萃; 陈锐软件测试软件质量实时性时间约束规约测试环境编码需求保证评审
摘要：软件测试是保证软件质量的最重要的手段,它代表了规约、设计和编码的最终评审.空中交通管制系统除了满足功能上的需求外,还必须满足时间约束,所以要搭建特殊的测试环境,以保证其实时性要求.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《中国民航飞行学院学报》（CN：51-1589/U）是一本有较高学术价值的大型双月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《中国民航飞行学院学报》以飞行训练和航空安全为主的具有特色的综合性学术期刊，是中国民航飞行训练与航空安全权威的学术期刊。同时，也发表其他学科如计算机、电子技术、财经、工商管理、英语、法律、学生管理、教学研究等学科的学术论文。
杂志详情
