可信软件生产技术

发布时间:[2011-8-22]     来源:软源网     作者:软源网     点击:

可信软件生产技术是在传统开发技术基础上的发展,传统开发技术主要解决系统功能获取、实现、验证、测试和确认,而可信技术进一步提高软件开发和软件产品的质量。目前,在可信软件生产技术方面的研究主要集中在以下几个方面:

(1)可信软件体系结构与建模方法

面向服务的可信软件的体系结构和形式化建模已成为学术界研究热点,但尚处于研究初期。在可信的概念和结构研究方面, Avizienis等人提出了可信安全计算的基本概念和分类方法;David 等人对大规模互联网服务的体系结构与可信问题进行了深入的研究;在可信软件的建模研究方面,当前主要是采用自动机、进程代数、Petri网、逻辑等,对不同的网络化软件进行了形式化建模和分析,对网络化软件可信特征的建模和方法研究仍不完善。

(2)可信软件构造与验证

可信软件构造主要借助于已有软件工程的方法,但面对开放的网络环境,将服务计算与工程作为一种重要的研究途径。在服务组合研究中,工作流仍是典型的构造方法,为了提高软件组件复用能力、灵活性和可信性,基于服务间依赖关系的软件构造方式是当前一种有益的尝试,但目前尚缺乏对网络化软件的两个重要可信属性(可扩展性和动态演化性)的研究。

在可信软件的验证方法中,大多采用基于概率统计、模糊数学和主观逻辑及证据理论的可信模型等工具,其主要方法是从模型检测和测试角度,探讨对软件可信性的检测。

(3)可信软件演化与维护

可信软件的演化和维护是一个分布、多方协作和维护过程;同时,服务软件/组件具有高度的自治性(且部署在不同的自治域中)和动态性。为此,分布自治的服务软件组合与运行研究中,多源软件的组合与运行模式成为研究软件可扩展性、可用性的主导方法。此外,关于软件的自适应演化方面,大多研究基于人工智能和自动控制的方法, 主要是通过对人类智能和控制方法的模拟, 获取产生自适应演化能力的方法与途径,对网络化服务软件的运行问题很少涉及。一些公司和研究机构在应用服务器、移动应用、组合服务等领域也开展了研究。

关键字: