论文部分内容阅读
测试用例的生成是软件测试的关键和难点所在。基于UML状态图的测试是近年来研究的热点。本文根据UML状态图的层次结构，提出了对UML状态图分层产生测试用例的测试用例生成方法。对迁移关系冲突而导致测试无法正确执行的情况，给出了插入测试子序列来避免迁移冲突的测试方法。
基于状态图的测试用例自动生成方法
【摘 要】
：
测试用例的生成是软件测试的关键和难点所在。基于UML状态图的测试是近年来研究的热点。本文根据UML状态图的层次结构，提出了对UML状态图分层产生测试用例的测试用例生成方法
【机 构】
：
华中师范大学计算机科学系
【出 处】
：
计算机与数字工程
【发表日期】
：
2007年1期
其他文献
信息系统开发人员在开发系统之前都要进行数据的建模，介绍了主流的信息系统建模方法，比较得出ORM（Object—Role Modeling）建模方法优于其它建模方法之处，研究了ORM运用对象角色建
全日制九年义务教育《数学课程标准（实验稿）》中提出：“知识技能、数学思考、解决问题、情感与态度这四个方面的目标是一个密切联系的有机整体，对人的发展具有十分重要的作用．”因
《数学课程标准》指出：“数学教学是数学活动的教学，是师生之间、学生之间交往互动与共同发展的过程．”因此，教学活动的设计是实现教学目标的关键．变式教学通过在教学过程中采用变
本文以08年江西卷理科第6题为考察对象，运用历史研究法，探究该类试题变化，发展的轨迹，试图揭示高考数学试题命制中的一些规律性的东西，供大家在高中数学教学中借鉴．
例题如图1，在矩形ABCD中，AB=3AD=4，P是AD边上的动点，PE⊥上AC于E，PF⊥BD于F，则PE＋PF的值为（）
提出一种即时信息检索体系结构的设计模型。首次将双基协同用于即时信息检索，特别注意到整个系统的负载问题，增加了缓冲知识库，并分析这种即时信息检索的设计方案。知识的可信和
【正】 干部的选拔、干部队伍的建设,历来被看成是我们党和国家的“百年大计、千年大计”。然而,过去由于“左”的思想影响,没有也不可能正确地解决这个问题。今天,在全面进
老年瘙痒性皮肤病病因复杂，发病机制不明，治疗难度大。笔者应用免疫调节剂斯奇康注射液（长沙九芝堂集团公司生产，0．5mg／1ml／支）联合抗组胺药物治疗老年瘙痒性皮肤病38例，取得了满意疗
1 “1”在三角函数的运用徐利治先生在《数学方法论选讲》一书中讲到：所谓数学模型，是指正对或参照某种事物系统的特征或数量相依关系，采用形式化的数学语言，概括地或近似地表述
采用基于DSP和USB架构实现视频图像的实时处理和存储,其中DSP作为系统对视频图像数据进行处理的核心,USB作为视频数据传输和存储的接口。介绍了该视频图像处理系统的硬件组成、工作原理和USB软件结构的设计。