Computer Science ›› 2015, Vol. 42 ›› Issue (Z11): 504-507.

Previous Articles     Next Articles

Detecting Software Error by Using State Transition Model of Variable

ZHANG Guang-mei and LI Jing-xia   

  • Online:2018-11-14 Published:2018-11-14

Abstract: Variables are used in a program in order to implement the function of a program.There are different operations about a variable in a program and the operation on a variable can change the state of a variable.According to the different usage of a variable,different states of a variable were analyzed.First,the safe and unsafe states of a normal variable and a pointer variable were defined in this paper.Then the rules about the change between different states were also defined.After that,the state transition model of variable was provided.By using the state transition model of variable and the theory of program slice,a variable’s unsafe state can be traced.

Key words: State transition model of variable,Program slice,Software error

[1] 李普曼,拉乔伊,等.C++ Primer中文版(第5版)[M].王刚,杨巨峰,译.北京:电子工业出版社,2013:23-50
[2] Sattar H,Bajwa I S,et al.Automated DD-path testing:A challenging task in software testing[C]∥Ninth International Conference on Digital Information Management.Phitsanulok,IEEE,2010:230-236
[3] XuZhen-bo,Zhang Jian,Xu Zhong-xing.Memory Leak Detection Based on Memory State Transition Graph[C]∥18th Asia PacificSoftware Engineering Conference,2011.Ho Chi Minh,IEEE,2011:33-40
[4] Sor V,Ou P,et al.Improving Statistical Approach for Memory Leak Detection Using Machine Learning[C]∥29th IEEE International Conference on Software Maintenance,2013.Eindhoven,IEEE,2013:544-547
[5] 李必信.程序切片技术及其应用[M].北京:科学出版社,2006:3-4

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!