Method of distributed scalable concolic testing for software reliability

摘要

PURPOSE: An extension type distribution test method about a software unit is provided to efficiently reduce test time by using a cloud computing platform. CONSTITUTION: A queuepf storing the limit of denial about a route is initialized. If the queuepf is not empty, a concolic test operates(S111). If the queuepf is empty, non-processed path of the other nodes is performed(S121).