论文部分内容阅读
在面向对象程序功能性测试中,扩展有限状态自动机(ESFM)是一种有效的建模袁示方式.本文主要探讨面向对象程序回归测试中的用例选择技术,对程序对应的EFSM模型进行数据依赖和控制依赖分析,确定程序中修改部分的波及影响,再进行测试用例的选择.
基于依赖性分析的回归测试用例选择
【摘 要】
：
在面向对象程序功能性测试中,扩展有限状态自动机(ESFM)是一种有效的建模袁示方式.本文主要探讨面向对象程序回归测试中的用例选择技术,对程序对应的EFSM模型进行数据依赖和
【机 构】
：
华中科技大学
【出 处】
：
微计算机信息
【发表日期】
：
2005年11X期
【基金项目】
：
国防预研基金
其他文献
为了远程测量和控制多路设备温度,采用一种积分电路精确测量PT100热电阻的阻值。同时采用AT89C51单片机对所得数据进行非线形补偿,并通过RS-485总线接口,将所获得数据传送上位机,以便真空控制系统的联网控制。由于本模块对输入量同时采用硬件和软件的非线形补偿,故具有精度高、可靠性较好、电路简单、成本低、体积小、生产调试方便等特点。
一．军犬扑咬作为独立科目，能发挥它的独特作用军犬扑咬是利用军犬凶猛的攻击性和主动防御的先天特性，经过专门训练后用于巡逻、警戒、潜伏、押解、反恐、防暴等任务。在使用中能
随着集成电路技术的飞速发展以及SOC系统的出现,电路的测试难度在不断增大,严重制约了SOC技术的发展,文中从SOC可测性设计出发全面介绍IEEE P1500,通过研究对比当前适用于SOC
对考虑粧端阻力的桥梁桩基施工单桩承载力的计算方法进行了研究,通过分析单桩承载力的影响因素,确定了桩与土的相互作用关系,再通过计算桩端阻力与桩侧阻力得到了单桩承载力
通过对平面物体拍摄多幅图象,利用视觉标定技术,求出物体在世界坐标系下的坐标,消除了由于摄像头参数不同对图象拼接造成的影响,实现了在世界坐标系下构造实际物体整体的目的;同时利用具有视觉不变性的特征量,解决了拼接时数据的取舍问题。
讨论了仿人机器人采用伺服电机作为驱动时所需步态的特征,对不同人的走和跑等步态设计了相应的实验,通过测试仪器获得相应数据。通过分析得到了相应的运动特征,为仿人机器人
针对分布绕组弧形直线感应电机端部绕组过长、用铜量较大、端部电阻较大,所占空间较多等缺点,采用一种集中绕组弧形直线感应电机结构。在其他参数相同的前提下,改变电机绕组
介绍了一种基于CAN总线的多功能大型粮仓远程监测系统,详细描述了系统的总体结构原理、硬件电路组成和软件的设计.该系统不仅能实时监测温度和湿度,而且还能监测粮食虫害的发
电驱动平地机行驶路况复杂,行驶过程中时常会出现部分电机发生通讯或系统故障,需要在驱动控制过程中采用主动的故障控制机制,以确保车辆安全行驶。当平地机在两侧附着系数相