论文部分内容阅读
提出了一种面向故障的软件测试方法,用以检测C程序中坏的存储分配、存储泄漏、空指 针引用、数组越界和未初始化变量等5类故障。该方法在词法分析和语法分析的基础上,利用检查点查 找算法查找可疑点,通过适当的人工确认,能够有效找出软件中的故障。
面向故障的软件测试方法研究
【摘 要】
：
提出了一种面向故障的软件测试方法,用以检测C程序中坏的存储分配、存储泄漏、空指 针引用、数组越界和未初始化变量等5类故障。该方法在词法分析和语法分析的基础上,利用检查点查 找算法查找可疑点,通过适当的人工确认,能够有效找出软件中的故障。
【机 构】
：
装甲兵工程学院信息工程系,北京,100072
【出 处】
：
装甲兵工程学院学报
【发表日期】
：
2004年02期
其他文献
Aboveground biomass and net primary production of semi-evergreen tropical forest of Manipur, north-e
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
介绍了2000年上半年铁路运输生产的基本完成情况及取得良好成绩的主要因素,对下半年铁路运输工作提出了几点建议。
The basic accomplishments of rail transport productio
数学与生活紧密联系，生活离不开数学，数学又时刻体现着生活，让数学与生活相融合，更容易让学生理解学习，并且可以提高学生的学习兴趣，培养学生自主学习的能力。将进一步扩大小学数学
2003年11月6日,“国际竹藤组织在中国和世界的发展”国际会议在北京新落成的国际竹藤组织总部大楼召开。中共中央政治局委员、国务院副总理回良玉出席会议并作重要讲话。回良
Effects of mechanical damage and herbivore wounding on H2O2 metabolism and antioxidant enzyme activi
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
美国斯坦福材料公司(Stanford Materials Corporation)是一家全球性的材料供应商。该公司在1994年建立时主要是向欧美的科研机构及大学的实验室提供高纯度的稀土金属、稀土
利用多弧离子镀技术在暖通用316L不锈钢表面制备了一种同时具备高硬度与低摩擦系数的AlCrN涂层,研究不同转速下涂层的组织和摩擦性能,并进行不同氧化温度性能测试.研究结果表
近年来,随着城市建设规模的快速增长,,拆迁中建(构)筑物拆除工作量急剧增大,近年来已初步形成一种行业.拆除工程与新建工程相比,是一项劳动力密集型、技术要求高,风险大的辅
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊