面向动态演化的网构软件失效机理与测评方法

项目名称： 面向动态演化的网构软件失效机理与测评方法

项目编号： No.61502037

项目类型： 青年科学基金项目

立项/批准年度： 2016

项目学科： 自动化技术、计算机技术

项目作者： 宋敏

作者单位： 北京外国语大学

项目金额： 20万元

中文摘要： 网构软件要求具有在线动态演化的能力，对网构软件实施动态演化时必须进行失效分析与在线测试。本项目从网构软件动态演化测试面临的科学问题入手，首先研究动态演化发生前后，由于控制依赖关系、数据依赖关系以及它们之间交叉作业关系的变化对系统正确性、一致性、合理性和有效性的影响规律，揭示网构软件发生动态演化时新失效机理；其次，结合动态演化发生时实例已执行活动的相关结果，提出面向动态演化的网构软件测试用例生成方法；然后，构建动态演化的网构软件可靠性模型，并验证项目的研究成果。本项目的研究成果有望从动态演化的角度，补充完善我国的网构软件测评理论体系，为网构软件实施动态演化时的失效分析和测评提供新思路、新方法，为我国网构软件向工程化、产业化方向发展提供支撑。

中文关键词： 网构软件；动态演化；失效机理；评测方法；可靠性模型

英文摘要： Internetware should be provided with the ability of dynamic evolution. Failure analysis and online testing must be conducted in the process of dynamic evolution. This project starts with the scientific problems that the testing of internetware’s dynamic evolution is faced with. Firstly, study the influence rules on the accuracy, consistency, rationality and effectiveness of the system due to the changes in control dependency relation, data dependency relation, and relations between the cross-combination of them before and after the dynamic evolution, and then reveal mechanisms of new failure when dynamic evolution occurs in internetware. Secondly, combine with the results of activities that have been performed in instance when dynamic evolution is occurring, put forward generation methods of testing case oriented dynamic evolution. Finally, the sofwtwaere reliability model of internetware’s dynamic evolution is proposed, and validate the research results of this project. The research results of this project are expected to supplement and improve the theory system of internetware’s testing.and evaluation from the perspective of dynamic evolution, offer new methods for the failure analysis and testing in internetware’s dynamic evolution, and provide a foundational support for the internetware to develop in the direction of engineering and industrialization.

英文关键词： Internetware;dynamic evolution ;failure mechanism;evaluation method;reliability model