【摘 要】
：
车载ATP软件采用半形式化语言对需求进行描述,具有定义精确、二义性少的优点,但同时带来需求粒度变细、需求数目激增等问题,使软件测试工作面临新的挑战.而且原有测试方法效
【机 构】
：
卡斯柯信号有限公司200071上海
论文部分内容阅读
车载ATP软件采用半形式化语言对需求进行描述,具有定义精确、二义性少的优点,但同时带来需求粒度变细、需求数目激增等问题,使软件测试工作面临新的挑战.而且原有测试方法效率低、耗时长、一些重复工作依赖人工.为此,提出一种基于半形式化软件需求的自动化测试工具,从需求的自动化语法检查入手,分析需求变量之间关系,测试场景和用例辅助生成,测试脚本的自动转换,以及测试结果的自动分析.实践表明,应用该工具后,能显著提高ATP软件确认测试的效率.
其他文献
依托津秦客运专线信号电缆的现场实测条件,结合既有电气化铁路通信线路受电磁影响的经典理论分析,详细论证并布置了信号电缆单、双端接地对比测试方案,获得了近百趟列车的丰
目的观察益肾温阳活血法治疗慢性肾炎蛋白尿的临床疗效。方法将临床收集到的58例患者分为2组,治疗组和对照组各29例。治疗组服用益肾温阳活血汤,对照组服用肾炎舒颗粒,疗程6
目的 探讨血清骨桥蛋白和血管内皮生长因子在原发性肝癌患者中的表达。方法 依据研究对象的纳排标准,选择84例原发性肝癌患者作为观察组（HCC组）,同期选择30例健康体检者作为正
在轨道交通信号控制领域内,数据通信的实时性永远是一个重要的话题.简要介绍了实时通信技术在轨道交通安全计算机平台的应用背景,重点描述了POWERLINK通信子卡的设计原理以及
目的研究引起医院感染的主要病原菌的耐药情况,为指导临床合理选择抗菌药物提供依据。方法分析2015年宁夏某大型三甲医院,医院感染患者各类送检标本分离出病原菌的分布及耐药
目的 观察对比23G与25G双微前后节联合手术治疗56例黄斑疾病合并白内障的临床疗效观察。方法 56例黄斑疾病合并白内障患者,其中黄斑裂孔20例,黄斑前膜24例,黄斑牵拉综合征12
在飞速发展的信息时代,铁路列车车载Wi-Fi通信技术服务有必要进一步发展,以满足广大旅客不断增长的实际需要。铁路运营商也有利益优化的商业需求。美国Real Wireless公司首席
目的 探讨小腿骨筋膜间室综合征（OCS）早期准确有效的诊断及治疗方法。方法 收集小腿OCS患者77例,42例采用垂直水柱测压法测量骨筋膜间室内压力,早期诊断,及时切开减压,创面VSD
介绍了泛在化服务的概念,结合移动图书馆服务、用户环境嵌入式馆员服务、基于＂云计算＂的服务及全球网络图书馆服务,分析了数字化图书馆的泛在化服务模式。