控制依赖图（CDG）控制依赖图构建算法
注意：该项目依赖
需要提前设置环境变量LLVM_DIR以及SVF_DIR
使用以下命令编译Debug Edition
npm i svf-lib
cmake . && make
使用以下命令编译发行版
npm i svf-lib
cmake -DCMAKE_BUILD_TYPE=Debug . && make
执行以下脚本以生成示例中调试所需要的bc，ll，CFG，ICFG以及PostDominator树
./examples/print_test_graph.sh
2022-05-16 09:07:16
27KB
1
基于程序切片的软件测试是一种以程序或程序和需求相结合为基础的测试，它根据程序的不同切片来缩小软件的测试范围、提高软件测试的效率、辅助测试数据的自动生成等。同时由于程序切片不仅考虑了数据依赖和控制依赖，还考虑了程序存在的其他各种依赖关系，使得测试的准确性得到提高。详细阐述了目前存在的各种切片技术及其应用领域，重点探讨了目前切片技术在测试领域中的具体应用。
2021-12-30 09:49:50
191KB
1