Generation model of basis-paths based on variable-dependence and interval-arithmetic

Basis-path coverage testing is a kind of logic-coverage testing and is based on graph theory and vector theory. Because the combination between path and business logic hasn´t been considered, non-executable paths could be generated after executing the Basis-path algorithm. This generation model defines the non-executable path-segment and presents sub-model for acquisition of potential non-executable path-segments based on variable-dependence as well as sub-model for determination of non-executable path-segment based on interval-arithmetic. The combination of these two sub-models finds out all the nonexecutable path-segments and ensures that the basis-paths generated by the McCabe´s generation model are all executable. Through experimental verification, it is proved that this generation model could effectively generate the executable basis-path suite.