%0 Journal Article
%T 利用变量状态转换模型进行部分软件错误的检测
%A 张广梅？
%A 李景霞？
%J 计算机科学
%D 2015
%X 应用程序中的功能通常是通过对变量的操作来实现。应用程序中变量的操作包括赋值、引用等不同的方式。针对普通变量和指针变量在程序中的使用方式,对变量的状态进行了分析,并根据变量使用的特点,定义了普通变量和指针变量的状态转换模型。在此基础上,给出了与变量有关的软件错误的定义,并讨论了基于变量切片的软件错误的检测方法。
%K 变量状态转换模型
%K 程序切片
%K 软件错误
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=201511A116&flag=1