【摘 要】
：
列车通信设备是一种嵌入式系统。有效地测试这类设备是列车运行系统质量保证的重要手段。嵌入式系统测试的重要任务之一是有效地生成测试用例。本文提出基于接口自动机(I
【机 构】
：
北京大学软件与微电子学院,北京102600清华大学计算机学院,北京100084
【出 处】
：
全国第十届嵌入式系统学术会议暨技术论坛(ESTC2012)
论文部分内容阅读
列车通信设备是一种嵌入式系统。有效地测试这类设备是列车运行系统质量保证的重要手段。嵌入式系统测试的重要任务之一是有效地生成测试用例。本文提出基于接口自动机(Interface Automata)自动生成测试用例技术。现有的接口自动机技术只支持同步消息的发送与接收，而列车通信设备还需要处理异步消息的发送与接收。为此，本文对接口自动机理论进行了扩展，以便支持列车通信设备异步消息通信的需求。依据列车通信网络的规范，本文使用扩展了的接口自动机对列车通信模块及通信模块的组合作了形式化建模，依据测试覆盖准则，自动生成测试序列，并利用模型驱动技术自动生成测试脚本。本文讨论了手工测试用例生成及所提出的自动生成测试用例技术，展示后者从测试覆盖、时间节约方面的有效性。
其他文献
目的：用西门子3T高场磁共振对经病理证实的前列腺中央腺体疾病患者进行常规序列检查以及扩散加权扫描(DWI)和磁共振动态增强扫描(DCE-MRI),分析前列腺癌(PCa)、基质增生为主型
"一带一路"已成为中国连接世界的通道,中国经典文学如何在该语境下"走出去"成为国内学术界关心的焦点。中西方文化存在很大差异,跨文化阐释为异国之间文化交流的"互联互通"提
本文利用多元统计分析方法,研究了农民受基础教育水平与农民的人均纯收入,人均粮食产量以及非农产业选择之间的关系。
随着国内消费者生活水平的不断提升,消费结构的升级及消费观念的转变,消费群体对于高品质的进口水果有着巨大的需求,通关的便利化也让消费者能接触到更多进口水果的品种,消费
绥阳是一片红色故土,在脱贫攻坚"新长征"中,该县坚持抓党建促脱贫攻坚,让红色深入人心,让红色凝聚能量,让红色激发斗志。红色基因成为绥阳儿女新时期汲取前行动力的源泉,插在
目的:观察糖脂清颗粒对2型糖尿病大鼠心肌组织血管紧张素Ⅱ1型受体(AT1R)蛋白和m RNA表达的影响,探讨其干预2型糖尿病大鼠心肌纤维化的机制。方法:雄性SD大鼠,采用高糖高脂饲
水土流失引发的非点源污染是清水河流域河流水质的重要影响因素之一,其水质状况关系着张家口市人民的用水安全和即将到来的2022年冬奥会的用水需求。本文通过实地取样和数据
陈实功《外科正宗》倡导"排毒为第一要义","注重顾护脾胃","重视情志调理","诊治强调内外并重","重视整体,强调辨证"等学术思想。陈氏学术思想充实和发展了中医外科学的理论
<正>肺癌是世界最常见的恶性肿瘤之一,全世界每年新发肺癌患者约120万例,死亡约140万例,死亡率在各种恶性肿瘤中居首位[1]。目前我国每年新增确诊肺癌患者在60万人以上,并且
<正>在新型城镇建设中使用PPP模式,关键是不要生搬硬套、盲目借鉴,而是要深入了解各地实际予以灵活借鉴,才能促进当地城镇化建设持续、健康地发展。城镇化是保持经济持续健康