变量定义未使用故障的一种静态测试方法
Computer Engineering and Design(2007)
Abstract
变量定义未使用故障是C/C++程序中的可见故障,该类故障可导致计算结果错误或系统崩溃.针对C/C++语言中变量定义未使用错误类型进行了分析,并从面向具体故障的测试思想出发,给出软件测试系统设计,建立了C/C++语言中变量定义未使用的故障模型,结合静态测试特点,给出了一种静态查找此类故障的方法.该方法已用于面向故障的软件测试系统中.
MoreTranslated text
Key words
variable that is declared but neverused,syntax tree,controlling stream graph,software testing,static testing
AI Read Science
Must-Reading Tree
Example
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined