论文部分内容阅读
针对数据结构的性质,特别是链式数据结构,提出一种自动测试中的状态生成算法。结合传统的模型检测思想从自动测试生成的角度对程序的状态空间进行搜索,在有效地生成测试程序状态的同时保证了程序状态的完全覆盖。该方法采用程序员熟悉的程序逻辑的描述方法,更易于使用。
自动测试中的状态生成算法
【摘 要】
：
针对数据结构的性质,特别是链式数据结构,提出一种自动测试中的状态生成算法。结合传统的模型检测思想从自动测试生成的角度对程序的状态空间进行搜索,在有效地生成测试程序
【机 构】
：
成都东软信息技术职业学院,武汉大学计算机学院
【出 处】
：
计算机工程
【发表日期】
：
2010年19期
其他文献
针对船用污水处理装置运行状态的监测问题,提出一种含时间因子的正交状态基设备运行状态分类模型。根据设备系统的运行特点、条件及各状态的时间属性,确定训练集变量的取值特
我国市场经济的持续发展, 促使劳务派遣开始在我国兴起. 以当前市场经济发展情况为基础,结合近年来劳务派遣用工薪酬处理工作的特点, 深层探索各行各业劳务派遣用工薪酬处理
在基于身份的高效无证书签名方案中，签名者在生成签名时既不受公钥证书认证的约束，又无需PKG为其生成基于身份的部分公钥，从而导致任何人均可伪造其他人的签名。针对该问题，给出