当前位置:首页 >> 信息与通信 >>

基于接口自动机的列车通信设备测试用例生成


第2 3卷 第 5期  2 0 1 3年 5月  计 算 机 技 术 与 发 展  C0MPU1 ' ER   TECHNOL OGY  AND  DEVE L0P MENT   5   V0 1 . 23   NO. Ma v .   2 O 1 3   基 于 接 口 自动 机 的列 车 通 信 设 备 测 试 用例 生成  郁  莲  , 李军龙  , 白晓颖  ,

刘  鑫  , 吴 中海  ( 1 . 北京大学 软件与微 电子学院, 北京 1 0 2 6 0 0 ;   2 . 清华 大学 计算机 学院, 北京 1 0 0 0 8 4 )   摘 要: 列车 通信设 备是 一种 嵌入 式 系统 。有效 地测试 这类 设备 是 列车 运行 系统 质 量保 证 的重 要 手段 。嵌 入 式系 统测 试  的重 要 任务 之一是 有效 地生 成测 试用 例 。文 中提 出基 于 接 口 自动机 ( I n t e f r a c e   A u t o m a t a ) 技术 自动 生成 列 车通 信设 备 的测  试用 例 。现有 的接 口 自动机技 术 只支持 同步 消 息的发 送 与接 收 , 而 列车 通信设 备 还需 要 处理 异 步 消息 的 发送 与接 收。为  此, 文 中对接 口自动机理 论 进行 了扩展 , 以便 支 持列 车通信 设备 异步 消息 通信 的需求 。依 据 列 车通 信 网络 的规 范 , 文 中使  用扩 展 了的接 口 自动机 对列 车通信 模块 及通 信模 块 的组合 作 了形式 化建 模 , 依 据 测试 覆 盖 准则 , 自动 生成 测试 序 列 , 并 利  用模 型 驱动技 术 自动生 成测试 脚本 。文 中比较 了手工 生成 测试 用例 方法 及所 提 出 的 自动 生 成 测试 用 例技 术 , 展示 后 者从  测试 覆 盖 、 时 间节 约方面 的有 效性 。   关键 词 : 嵌入 式系统 ; 列 车通 信 网络 ; 接 口 自动机  中图分 类号 : T P 1 8   文献 标识 码 : A   文章 编号 : 1 6 7 3 — 6 2 9 X( 2 0 1 3 ) 0 5 — 0 0 0 1 — 0 5   d o i : 1 0 . 3 9 6 9 / j . i s s n . 1 6 7 3 — 6 2 9 X. 2 0 1 3 . 0 5 . 0 0 1   Te s t   Ca s e   Ge ne r a t i o n   f o r   Tr a i n  Co m m un i c a t i o n  De v i c e s   Ba s e d   o n  I nt e r f a c e   Aut o ma t a   YU  Li a n  , LI   J u n—l o n gI BAI   Xi a o—y i n g  , LI U  Xi n  , W U  Zh on g— ha i   , ( 1 . C o l l e g e   o f   S o f t wa r e   a n d   Mi c r o e l e c t r o n i c s , P e k i n g   U n i v . , B e i j i n g   1 0 2 6 0 0, C h i n a ;   2 . C o m p u t e r   C o l l e g e , T s i n g h u a   U n

相关文章:
基于正则文法的自动机生成系统
基于正则文法的自动机生成系统 给出了自动机生成系统的需求,详细的用例描述,类设计,用例的序列图描述,以及类实现代码给出了自动机生成系统的需求,详细的用例描述,类...
基于矩阵自动机的知识化制造单元的建模与控制
基于矩阵自动机的知识化制造单元的建模与控制_机械/...生成数据字典和基元描述;④建立人机接口,提出可 供...系统实现以及现网试运营测试,本实时通信系统为公司签...
04下半年软件设计师考试试卷及答案
●某一非确定性有限自动机(NFA)的状态转换图如下...(30)A.用例图 B.构件图 C.活动图 D.类图 (31...(42)A.车次 B.始发站 C.发车时间 D.车次,始...
UML 试卷及答案
用例 D、实体 8、(D)是系统中遵从一组接口且提供...“F5”键自动生成; 10、组件图用于对系统的静态...消息通信在面向对象的 语言中即(C) A、方法实现 ...
IaaS设备测试规范
IaaS设备测试规范_信息与通信_工程科技_专业资料。中国...中国联通基于云计算的内部支撑系统建设也在逐步推进。...项目: 用例编号: 参考文档: 测试目的: CPU CPU...
《嵌入式系统》课程设计题目 (1)
环境下编写以太网接口的 TCP 通讯程序, 3 实现两...) 31. 基于嵌入式环境下WML解析自动机的设计(单...不平顺程度,指导线路养护维修工作,确保列车运行安全)...
助理工程师考试卷与答案
abc+-*d ●下图所示的有限自动机中,s0是初始状态...设计和生成测试用例 D.生成测试报告 ●某系统中一...连接在集线器上的故障设备不会影响其他结点通信 C....
2009年上半年软考程序员考试上午试卷及答案
abc+-*d ● 下图所示的有限自动机中,s0 是初始...编制测试大纲 C. 设计和生成测试用例 D. 生成测试...连接在集线器上的故障设备不会影响其他结点通信 C. ...
2013上半年软件设计师上午试题及标准答案
35.A.仅确定测试用例的输入数据,无需考虑输出结果 ...生成器 46.A.将已有类的接口转换成和目标接口兼容...“aa*bb*”描述,但不能通过有限自动机识别 B....
软件设计师考试历年试题
火车的故事 66页 免费 通信管道工程竣工资料模......流程图进行测试时,至少需要设计 (35) 个测试用例。...IdentityVerifier 接口 ● 下图所示有限自动机的特点...
更多相关标签:
测试用例自动生成工具 | 测试用例生成工具 | 自动生成测试用例 | idea自动生成测试用例 | java自动生成测试用例 | java测试用例生成器 | 测试用例生成器 | eclipse生成测试用例 |