一种满足可靠度期望的网构软件优化方法*

Internet环境下网构软件的开发是一个构件组装过程，传统的软件可靠性技术在其应用过程中面临着新的挑战。建立了网构软件的抽象模型和物理模型，介绍了可靠性的形式化定义及五种构件组装结构的可靠性度量方法，提出了一种满足可靠度期望的网构软件优化方法。该方法将复杂的网构软件结构进行串行化，以抽象构件、链路的可靠度期望阈值过滤无效分支，以网构软件的可靠性期望筛选较优路径，应用一种改进的蚁群优化算法求解，从而实现了网构软件抽象模型与物理模型的映射。实验仿真及分析表明，该方法适用于解决开放式环境下网构软件的可靠性优化问题，相对于传统方法，它具备较好的执行性能。

Approach of internetware optimization meeting reliability expectation

The development of internetware is a process of component composition in internet environment, so the traditional reliability analysis technology can not be directly applied to internetware. This paper defined the model and physical model of internetware, and analyzed the measure methods about five type of component composition structure on the basis of formal definition of reliability. Put forward an approach of internetware optimization meeting the reliability expectation. In this approach, transformed complex internetware into serial composition structure, and proposed an improved ant colony algorithm to achieve the mapping of model and physical model of internetware. This algorithm employed the reliability expectation threshold of model and physical model to filter invalid branch, and selected better path based on the reliability expectation of internetware. Finally, the experiment proved that this method is feasible and effective to solve reliability optimization problem of internetware in open environment, and has better performance than traditional method.