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

作     者：郑宇军 张蓓 薛锦云 ZHENG Yu-Jun;ZHANG Bei;XUE Jin-Yun

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

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

出 版 物：《软件学报》 (Journal of Software)

年 卷 期：2016年第27卷第4期

页      码：933-942页

摘      要：形式化方法有助于从根本上提高软件系统的质量与可靠性,但其开发成本往往过于高昂.一种折衷的办法是在软件系统中选取关键性部件进行形式化开发,但目前尚无非常有效的定量选择方法.将软件系统中的形式化开发关键部件选取建模为一个0-1约束规划问题,以便使用元启发式搜索方法对其进行优化求解.另外,针对该问题专门设计了一种离散水波优化(water wave optimization,简称WWO)算法.在一个大型软件系统上的应用验证了问题模型的有效性,同时证明了WWO算法相对于其他若干典型元启发式搜索方法的优越性.

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

学科分类：08[工学] 0835[0835] 0811[工学-水利类] 0812[工学-测绘类] 081202[081202] 

核心收录：

D　O　I：10.13328/j.cnki.jos.004964

馆 藏 号：203189404...