【摘 要】
：
组件和基于组件的软件工程已成为软件工程领域的热点,其中有很多工作致力于研究如何构筑组件,却忽略了组件的测试工作.组件化程序设计方法对软件测试技术提出了新的问题和挑
【机 构】
：
浙江移动通信有限责任公司,浙江大学
论文部分内容阅读
组件和基于组件的软件工程已成为软件工程领域的热点,其中有很多工作致力于研究如何构筑组件,却忽略了组件的测试工作.组件化程序设计方法对软件测试技术提出了新的问题和挑战.本文中,笔者首先介绍传统的接口变异测试方法,在此基础上,通过引入作用于接口描述语言的变异算子,提出了面向组件的接口变异测试方法以及基于这种方法的测试充分性度量准则MC和IM.该方法很好地解决了在组件测试中,源代码不可知的问题.然后以MC和IM为依据,给出了一种使用MC和IM进行测试的测试方法论.
其他文献
从理论上探讨小应变与大应变两类固结理论的联系和区别,并分析了应用Lie群变换法求解非线性固结方程的一些问题,给出了固结方程的相似变换及其物理解释.最后,就一些简单情况,
为提高网络系统的稳定性、可靠性和可维护性,提出了一种基于网络设备运行状态参数的网络故障诊断方法,该方法结合多智能体技术,具有运算简单、故障诊断速度快等特点,为网络管
为了使光刻结果更好地符合版图设计,保证在硅片上制造出的电路在功能上与设计电路一致,提出了一种对掩模进行自动补偿的系统性技术.根据光刻机和光刻胶特性,模拟了实际的光刻
为了解决常规反演算法收敛速度慢、无法处理不完全投影和先验信息等问题.提出基于广义逆的层析成像反演方法,将广义逆和求解一般方程组的理论统一起来.阻尼系数的确定是此类
介绍了水泵瞬态试验装置和试验过程,对一台叶轮直径为125 mm的管道离心泵进行了试验,通过快速响应测试仪表和高速数据采集系统实现瞬态参数的采集.给出在4种不同管路参数下离
针对不确定的线性系统,研究鲁棒梯度型迭代学习控制的设计问题.通过分析系统不确定性对反馈闭环控制和前馈学习控制的影响,给出了保证迭代学习控制在有限时间段上鲁棒收敛的
给出一种用于荧光灯电子镇流器的智能化电源管理集成电路的设计.其独特的电路结构设计使该电路芯片可在低电源电压下工作,从而可利用12V低压BiCMOS工艺实现.该电路工作时只需
基于RGB彩色信息建立自适应背景模型,通过背景抽取检测快速运动目标,同时利用运动目标的边缘特征作补充,在色调、色饱和度、光强(hue,saturation,intensity,HSI)彩色空间,根据运动阴影的运动属性及自身的物理特性检测阴影,通过阴影的抑制进一步提高运动目标检测的准确性.实验结果表明,该方法能够有效地检测快速运动目标、抑制阴影、提高智能交通系统的性能.
为研究稀土微合金化在纳米纤维强化Cu-Ag合金中的作用,制备了纤维相增强Cu-12%Ag和Cu-12%Ag-0.3%RE合金.采用冷拉拔结合中间热处理方法制备该类合金,观察并测定了不同变形程
分析了统计判别和神经网络分类方法的特性和优缺点,提出了两种不同类型的方法集成的策略,先用神经网络自学习功能变换样本,使其分布有利于分类;再用统计方法提取特征,进而建