基于方法序列规范的测试用例生成

来源 :计算机科学 | 被引量 : 0次 | 上传用户:lx305954308
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
<正> 1 引言面向对象软件测试技术的研究是最近几年才引起重视的一个新领域。OO程序由于引入了封装、继承、多态等概念和机制,在程序的组织结构和运行机制上与传统的程序有很大差别,因而也对软件测试技术提出了新要求。无论是传统程序还是OO程序,测试活动通常分4个步骤进行:(1)确定测试准则;(2)基于测试准则构造
其他文献
<正> 1 引言移动agent技术为分布式计算提供了一种富有活力的新的计算模式,其优点已广泛地为人们所认识,成为目前DAI和分布式计算领域的一个研究热点。研究移动agent技术产生
遵义师范学院百年校史文化墙设计以黔北红色文化和沙滩文化为底蕴,以学校百年校史为线索,以现代大学人文思想为指引。文化墙采用具象结合构成性的浮雕语言,具体方案以“沃土
针对南方高温高湿地区,稻谷储存过程中易产生黄变、品质劣变等问题,通过跟踪空调控温条件下稻谷在整个轮换储存周期的质量指标和储藏品质指标,探讨各指标的变化规律。结果表
为检验重载货车轻量化铝合金托盘的结构安全,通过工艺试验确定6061-T6铝合金弧焊接头的拉伸力学性能和断口特征,基于名义应力方法确定2种铝合金托盘结构的设计强度,采用线性
<正> 1 引言在许多动态系统中,系统的输入输出数据容易得到,而其模型难以确定,使得系统辨识和控制变得非常困难。多层前向神经刚络可以通过输入输出数据点对逼近任意连续函数