函数副作用在软件静态测试中的应用

来源 :软件导刊 | 被引量 : 0次 | 上传用户:wistaria
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提高检测精度是在基于缺陷模式的软件测试中一个亟待解决的问题。在区间运算技术的基础上,将函数执行后对上下文产生的影响定义为函数的副作用,如函数中对全局变量或类成员变量的更改、对指针型参数或引用型参数的更改,以及函数的返回值等。并给出函数副作用的形式化描述和生成算法,将其用于区间运算的过程中,显示软件静态测试的效果。实验结果表明,使用该方法的测试工具对缺陷的误报及漏报情况明显减少,测试精度显著提高。
其他文献
<正>研究目的:平衡功能是人体的一项重要功能,日常生活中的各种动作,站立、行走等活动都依赖有效的平衡做保障。前庭系统、视觉调节系统、身体感觉系统、大脑平衡调节功能、
会议
人的一生约有三分之一的时间是在睡眠中度过的,睡眠质量的好坏对人的身体健康起着至关重要的作用。随着社会的高速发展,人们面临的工作和生活压力越来越大,失眠的发病率呈逐年上
非线性编辑技术作为影视后期合成技术,其应用已越来越广泛。在阐述非线性编辑技术的原理、特点、软件编辑系统及编辑过程的基础上,重点论述了非线性编辑技术在大学生多媒体竞
<正>人体关节损伤是仅次于颅脑损伤的最常见的人体损伤,各种伤害、交通事故、工伤事故等均可造成人体关节损伤。损伤后人体关节活动功能丧失程度的认定缺乏客观检测手段,关节
会议
【正】2011年7月30日,北京在8月19日至28日于凯菲厅品尝地道台湾风味小吃,来自台湾的名厨简鸿文为您烹制最具风格的家乡料理。台湾小吃是台湾在地文化的最佳代表。此次阿文师
本文讨论了科技协调的发展过程,论述了协高和科技协高的概念和作用,分析了科技协调的前提和分类 。
时下私家菜如雨后春笋般地遍布胡同和小巷,使我又回忆起老北京的私家官府菜——谭家菜。  北京是金、元、明、清建都的地方,正是由于这样的历史及地理因素,在北京菜中,不但包含了举世闻名的御膳宫廷菜,而且还包含了一批精美的由私家烹调出名的官府菜。  在民国初年,北京出名的私家烹调有三大家,一为军界的“段家菜”,二为银行界的“任家菜”,三为财政界的“王家菜”。当时人称,“私家名厨,胜于菜馆”。待到“谭家菜”
本文系统地介绍了求解电力变压器铁芯温度场的三维数值方法,较好地解决了流体—构件耦合场的数值求解问题,并采用有限元法对若干影响铁芯温升的相关因素进行了大量的数值模拟
枣树是中国特有的果树之一,在北魏时期著名的农学专著《齐民要术》所论的42种果品中,枣居首位,与桃、李、杏、栗并称为五果。那么,枣究竟有什么特殊之处,使它得以占据着这果
在五彩斑斓的中国美食中,有这么一道菜,它就是上海市青浦朱家角地区的"稻草扎肉"。这道菜传统而经典,而它的演变过程也是中国传统的厨艺文化精华不断得到继承与弘扬的缩影。