论文部分内容阅读
软件测试是保证软件质量的重要手段,软件测试工具可以使测试过程变得自动化,覆盖分析为测试提供了可信度测量.该文研究了Java多线程动态测试中的覆盖率分析和线程分析一些度量标准,实现覆盖分析自动化和线程分析自动化的关键技术是程序插装.文章给出了实现此测试所需要的插装.
Java多线程动态测试中的插装
【摘 要】
：
软件测试是保证软件质量的重要手段,软件测试工具可以使测试过程变得自动化,覆盖分析为测试提供了可信度测量.该文研究了Java多线程动态测试中的覆盖率分析和线程分析一些度
【机 构】
：
浙江大学计算机系
【出 处】
：
计算机工程与应用
【发表日期】
：
2004年期
【基金项目】
：
国家自然科学基金;
其他文献
在傅里叶测量轮廓术中,由于连续傅里叶变换的离散化,即采用的是离散傅里叶变换,必然会产生漏频和混频等效应,从而对相位的求解造成较大误差,本文着重讨论了漏频的情况,通过理
用数值方法和实验方法研究了脉冲柱面波在液固界面上的反射声场. 计算出以灰度表示的声场图像, 并给出了反射波的波阵面上一系列暗区所对应的入射角qn(n = 1,2,3,…). 从schl
介绍了两种面向电机控制的数字信号处理器,TI公司的 TMS320X240和 Motorola公司的 DSP56F805, 对两者的性能进行了比较,并通过实验证明了全数字交流伺服系统应用 DSP可以获得
对属性--统计混合聚类算法进行研究.在属性均值聚类算法和Woodbury算法的基础上,对目标泛函进行改进,提出属性--统计混合聚类算法.文章证明了属性均值聚类算法和模糊C均值聚
1-乙基(2-丙烯酸酯-1-基)-2-苯并咪唑氨基甲酸甲酯是合成多菌灵高分子化学型缓释剂的重要单体.本文报道了1-乙基(2-丙烯酸酯-1-基)-2-苯并咪唑氨基甲酸甲酯及其制备过程中的
有机聚合物先驱体由于其分子可设计性好、成型方便、低温裂解转化为陶瓷的特点,在陶瓷纤维和纤维增韧陶瓷基复合材料的制备中表现出极大的优势。针对先驱体转化法体积收缩大
1.前言 在纸厂中,复卷机主要负责对母纸卷进行复卷纵切的功能,也就是将造纸机卷纸部卷取的带铁心母卷通过复卷机分割成多套带纸心的小纸卷,复卷后的小纸卷既可以直接通过热
3976催化剂是为适应现有加氢裂化装置扩能改造的需要而开发的一种高抗氮、高生产灵活性加氢裂化催化剂.该催化剂在具有高活性、高生产灵活性的同时,还具有优异的抗氮性能,在
提出了一种适用于可编程加密芯片的可重组体系结构.该体系结构的硬件逻辑电路能够根据不同的应用需求,重新组织,构成不同的电路结构,实现不同的功能,以匹配不同的应用需求.
根据系统级BIT设计的要求,明确了系统级BIT设计中测试选择所需解决的问题,提出了测试选择的基本思想;在此基础上,利用系统级故障隔离的间接熵法实现了系统级BIT设计中的测试