Program dependence graphs have been proposed for use in optimizing, vectorizing, and parallelizing compilers, and for program integration. This paper proposes their use as the basis for
In this paper we define adequacy criteria based on the program dependence graph, and propose techniques based on program slicing to identify components of the modified program that can be tested using files from the old test suite, and components that have been affected by the modification. This information can be used to reduce the time required to create new test files, and to avoid unproductive retesting of unaffected components. Although exact identification of the components listed above is, in general, undecidable, we demonstrate that our techniques provide safe approximations.
在本文中,我们基于程序依赖图定义了充分性标准,并提出了基于程序切片的技术,以识别可以使用旧测试套件中的文件进行测试的修改程序的组件,以及受程序影响的组件。修改。此信息可用于减少创建新测试文件所需的时间,并避免对未受影响的组件进行无效的重新测试。尽管通常无法确定上面列出的成分的确切信息,但我们证明了我们的技术可以提供安全的近似值。 P>
机译:器官捐赠计划的基准绩效:对人口统计学和死亡率的依赖:(基于人口统计数据和死亡率的器官捐赠计划的比较绩效)。
机译:并发程序的增量集成测试
机译:使用遗传算法和程序依赖图自动生成测试数据
机译:基于原始依赖图的并行程序测试
机译:在程序依赖图中挖掘模式。
机译:程式化的肌电图活动和向下跳跃的猴子的负增量肌肉僵硬。
机译:关于表示程序的程序依赖图的充分性