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

发布时间：2017-06-21 23:10

  本文关键词：软件形式化开发关键部件选取的水波优化方法，由笔耕文化传播整理发布。

【摘要】：形式化方法有助于从根本上提高软件系统的质量与可靠性,但其开发成本往往过于高昂.一种折衷的办法是在软件系统中选取关键性部件进行形式化开发,但目前尚无非常有效的定量选择方法.将软件系统中的形式化开发关键部件选取建模为一个0-1约束规划问题,以便使用元启发式搜索方法对其进行优化求解.另外,针对该问题专门设计了一种离散水波优化(water wave optimization,简称WWO)算法.在一个大型软件系统上的应用验证了问题模型的有效性,同时证明了WWO算法相对于其他若干典型元启发式搜索方法的优越性.
【作者单位】： 浙江工业大学计算机科学与技术学院;江西省高性能计算重点实验室(江西师范大学);
【关键词】： 形式化方法 可靠度 元启发式搜索方法 水波优化算法
【基金】：国家自然科学基金(61020106009,61105073,61272075,61473263)~~
【分类号】：TP311.52
【正文快照】： 软件形式化方法是指建立在严格数学模型上、具有精确数学语义的软件系统开发方法,它能够从根本上提高软件系统的质量与可靠性.受“软件危机”以及硬件领域形式化方法发展的影响,软件形式化方法自20世纪80年代末以来得到了学术界和工业界的广泛关注[1].但是,关于何时、何处以及

【相似文献】

中国期刊全文数据库 前10条

1 李建华;李红革;;形式化及其历史发展[J];自然辩证法研究;2008年08期

2 杨杰,郑明春;形式化方法和对象技术的结合途径研究[J];山东师大学报(自然科学版);2000年02期

3 邓勇,丁峰,沈钧毅;一种结构化形式化说明的方法[J];小型微型计算机系统;2002年06期

4 朱艳龙;;软件形式化方法的研究[J];阴山学刊(自然科学版);2004年02期

5 潘红艳,于全;用于通信网络协议开发的形式化方法[J];计算机工程;2004年02期

6 陈长春,王昭顺;形式化技术应用于软件逆工程的实践研究[J];计算机工程与设计;2005年05期

7 刘瑞成,张立臣;集成实时逻辑与Z++语言的形式化方法[J];计算机工程与设计;2005年11期

8 陈宇;邹盛荣;阳雪平;;形式化B方法数学基础的实例研究[J];常熟理工学院学报;2008年10期

9 赖剑煌;局间通信负荷监控问题的形式化方法[J];中山大学学报(自然科学版);1996年05期

10 胡家宝;FDT与FDT工具及其研究[J];计算机工程与设计;1996年01期

中国重要会议论文全文数据库 前4条

1 郑宇军;石海鹤;薛锦云;;Spec#语言中的形式化特性[A];2005年全国理论计算机科学学术年会论文集[C];2005年

2 雷敏;雷友殉;;一种UML到SDL转换方法的研究与应用[A];2006通信理论与技术新进展——第十一届全国青年通信学术会议论文集[C];2006年

3 苗洁君;王克;;密码模块的形式化设计和验证研究[A];第二十一次全国计算机安全学术交流会论文集[C];2006年

4 缪道期;;评审计算机安全等级[A];第二次计算机安全技术交流会论文集[C];1987年

  本文关键词：软件形式化开发关键部件选取的水波优化方法，，由笔耕文化传播整理发布。

本文编号：470151