Ant Colony Optimization for Multiversion Software Synthesis

摘要

High reliability of the software can be achieved by the use of N-version or multiversion programming. In this case multiversion software modules are realized by means of several functionally equivalent versions developed to solve the same tasks. Synthesis of multiversion software based on the introduction of software redundancy with limited resources is always the optimization problem. Solution of this problem, as a rule, is a compromise between numbers of criteria. The research propose the method based on the use of ant algorithm for design of optimal multiversion software. The study presents an example of synthesis of multiversion software without redundancy. Although, there are several versions for the implementation of each software module.