Wan Lin; Liu Juan; Wang Qinzhao; Zhang Wei

International Journal of Education and Management Engineering (IJEME)

IJEME Vol. 1, No. 1, 29 Jul. 2011

Cover page and Table of Contents: PDF (size: 144KB)

Method of Uninitialized Variable Detecting for C++ Program

Full Text (PDF, 144KB), PP.63-67

Views: 0 Downloads: 0

Author(s)

Wan Lin ^1,* Liu Juan ¹ Wang Qinzhao ¹ Zhang Wei ¹

1. Armored Force Engineering Institute Beijing, China, 10072

* Corresponding author.

DOI: https://doi.org/10.5815/ijeme.2011.01.12

Received: 13 Apr. 2011 / Revised: 17 May 2011 / Accepted: 23 Jun. 2011 / Published: 29 Jul. 2011

Index Terms

Software testing, uninitialized variable syntax tree, controlling flow graph

Abstract

We present a testing approach which is a partially automated, partially manual inspection process that reports defects in C++ source code. In this paper we considered one of the faults type- uninitialized Variable- which the approach can detect. Uninitialized Variable is a common kind of error in programs written in C++, it often causes error result or system collapse. This paper analyses the classical C++ uninitialized variable errors, and describes a detecting method of uninitialized variable errors combining the advantage of ASI technology which based on static analysis.

Cite This Paper

Wan Lin,Liu Juan,Wang Qinzhao,Zhang Wei,"Method of Uninitialized Variable Detecting for C++ Program", IJEME, vol.1, no.1, pp.63-67, 2011. DOI: 10.5815/ijeme.2011.01.12

Reference

[1] David Evans. Static Detection of Dynamic Memory Errors[C]. USA: ACM Conference on Programming Language Design and Implementation, 1996. Page 44-52.

[2] Nurit dor., Michael Rodeh, Mooly Sagiv. Detecting Memory Errors via Static Pointer Analysis. USA: ACM Special Interest Group on Programming Languages, 1995. Page13-22

[3] Automated Software Inspection. Technical White Paper.

[4] Dr. Josef Grosch. C++ Abstract Syntax. Technical White Paper.