[00641820]军用软件可靠性技术

完成时间：2000.11；鉴定时间：2000.12；应用领域：高可靠性软件开发；技术水平：国内先进；组织鉴定单位：国防科工委；合作方式：协商；成果简介：针对软件开发中存在的各种影响软件可靠性和软件开发效率的因素。例如：件的手工劳动致使软件的开发周期较长。工自行编制软件导致开发人员必须参与系统的维护和修改，致使软件对人员的依赖性强。发过程中，由于人的因素导致软件的故障率高。课题组开展了军用软件高可靠性设计技术的研究。提出了支持软件高可靠性的设计方法，研制了支持该方法的软件高可靠性设计的工具，以提高中国国产软件的可靠性、软件生产率和软件国产化率。解决了通用性软件自动开发工具设计与实现中的多项关键技术。取用的研究成果在国内居领先水平，软件自动开发工具的研制填补了国内高可靠性软件自动开发工具的空白，具有独创性。利用自动开发工具将开发纳入到软件工程学的过程中，还过尽量摆脱人的介入，增加向检测手段，从而降低开发中的故障率，提高软件的可靠性；使用了大量的自动化生成技术，尽可能的减少了软件开发人员的工作量，极大的提高计算机软件的生产率；采用了测试探针技术，提高了软件产品可测试性，降低了对测试工具的要求。这项研究工作的完成，将进一步提高中国军用软件的国产化率和软件可靠性，为软件的国产化和高可靠性设计提供技术支持，具有广阔的应用前景和重大的应用价值。经济社会效益分析：软件开发技术相对落后是困扰中国计算机发展的主要障碍，中国的计算机用户的数量居世界前列，而我们具有自主知识产权的应用软件和软件开发工具却很少，这种局面如果任其下去，不久的将来，中国就会成为世界上软件第一进口国。为了解决这个问题，大力推进国产软件的发展，就必须解决软件的国产化率、可靠性、可测试性和软件生产率等问题。该项目在这方面做了很多有益的探索。课题组研制的软件自动化开发工具，实现了软件开发过程的自动化，减少了人的因素对软件可靠性的影响，实现了文档存储的规格化，以及在软件中预埋软件探针等方法都在一定程度上解决了这些问题。我们相信，该技术的应用将推动中国的软件产业的发展。投资条件：资金。