【摘 要】
：
结合UML状态图和Petri网提出了一种生成测试用例的方法。将UML状态图转换成对应的EN-系统模型，利用EN-系统的性质检测并排除UML状态图中的不可达状态和事件的冲突和冲撞；再应用
论文部分内容阅读
结合UML状态图和Petri网提出了一种生成测试用例的方法。将UML状态图转换成对应的EN-系统模型，利用EN-系统的性质检测并排除UML状态图中的不可达状态和事件的冲突和冲撞；再应用与合理的UML状态图对应的EN-系统生成可达状态图，利用可达状态图生成测试用例。该方法一方面可以很好地实现并行子状态的嵌套问题，避免了将并行的UML子状态展平成EFSM时引起的状态爆炸问题；另一方面，由于测试用例的覆盖标准是基于可达状态图的基路径、事件和可达状态覆盖，所以还很好地解决了对系统的不同测试要求和状态的可达性问题。
其他文献
阐述了计算机联锁控制系统采集驱动层的PLC与联锁逻辑控制层的联锁主机之间的通信方式,给出了基于Java的PC串行通信的程序清单,介绍了通信中所要用到的javax.comm类库的安装
在Word2000中,用户可以对常用的自定义图形命名,存放在"自动图文集"中.随着自定义对象的增加,调用"自动图文集"中的资料往往很不方便.如果将自定义对象分门别类地添加到菜单
信息技术与学科整合的实质是什么?尽管教育专家的观点有一定的差异,但都有一个共同的特点,那就是把计算机及网络作为学习的工具、作为教学的媒体,从而培养具有创新型和实践型
结合科研和教学实际，根据现有项目分散管理的特点、项目数据的格式以及办公系统的现状和管理的要求，基于动态服务器页面ASP（active server pages）和结构化查询语言SQL（structured
<正>一、认识UPS电源 UPS全称Uninterruptible Power System,即不间断电源。UPS是一种以逆变器为主要元件用于稳压稳频输出的计算机电源保护设备。它可以解决断电、低电压、
我们重新看了《人民子弟兵》栏目播出的《那山头,那高高的线塔》、《牧牛人》、《队列曹》、《有这样一个老汉》、《大写的人》等五部获奖的专题片。能不能把这类纪录真人真
近年来,温州金融界面临的一个比较突出的新问题是有钱用不出去,且金额不断扩大。这已引起经济、金融界和党政领导的广泛关注。本文对这个问题形成的原因作些分析。 (一) 历史
采用TPE软硬共挤可拆卸内门封体系的冰箱节能结构设计,不仅具有降低产品耗电量,提升产品能效等级等优点,而且可以提高不同产品间零部件的通用率,降低制造和仓储费用。
本文以A ligent 34970A(配34901A模块)数据采集器为例,着重阐述了利用A ligent Connection Expert软件,以RS-232为通信方式,来实现对检测仪器的控制。1引言在工程测试中需要使用多台仪器进行复杂重复性操作,手工测量大量数据需要相当大的人力和时间,很难满足测量速度和精度上的要求。通过RS-232接口能够将一系列程控仪器与计算机组建成自动测试系统,这样,计算
介绍了遗传算法的发展历史和图像分割的应用现状,分析了基于基本的遗传算法的图像分割方法,并将遗传算法与模糊集理论相结合用于医学图像分割,提出了基于模糊隶属度的遗传算法的医学图像分割方法。并对不同方法,如分割效果、计算代价进行了分析比较。