约束化简相关硕士博士期刊学术论文

完整路径在本文中被定义为从程序入口到某个待测功能点程序经过的路径,与传统软件测试的路径相比存在约束条件复杂、约束规模较大......