Prioritized Automated Generation of Contracts with Modified Swarm Optimization

Abstract

The derivation of contracts of software programming with a negligible human involvement is fundamental to effectually establish an optimal set of contracts that facilitate an adequacy standard to be conformed.  Thereby, it eases the outlays of software testing and provides more competent and accelerated testing of software solutions. The route to construct these contracts in the direction of automation involves – Storing the specifics of structural and behavioral dependency as conditions in form of a Decision tree and in turn concretize them as Contracts. As well, to come down on the cost of contracts developments in terms of computations and memory, a Contract minimization technic is put forward bearing in mind both rationally greater coverage measures and at the same instant producing optimized number of feasible contracts.