论文部分内容阅读
本文描述了基于UML状态图生成测试用例的充分性准则.在测试时,循环被执行一次是很不充分的,本文提出了使循环分别执行0次、1次、2次,即ZOT循环覆盖准则,在此基础上本文还提出了全ZOT路径覆盖准则,并给出了这些覆盖准则的应用,讨论了这些覆盖准则之间的包含关系.
基于UML状态图测试的充分性准则
【摘 要】
：
本文描述了基于UML状态图生成测试用例的充分性准则.在测试时,循环被执行一次是很不充分的,本文提出了使循环分别执行0次、1次、2次,即ZOT循环覆盖准则,在此基础上本文还提出
【机 构】
：
上海大学计算机学院
【出 处】
：
计算机科学
【发表日期】
：
2005年5期
【基金项目】
：
国家自然科学基金
其他文献
为了明晰煤层气中CH4和N2在吸附剂上的平衡吸附、热力学和动力学扩散机制,以实验室制备椰壳活性炭为吸附剂,基于体积法测量了298~338 K,0~0.1 MPa下CH_(4)/N_(2)在制备活性炭
运动估计是MPEG-4形状编码的一项关键技术,本文提出了一种适用于形状编码的快速运动估计算法。算法首先在参考帧中进行扫描,得出视频对象的二值边界掩模;在匹配运算时使用lbit的异或运算代替原有的加法运算;设定有效的中止准则,对于静止点直接中止搜索;在搜索过程中采用了渐进消除算法,能够在不影响搜索精度的前提下减少搜索点。实验结果表明使用本文的快速搜索算法,运动估计中的运算量比MPEG-4 VM原有搜
新时代下,疫情下的网络心理健康教育成为促进大学生心理健康的重要抓手,网络心理健康教育课程中运用体验式教学具有重大意义,本文提出通过明问题、优课程、强队伍、实评价等
本文讨论了在 Sybase数据库中如何合理安排用户数据库的备份计划,给出了Sybase用户数据库恢复的方法,并结合实例详细说明了该方法的具体应用.
人民银行电子联行是我国银行业异地汇划资金的主要渠道,在加快资金周转,改善金融服务等方面发挥了积极作用.随着我国经济的增长,其业务量也在迅猛增加.但电子联行查询查复环
在类似闭环控制的硬实时数据库应用环境,实时事务具有一定的静态可预报性,其中实时事务的可调度性分析是维护实时数据库时间正确性的基础.通过利用抢占阈值,提出了一种新的实
目的探索飞行过程中采取不同触控姿势对飞行员手臂肌肉疲劳的影响,同时也为触摸屏在驾驶舱中的合理布置提供工效学理论。方法邀请10名男性青年基于模拟飞行触控平台进行静坐,
米诺地尔原本是钾离子通道开放剂,是降压药,但在临床中发现,它降压效果一般,生发却是好手,并因此一跃成为第一个被美国FDA批准用于促进毛发生长的药物,在脱发治疗中占据了重
很多人认为微软系统的安全性很差,这只不过是因为用微软系统的人最多,而他们普遍水平不高,不会作各种安全设置,所以才会觉得 Win2000服务器安全性很差.其实Win2000的服务器如