主页期刊介绍编委会编辑部服务介绍相关网站在线审稿编委办公编辑办公
2018年专刊出版计划 微信服务介绍 最新一期:2017年第11期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
郑宇军,张蓓,薛锦云.软件形式化开发关键部件选取的水波优化方法.软件学报,2016,27(4):933-942
软件形式化开发关键部件选取的水波优化方法
Selection of Key Software Components for Formal Development Using Water Wave Optimization
投稿时间:2015-06-24  修订日期:2015-10-15
DOI:10.13328/j.cnki.jos.004964
中文关键词:  形式化方法  可靠度  元启发式搜索方法  水波优化算法
英文关键词:formal method  reliability  metaheuristic search method  water wave optimization(WWO)
基金项目:国家自然科学基金(61020106009,61105073,61272075,61473263)
作者单位E-mail
郑宇军 浙江工业大学 计算机科学与技术学院, 浙江 杭州 310023;江西省高性能计算重点实验室(江西师范大学), 江西 南昌 330027 yujun.zheng@computer.org 
张蓓 浙江工业大学 计算机科学与技术学院, 浙江 杭州 310023  
薛锦云 江西省高性能计算重点实验室(江西师范大学), 江西 南昌 330027  
摘要点击次数: 1318
全文下载次数: 1215
中文摘要:
      形式化方法有助于从根本上提高软件系统的质量与可靠性,但其开发成本往往过于高昂.一种折衷的办法是在软件系统中选取关键性部件进行形式化开发,但目前尚无非常有效的定量选择方法.将软件系统中的形式化开发关键部件选取建模为一个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.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 
主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利