【摘 要】
：
在白盒测试技术中,代码缺陷模式检测和测试数据自动生成是两个典型的测试技术,目前虽然面向此类技术的工具众多,但其实现原理及应用效果却各不相同。文章基于对缺陷模式及用
【机 构】
：
北京邮电大学网络与交换技术国家重点实验室
论文部分内容阅读
在白盒测试技术中,代码缺陷模式检测和测试数据自动生成是两个典型的测试技术,目前虽然面向此类技术的工具众多,但其实现原理及应用效果却各不相同。文章基于对缺陷模式及用例生成技术的深入研究,提出一种有效的软件代码测试技术。首先从技术特点、技术架构、缺陷模式和关键技术四个方面介绍缺陷模式检测技术,然后从技术架构、覆盖准则和相关技术三个方面介绍自动化数据生成技术,最后将这两种技术分别应用于国产测试工具——软件缺陷检测系统（DTS）和自动化单元测试系统（CTS）,取得较好的效果。
其他文献
在纯丙乳液中加人质量分数为0．1％～2．0％的磺化石墨烯（S—GNS）．制备了磺化石墨烯／丙烯酸酯涂料，并对S-GNS的结构进行了分析，测定了漆膜的基本性能、力学性能、耐水性、导电性、导热性、气
本文对短跑运爱员选材过程中青少年的生理上的、心理上的、思想和道德水平等各个方面的指标进行论述与分析，采用定性分析与定量分析相结合的方法，为选拔优秀的短跑运动员提供相
电动汽车能量补给有两种典型模式—电池充电和电池更换,选择何种模式与动力电池的尺寸重量、能量密度、制造成本、电池管理系统及充电设施均有着密切的联系。对目前在国内外
每台风机出厂前都要进行整机性能测试,整机包括鼓风机、增速箱和电机三部分。测试之前,需将三部分装配起来,期间同轴度的要求高。本文设计了一种基于三段式的柔性装配平台,并
目的观察川芎嗪注射液治疗老年胃溃疡的疗效。方法将患者随机分为两组，均给予奥美拉唑、替硝唑、阿莫西林三联疗法，观察组患者在此基础上给予川芎嗪静滴，连续治疗4周，观察两组患
目的分析中西医结合治疗慢性盆腔炎的临床效果。方法 150例慢性盆腔炎患者,随机分为对照组和观察组,每组75例。对照组采用西药治疗,观察组采用中西医结合治疗,治疗周期均为1
1 概述空气温度、湿度、辐射温度和风速是影响人体热舒适性的四个环境因素,加上人体新陈代谢水平和保暖服装,构成了人体的热环境.人体要保持舒适,其核心温度不应高于37℃,皮
稳定性是水流量标准装置的一项重要指标,稳压罐是整套装置中关键稳流设备。本文以典型横板式稳压罐为研究对象,搭建数学模型,利用计算流体力学软件Fluent,采用标准k-ε模型、
目的在构建高效表达IFN-α1b重组大肠杆菌工程菌的基础上,建立适合该工程菌的发酵和纯化工艺.方法采用高密度培养方法(HCDC)和柱层析纯化技术.结果发酵密度A600可达70,表达量
中国飞速发展的经济为会展行业提供了广阔的前景,而在会展活动中,会展的艺术设计则起着至关重要的作用。如何运用艺术设计的各种元素来充分体现会展自身的魅力,以引导观众,吸