论文部分内容阅读
针对数据结构的性质,特别是链式数据结构,提出一种自动测试中的状态生成算法。结合传统的模型检测思想从自动测试生成的角度对程序的状态空间进行搜索,在有效地生成测试程序状态的同时保证了程序状态的完全覆盖。该方法采用程序员熟悉的程序逻辑的描述方法,更易于使用。
自动测试中的状态生成算法
【摘 要】
：
针对数据结构的性质,特别是链式数据结构,提出一种自动测试中的状态生成算法。结合传统的模型检测思想从自动测试生成的角度对程序的状态空间进行搜索,在有效地生成测试程序
【机 构】
：
成都东软信息技术职业学院,武汉大学计算机学院
【出 处】
：
计算机工程
【发表日期】
：
2010年19期
其他文献
一、教材分析本节课前面研究了曲线与方程的对应关系,介绍了坐标法和解析几何的基本思想,以及解析几何的基本问题,即曲线的已知条件求曲线方程;通过方程研究曲线的性质.本节
针对船用污水处理装置运行状态的监测问题,提出一种含时间因子的正交状态基设备运行状态分类模型。根据设备系统的运行特点、条件及各状态的时间属性,确定训练集变量的取值特
课堂提问是数学课堂教学的重要手段之一,是教师开启学生心智、促进学生思维、增强学生的主动参与意识的基本控制手段。尤其是对小学数学课堂教学,提问就更显其重要性。课堂提
目的：了解老年人缺牙及修复情况。方法：方法依据本院门诊修复科就诊的826例老年人缺牙特点、病因及义齿修复情况。结果：826例老年人中，缺牙者760例，占总数的92％，缺牙病因是龋病和牙
目的：探讨年龄与小儿惊厥的关系及临床意义。方法：对生后1天～8岁惊厥的小儿按不同年龄、不同病因进行分类。结果：小儿惊厥病因复杂，发病广泛；其中新生儿缺氧缺血性脑病占新生儿组的
<正> 炒青眉茶是我国主要茶类,由于初制的炒干机性能不善,制成茶叶存在松、扁、碎、钩缺点,制约了品质提高,前人曾为此作了许多探索,都未能达到预期目的,致使眉茶炒干机成为
目的：探讨高海拔地区HBV血清标志物不同年龄段的感染率及模式。方法：男66812例，女61484例，年龄3天～93岁，平均42．57岁。用美国伯乐450型酶标仪，定值血清(卫生部免疫中心)，试剂(上海科华
我国市场经济的持续发展, 促使劳务派遣开始在我国兴起. 以当前市场经济发展情况为基础,结合近年来劳务派遣用工薪酬处理工作的特点, 深层探索各行各业劳务派遣用工薪酬处理
在基于身份的高效无证书签名方案中，签名者在生成签名时既不受公钥证书认证的约束，又无需PKG为其生成基于身份的部分公钥，从而导致任何人均可伪造其他人的签名。针对该问题，给出