面向对象软件测试的蜕变关系构造方法

来源 :计算机应用 | 被引量 : 6次 | 上传用户：supperprecom

【摘要】

：

针对面向对象软件类级测试中方法序列调用时的Oracle问题,提出了一种基于代数规格的面向对象蜕变关系构造方法,并根据此方法进行蜕变测试。首先基于代数规格给出面向对象测试中蜕变关系的构造准则,然后根据构造准则对GFT(Generating a Finite number of Test cases)算法中范式构造蜕变关系方法进行改进,最后通过一个整数栈类对提出的蜕变关系构造准则进行了验证测试,并与G

【作者】

：

侯雪梅于磊张兴隆李志博

【机构】

：

信息工程大学网络空间安全学院

【出处】

：

计算机应用

【发表日期】

：

2015年10期

【关键词】

：

面向对象蜕变关系代数规格变异检测率 object-oriented metamorphic relation algebraic specificatio

【基金项目】

：

国家自然科学基金资助项目（61402525）,郑州市科技攻关计划项目（141PPTGG383）.

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

基于参数化的三维颅面配准

针对颅面配准问题,提出通过对颅面进行参数化将其转换成二维参数域的对应问题。首先,根据人类的生理特征标定6个特征点,利用这些特征点将颅面转换到一个统一的坐标系以实现姿态和大小的统一;其次,以两个外眼角为约束对参考颅面进行最小二乘保角映射,计算出6个特征点的参数值;然后,以这六个生理特征点的参数值为约束,利用最小二乘保角映射将任一待配准模型映射到二维参数域;最后,根据二维参数域确定三维颅面上的对应点,

期刊

非刚性配准颅面最小二乘保角映射参数化迭代最近点non-rigid registration cranioface Least Squares Conf

任务 IP 网装备入网安全控制的实现方式

针对装备接入任务IP网存在认证困难的问题,通过对集中式MAC地址认证技术进行分析,提出远程认证与本地认证结合,自动认证与手动认证结合,以及二次认证等应用策略,并对策略实现进行设计,总结出基于集中式MAC地址认证技术的装备入网控制实施办法。

期刊

8021X协议集中式MAC地址认证远程认证本地认证二次认证802.1X protocol centralized MAC （Media Access

市场经济条件下思想政治工作的思考

本文着重就思想政治工作的"定位",市场经济与思想政治关系、主体与客体关系、学习与工作关系、继承与创新、过去的困惑和今后的思路等几个方面的关系,进行辩证思考.

期刊

思想政治工作客体市场经济条件主体继承辩证思考困惑

加强机关作风建设实现铁路跨越式发展

加强机关作风建设,是实现铁路跨越式发展的重要保证。机关工作繁琐,涉及面广,政策性强,机关工作直接起着上情下达,下情上达的服务性作用。机关工作人员的表现好坏、素质和水

期刊

机关作风铁路企业企业管理跨越式发展

面向对象软件测试的蜕变关系构造方法

与本文相关的学术论文