The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging
The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging
复制标题
SANTE 工具：C 程序调试的值分析、程序切片和测试生成
DOI：
--
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
J. Julliand
中科院分区：
文献类型：
--
作者：
O. Chebaro;N. Kosmatov;Alain Giorgetti;J. Julliand
本文介绍了一个名为SANTE（静态分析与测试）的原型工具，它实现了一种结合值分析、程序切片和结构测试生成的原始方法来验证C程序。首先，当不能保证没有错误时，调用值分析生成警报。然后通过程序切片对程序进行精简。然后使用警报引导测试生成来分析简化的程序，以确认或拒绝警报。
This short paper presents a prototype tool called SANTE (Static ANalysis and TEsting) implementing an original method combining value analysis, program slicing and structural test generation for verification of C programs. First, value analysis is called to generate alarms when it can not guarantee the absence of errors. Then the program is reduced by program slicing. Alarm-guided test generation is then used to analyze the simplified program(s) in order to confirm or reject alarms.