桑特 swMATH ID: 7252 软件作者： 奥马尔·切巴罗；尼古拉·科马托夫；阿兰·乔尔盖蒂；雅克·朱利亚德 描述： SANTE工具：用于C程序调试的值分析、程序切片和测试生成。本文介绍了一个名为SANTE（静态分析和测试）的原型工具，它实现了一种将值分析、程序切片和结构测试生成相结合的原始方法，用于C程序的验证。首先，当无法保证没有错误时，调用值分析来生成警报。然后通过程序切片来减少程序。然后使用警报引导测试生成来分析简化程序，以确认或拒绝警报。 主页： http://dl.acm.org/citation.cfm？id=2025943 关键词： 静态分析；程序切片；全路径测试生成；运行错误；警报引导测试生成 相关软件： Frama-C公司；PathCrawler（路径爬行器）；Coq公司；可爱的；DyTa公司；OCaml公司；GATeL公司；Caduceus公司；叮当声静态分析仪；CIL公司；杰西；渗透酶；洛克史密斯；阿斯特里；J拉舍尔；LTL2BA公司；WhyML公司；布吉；VCC（沃尔沃汽车公司）；JML公司 引用于： 1文件 标准条款 1出版物描述软件 年份 SANTE工具：用于C程序调试的值分析、程序切片和测试生成奥马尔·切巴罗；尼古拉·科马托夫；阿兰·乔尔盖蒂；雅克·朱利亚德 2011 3位作者引用 1 尼古拉·科马托夫 1 帕斯卡尔·勒加尔 1 莱切内特，Jean-Christophe 连载1篇 1 计算的形式方面 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文