基于演化算法的软件形式化开发部件选取方法

• 作者: 冯夫健 谭棉
• 来源期刊: 软件导刊
• 学科: 工学
• 关键词: 形式化方法 演化算法 目标函数 集合类
• 年，卷（期）: 2018,（7）
• 所属期刊栏目: 软件理论与方法
• 页码范围: 64-66
• 页数: 3页
• 分类号: TP301
• 字数: 2626字
• 语种: 中文
• DOI: 10.11907/rjdk.181503

摘要

形式化方法在软件开发过程中一直扮演着重要角色.由于其建立在严格的数学基础之上,因此开发成本较高.为了解决开发成本问题,将软件开发整体分为形式化开发集合类和非形式化开发集合类.在此基础上,开发部件采用二进制串描述并构建目标函数模型,通过演化算法对模型进行优化求解,判定不同的部件开发集合类归属.选用(1+1)EA作为研究对象验证开发部件选取方法的可行性.采用遗传算法、粒子群算法、二进制差分演化算法进行验证分析.结果表明,该分类方法可作为演化算法在软件开发部件选取方面的一种理论工具.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	冯夫健	贵州民族大学教务处	7	7	1.0	2.0
2	谭棉	贵州民族大学教务处	11	8	1.0	2.0