论文部分内容阅读
软件测试是保证软件质量的重要手段,软件测试工具可以使测试过程变得自动化,覆盖分析为测试提供了可信度测量。该文研究了Java多线程动态测试中的覆盖率分析和线程分析一些度量标准,实现覆盖分析自动化和线程分析自动化的关键技术是程序插装。文章给出了实现此测试所需要的插装。
Java多线程动态测试中的插装
【摘 要】
：
软件测试是保证软件质量的重要手段,软件测试工具可以使测试过程变得自动化,覆盖分析为测试提供了可信度测量。该文研究了Java多线程动态测试中的覆盖率分析和线程分析一些度量标准,实现覆盖分析自动化和线程分析自动化的关键技术是程序插装。文章给出了实现此测试所需要的插装。
【机 构】
：
浙江大学计算机系
【出 处】
：
计算机工程与应用
【发表日期】
：
2001年19期
【基金项目】
：
国家自然科学基金(编号:60073027)资助
其他文献
全区建设系统党风廉政建设工作会议3月13日在南宁召开。会议认真学习贯彻党的十七大精神以及自治区第九届纪委会第四次全会精神和全国建设系统党风廉政建设工作会议精神，回顾
用禽成髓性白血病病毒(AMV)感染SPF鸡，从不同部位组织中提取病毒总RNA，根据已发表AMVBAI-A株序列设计一对特异引物，利用RT—PCR反应扩增AMV群特异性抗原p27基因片断。检测结果表
当前软件系统开发的一个新趋势是大量使用Commercial off the Shelf简称为COTS构件产品，文章提出了基于元数据的COTS构件的概念，将构件中属性、行为、约束等以元数据的方式独立
蒙文图书室是服务广大基层干部职工、教师、学生以及农牧民为主要目标和任务的文化窗口,科学技术高度发展的今天,蒙文图书室必须为蒙古族科学文化和家庭生活,生产经营服务是
构件技术是近几年来迅速发展并受到高度重视的一门技术。该文分析了构件技术在仿真中的应用，介绍了基于构件技术的C^4ISR效能仿真系统的体系结构，并探讨了该系统设计过程中涉及
WDM环网以其灵活性、管理简单及生存性好等特点受到普遍重视。文章首先讨论了在进行WDM环网保护方式的设计中需注意的几个问题，并对目前可能有的几种WDM环保护方式作详细性能
文中把求解数据聚类问题转换为一个图形分割最优问题，提出一种快速的模拟退火算法。实验结果证明，快速模拟退火算法退火时间短，收敛速度快，把它应用于数据聚类中，可以获得较好的聚
<正> 目前菲律宾果品行业公布了一项行业计划,将扩大菲律宾水果出口量。业界人士希望该计划能使菲律宾的水果业上一个新台阶。 根据该计划,菲律宾水果出口商,包括忙果、香蕉
高校图书馆电子阅览室的科学管理是赋予图书馆人的新任务、新课题.高校电子阅览室以其健康、新颖的网络资源,便利的阅览条件以及优雅宁静的学习环境吸引着高校众多读者,成为