【摘 要】
：
基于对程序源代码的静态分析方法,针对程序中一些常见故障,提出了一种基于控制流图的自动测试方法。采取了一种特殊的静态分析技术来实现对代码的测试。首先讨论了传统软件测
【机 构】
：
装甲兵工程学院信息工程系北京100072
【出 处】
：
第三届全国软件测试会议与移动计算、栅格、智能化高级论坛
论文部分内容阅读
基于对程序源代码的静态分析方法,针对程序中一些常见故障,提出了一种基于控制流图的自动测试方法。采取了一种特殊的静态分析技术来实现对代码的测试。首先讨论了传统软件测试方法的缺点和局限性,给出了软件的故障模型,在分析过程中,还综合应用了词法分析和语法分析,在建立语法树的基础上,遍历控制流图,进而提出了一种基于控制流图的软件测试方法。依据该方法开发了自动化测试工具,给出了实验结果和对比分析,测试结果表明,该方法能够有效检测变量使用的故障,提高了测试结果的精度。
其他文献
软件功能测试是软件质量的基础,对软件后期维护非常重要。通过对软件功能质量需求分析,集成分析和交互分析,从后期维护考虑,考查软件内部结构,对测试设计提供了系统思路,保证
随着社会经济的不断发展,消防安全问题已成为整个社会关注的焦点之一.加强和促进与消防有关的社会宣传工作,增强人们的消防安全意识,加强公众对消防安全的关注度,对建设和谐
随着网络技术的发展,计算机网络犯罪总量持续上升,网络取证工作显得越来越重要。网络取证系统应运而生,它对网络入侵事件、网络犯罪活动进行证据获取、保存、分析和还原,弥补
目的：通过分析河北省分级诊疗制度施行后患者就诊行为，从患者首诊机构选择的影响因素进行分析找出问题的突破点，有针对性地提出对应的措施及建议，从而实现河北省医疗卫生资源的合
证券网络是证券公司重要的基础设施,是证券业务正常运行的前提条件。但是近几年来,由于受到高科技犯罪、黑客入侵、计算机病毒感染等威胁,证券网络的安全事故呈逐年上升趋势,
目的：分析2型糖尿病（简称T2DM）口服降糖药效果不佳者实施甘精胰岛素（简称Gla）联合格列美脲（简称GM）治疗的效果。方法：本研究主体为89例T2DM患者，经降糖药口服治疗后，疗效不佳。以单双号
市政道路路基施工工程是一项施工周期长，施工过程繁琐，施工材料较杂的施工过程。因此在施工中，工程较大并且工程难度高，需要工程监督工作者层层把关，时时监督，保证每一个环节都能够
传统的推理机在解决实际问题时存在各种缺陷,本文设计了一个新的推理算法FCR。该算法采用以案例推理为主,辅以规则推理和模糊推理的方式,将各种推理技术有效结合起来,使整个
高度关注物质，即具有REACH第57条规定内容特征的物质，具体包括致癌、生殖毒性和致基因突变物质、高生物积累性和高持久性物质、生物积累性、持久性和毒性物质，以上物质未经授权
探讨了改进MD5码以增强网站安全性。采用对用户密码进行加长、加强的方法进行二次加密,并对MD5码的算法进行修改,再使用MD5二次加密或多次加密。通过改进的MD5码,用户密码安