【摘要】 软件测试系统的研制是软件测试领域的一个研究热点。未初始化变量是C/C++程序中的常见故障,该类故障极易导致计算结果错误或系统崩溃。针对C/C++语言中常见未初始化变量故障进行了分析研究,并从面向具体故障的测试思想出发,建立了C/C++语言中未初始化变量的故障模型,结合静态测试的特点,给出了一种静态查找此类故障的方法。该方法已实现,并已应用于面向故障的软件测试系统中。更多还原

【Abstract】 Uninitialized Variable is a common kind of error in programs written in C/C++,which often causes system collapse.Firstly,the classical C/C++ uninitialized variable errors is analysed,adefect model ofuninitialized variableof C/C++ based on thedefect-oriented testing strategy is established,then a detecting method of uninitialized variable errors combining the advantage of static analysis is de-scribed.This theory is implemented in a defect-oriented testing system.更多还原