【摘 要】
:
针对列控中心测试,介绍了基于UML状态图的列控中心测试路径生成方法.根据列控中心需求规范建立UML状态图模型;采用改进的深度优先搜索算法(DFS)自动搜索有向图得到从初始节点到
论文部分内容阅读
针对列控中心测试,介绍了基于UML状态图的列控中心测试路径生成方法.根据列控中心需求规范建立UML状态图模型;采用改进的深度优先搜索算法(DFS)自动搜索有向图得到从初始节点到终止节点的所有路径集合,利用贪心算法构造超串合并测试需求;利用路径集合扩展测试需求集合,最终实现测试路径自动生成;以列控中心改变区间运行方向功能为例,给出测试路径生成方法实现.
其他文献
9年前,我和张文登记结婚。我俩都有各自的生意,他有一家设计公司,我开了一家服装店。婚前,我们就约定婚后收入归各自所有。 婚后两年,我们有了女儿。为了照顾女儿,我关掉服装店,做了全职妈妈,全心全意照顾这个家,让张文没有后顾之忧。就在半年前,我发现张文有了情人,他还背着我用他的收入买了一套房,让情人住了进去。 我十分寒心,准备向法院起诉离婚。我眼下没有收入也没有房产,于是向张文提出要分割他新购
<正> 城市的生存和发展与地质环境息息相关。地质环境优劣直接影响城市的生存条件、持续发展和繁荣。现代城市,由于自然和人为因素以及人类一切经济活动,随之产生了城市地质
本文从研究趟车效益模型入手,对趟车成本的计算方法进行研究,建立了基于客票系统和清算系统业务数据的趟车盈亏点计算模型.提出建设铁路旅客列车开行效益评估系统的总体技术
一 在建筑日益发展的今天,"智能化大厦"、"智能化住宅"、"智能化小区"已经成为媒体的高频词,也成为房地产商推销新楼盘的一个新卖点。到底怎样的住宅能称得上智能化呢?清晨起
<正> 一个成功的房产营销,应是针对某一楼盘,通过创造性劳动来发掘市场的兴奋点,即卖点,在得到购房者认同前提下完成买卖并提供服务。开发的侧重点在于产品本身,而营销的侧重
洪灾面前,战士不分男女。她是芜湖荆山河大堤上最美的女兵,最红的旗帜。 2016年6月29日,在东部战区陆军某特战旅服役的佘小雪,高兴地从部队休假回到安徽芜湖老家。她本想在家好好陪陪父母,可是却接连三四天没见到爸爸。此时正是江南的梅雨天,听妈妈说爸爸上大堤抗洪去了,看着屋外雨越下越大,佘小雪在家里再也待不住了…… 佘小雪6岁习武,8岁参加市体校女足队集训,14岁考入安徽省体校专攻短跑,17岁
针对现有轨道交通热线中心系统功能单一、客户满意度不高、服务效率低、可扩展性不足等问题,设计并实现了一种基于J2EE轻量级架构的热线中心系统,系统将计算机集成(CTI)技术、
随着社会主义市场经济的发展,我国传统的单位制管理模式正逐步解体,而新的城市基层管理体制尚未完全形成,社会处于一定程度的失范状态.
中央经济工作会议指出:"发展小城镇是一个大战略."如何走出"一条马路两排房,有场无市空壳城"误区,实现"建一座城镇,兴一种产业,富一方百姓"?"中国烟花之乡"浏阳市首创"四轮兴
移动办公和互联网的发展为轨道交通监理信息化管理提供了技术条件。提出系统总体技术方案,设计系统功能模块,阐述关键技术的应用,总结并展望移动监理系统的发展前景,对监理企