Path-oriented automatic random testing method based on double constraint propagation
一种基于双约束传播的面向路径自动随机测试方法

Random testing is a widely used method of automatic software testing.It selects test data from the input domain at random,so it is easy to actualize automatically.However,the likelihood of finding adequate test data randomly to meet a certain testing criterion is extremely low.Therefore,a path-oriented automatic random testing method based on double constraint propagation(DCPART)was proposed.For a given path,its domain could be gained by splitting a input variable's domain and executing doubly constraint pr...