控制流路径相关论文
针对路径覆盖测试技术中如何计算被测试程序的有效控制流路径子集的关键性问题,提出一种利用LCC编译器的前端结果来生成基于一次循......
软件规范中的函数调用约定指出,caller和callee都需要保存函数调用前后的程序状态.根据数据流分析和过程间分析,caller和callee会......