美国航空航天局开发新的代码自动查错软件 |
---|
http://www.sina.com.cn 2004年07月13日10:14 解放军报 |
据报道,美国航空航天局的科学家正在开发一个查找程序错误的软件系统,以更快更精确地查找出航天器计算机编码中的错误,从而提高航天器的安全性。鉴于一些程序编码中的缺陷可能引发航天器运行失败或故障,科学家们开发了一种名为C全球检察器的软件,该软件可以快速且自动地查找飞行软件错误。驱动航天飞行任务的计算机软件包括成千上万行的计算机程序代码。程序员以前不得不手工检查代码,这是一项既耗时又昂贵的工作。对该软件检验器的初期测试包括对以前一些太空飞行任务的计算机代码的评价,这些代码来自于1999年升空的深空1号飞船、火星探路者及火星探测漫游者的一部分,它们都是用C语言写成的。 据悉,在测试中,该软件仅仅用了25分钟就完成了成百上千行航天器计算机代码的检查。CGS检测所有飞行软件的指令,并且返回一份报告,报告上列出了无缺陷代码的清单,同时了也列出了有缺陷的代码以及需要使用其他方法进行进一步检测的代码。据透露,艾姆斯研究中心的计算机科学家希望更高版本的CGS将帮助2009年的火星科学实验室飞行任务的程序员自动检测软件。其代码将使用C++语言写成。用C++写成的初级版本的CGS准备于2005年9月接受测试。(本报编辑) |