ATC空管自动化系统分析与设计

采用开放式、分布式系统结构和软件模块化设计方法,设计并分析了空管自动化(ATC)系统。在多个机场的实际使用结果表明,该系统符合国内空中交通管制的需要, 可以进行扩充或精简,可以在IBMp系列服务器和PC机硬件平台上进行移植。     

CATS系统对测试用例的优化

软件测试是保证软件质量的最重要的手段。在给定测试成本的前提下,采用穷举法进行测试是不现实的。为了在减少测试投入的同时最大可能地满足测试的充分性,本文采用CATS系统对测试用例进行优化,并以实际工作中的例子对其应用进行了描述。