Method and system for generating a computer program test suite using dynamic symbolic execution of JAVA programs

摘要: A method and system for generating a test suite computer program written in the JAVA programming language. The comprises statements variables represented as source code compiled by compiler into bytecodes, including at least one input statement having or more variables, that are grouped blocks stored database. sets of inputs. Each inputs corresponds to pth program. corresponding candidate block read from each depend on them symbolic form memory value transforming dependent such an variable expression. trial set is created finding solution expression obtained using dynamic execution. if coverage was obtained. execution consists performed along path actual first generated randomly. From input, satisfying any criteria can be performing above procedure iteratively.