Research on Formal Description of Data Flow Software Faults
Software plays an important part in our society. The occurrence of software fault may lead to serious disaster. Data flow software fault is a kind of important software fault. In this paper, the properties of data dependency relationship are studied, the formal definitions of some data flow software faults, such as using undefined variable, nonused variable since definition, and redefining nonused variable since definition are given, the corresponding detecting methods are proposed, and some sample data flow software faults are given to demonstrate the effectiveness of the proposed methods.
software fault data flow data dependency relationship formal definition fault detection
Jin-Hui Shan Zong-Sheng Cao Sheng-Fen Niu Ri-Hua Xiang Ming Dong
Beijing Special Engineering Design and Research Institute Beijing 100028, P.R.China Beijing Special Engineering Design and Research Institute Beijing 100028, P.R.China Xian Jiaotong U
国际会议
太原
英文
224-227
2010-10-22（万方平台首次上网日期，不代表论文的发表时间）