资料下载
×
软件形式化开发的水波优化方法
消耗积分:2 |
格式:rar |
大小:1.21 MB |
2018-01-15
分享资料个
形式化方法有助于从根本上提高软件系统的质量与可靠性，但其开发成本往往过于高昂．一种折衷的办法是在软件系统中选取关键性部件进行形式化开发，但目前尚无非常有效的定量选择方法．将软件系统中的形式化开发关键部件选取建模为一个0-1约束规划问题，以便使用元启发式搜索方法对其进行优化求解．另外，针对该问题专门设计了一种离散水波优化（water wave optimization，简称WWO）算法，在一个大型软件系统上的应用验证了问题模型的有效性，同时证明了WWO算法相对于其他若干典型元启发式搜索方法的优越性．
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
评论(0)
发评论
- 相关下载
- 相关文章
