|
本报讯 法国科学家日前开发出一种针对关键软件的测试工具，能够极大地提高工业生产中使用的关键软件的安全性，从而可以有效地避免因软件故障导致的人员伤亡和财产损失。
法国原子能委员会系统和技术集成实验室经过１０多年的研究，开发出了这种名为Ｃａｖｅａｔ的工具软件。在日常生活中，软件无所不在，甚至还承担着非常重要的任务。如果一个软件在执行过程中发生的错误能够对人员安全或系统产生严重后果，那么该软件即为关键软件。如控制检查核电站的软件、飞机的飞行控制软件或无人驾驶地铁列车的驾驶软件都属于关键软件。随着生活中由计算机控制的系统逐渐增多，软件的可靠性也就显得尤为重要。实际上，现在一辆中档汽车所使用的软件数量已经与二十世纪六七十年代的运载火箭所使用的软件数量一样多了。为了保证关键软件的可靠性，设计者往往需要对其进行严格的复审。在复审过程中使用最多的是测试技术。所谓测试是指采用一组能够代表使用情况的输入数据，多次运行新开发的软件，即对软件进行所谓的动态分析。为保证万无一失，测试的次数和严格性远远超过实际使用的要求。
软件复审阶段的成本一般占关键系统开发总成本的一半。在航空业，这一费用最高可以达到总成本的８０％。因此，在产品的工业化过程中，软件的测试是控制成本和产品投放市场期限的一个关键点。考虑到竞争的因素，这一环节所起到的限制作用就更大。如果
< 1 > < 2 >
|
