软件形式化开发关键部件选取的水波优化方法  

Selection of Key Software Components for Formal Development Using Water Wave Optimization

作　　者：郑宇军[1,2] 张蓓[1] 薛锦云[2] 

机构地区：[1]浙江工业大学计算机科学与技术学院,浙江杭州310023 [2]江西省高性能计算重点实验室(江西师范大学),江西南昌330027

出　　处：《软件学报》2016年第4期933-942,共10页Journal of Software

基　　金：国家自然科学基金(61020106009;61105073;61272075;61473263)~~

摘　　要：形式化方法有助于从根本上提高软件系统的质量与可靠性,但其开发成本往往过于高昂.一种折衷的办法是在软件系统中选取关键性部件进行形式化开发,但目前尚无非常有效的定量选择方法.将软件系统中的形式化开发关键部件选取建模为一个0-1约束规划问题,以便使用元启发式搜索方法对其进行优化求解.另外,针对该问题专门设计了一种离散水波优化(water wave optimization,简称WWO)算法.在一个大型软件系统上的应用验证了问题模型的有效性,同时证明了WWO算法相对于其他若干典型元启发式搜索方法的优越性.Formal methods contribute to the fundamental improvement of software quality and reliability, but this methodology is often very expensive. A compromise is to select and apply formal methods to only a subset of key components of the software system. However, currently there are few effective approaches for such selection process. This paper proposes a 0-1 constrained programming model for selecting key components for formal development, which enables the use of metaheuristic search methods to effectively solve the selection problem. The paper also designs a discrete water wave optimization（WWO） algorithm for the problem. The application to a large-scale software system validates the effectiveness of the proposed problem model, and demonstrates that the WWO algorithm outperforms some other typical metaheuristic search methods.

关 键 词：形式化方法 可靠度 元启发式搜索方法 水波优化算法 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]