排序方式: 共有5条查询结果,搜索用时 0 毫秒
1
1.
UML是一种定义良好、易于表达、功能强大且普遍适用的统一建模语言,是面向对象建模领域的工业标准。介绍了UML统一建模语言及其建模工具Rational Rose,以考试信息系统为研究对象,分析了其需求和流程,并利用UML的用例图和顺序图及其建模工具Rational Rose对考试信息系统进行了建模。 相似文献
2.
对基于状态图生成集成测试用例的方法进行了研究,通过构造集成测试模型,重点描述了两个对象或组件的状态图进行合并的方法,并给出了状态图的形式化描述,以及如何对组合状态图进行展开用于集成测试用例的生成.为了验证该方法的实用性,又以实际项目研究为例,实现了基于状态图集成测试用例的生成工具,对该方法进行了验证,并给出了算法的部分实现代码.该方法将系统设计和测试用例的设计统一起采,是软件测试自动化的一个探索. 相似文献
3.
形态学联想记忆在异联想时,在对多个模式对进行记忆之后,逐一对每一个模式对的输入模式进行联想,存在得不到正确的输出模式的情形。对形态学联想记忆在异联想时存在的问题进行研究显得非常的必要,否则,对形态学联想记忆的改进工作就会变得盲目。分析形态学联想记忆的记忆性能,得到几个有意义的结论,通过字符图像的仿真实验,对这些结论进行了验证。 相似文献
4.
基于UML集成测试模型的生成方法 总被引:1,自引:0,他引:1
UML中的状态图和通信图可共同作为生成测试用例的模型,用于集成测试用例的生成.在通信转换的基础上采用深度和广度搜索得到没有冗余的组合状态图,提出一种形式化组合状态图中组合状态的方法,使集成测试模型更加简单,实验结果表明易于生成集成测试用例. 相似文献
5.
EFSM是一个没有层次和并发结构的状态图,因此很难处理较复杂的软件系统,而且由于EFSM中存在前置条件,使得生成的测试序列有可能存在不可达性。该文提出一种将EFSM转化为精简有限状态机(FSM)的转换算法,很大程度上减少了中间产生的等价状态,并有效防止了组合间爆炸问题的出现,得到的精简FSM最小可达。 相似文献
1