| 利用变量状态转换模型进行部分软件错误的检测 |
| |
| 引用本文： | 张广梅,李景霞. 利用变量状态转换模型进行部分软件错误的检测[J]. 计算机科学, 2015, 42(Z11): 504-507 |
| |
| 作者姓名： | 张广梅 李景霞 |
| |
| 作者单位： | 山东农业大学信息科学与工程学院 泰安271000,安徽农业大学信息与计算机学院 合肥230036 |
| |
| 摘 要： | 应用程序中的功能通常是通过对变量的操作来实现。应用程序中变量的操作包括赋值、引用等不同的方式。针对普通变量和指针变量在程序中的使用方式,对变量的状态进行了分析,并根据变量使用的特点,定义了普通变量和指针变量的状态转换模型。在此基础上,给出了与变量有关的软件错误的定义,并讨论了基于变量切片的软件错误的检测方法。
|
| 关 键 词： | 变量状态转换模型 程序切片 软件错误 |
Detecting Software Error by Using State Transition Model of Variable |
| |
| ZHANG Guang-mei and LI Jing-xia. Detecting Software Error by Using State Transition Model of Variable[J]. Computer Science, 2015, 42(Z11): 504-507 |
| |
| Authors: | ZHANG Guang-mei and LI Jing-xia |
| |
| Affiliation: | College of Information Science and Engineering,Shandong Agricultural University,Taian 271000,China and School of Information and Computer,Anhui Agricultural University,Hefei 230036,China |
| |
| Abstract: | |
| |
| Keywords: | State transition model of variable Program slice Software error |
|
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
