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

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