面向航电软件测试的建模描述语言研究_论文

维普资讯 http://www.cqvip.com 面 向航 电软 件测 试 的建模 描 述语 言研 究  ? 3? 5   面 向航 电软件测试 的建模描 述语 言研 究  何俊涛 ,杨顺 昆 ,张 虹  10 8 ) 0 0 3  ( 北京航空航天大学 工程 系统工 程系 , 北京 摘要 : 对航 电嵌入 式软 件仿 真 测试 的特 点 , 针 阐述 了仿真 测 试过 程 中建模 的 要 求 和模 型 的结 构 与特 性 ,   在此 基础 上 , 计 并 实现 了一种 面 向航 电软件 测 试 的 建模 描 述 语 言 ( T L 。 对 S MD 设 S MD ) T L的语 法语 义  和描 述规 则进 行 了详 细介 绍 , 阐述 了该建 模描 述语 言的特 点和 工程应 用 。 并   关键 词 : 电软 件 测试 ; 真模型 ; M S MD   航 仿 X L;T L 中图分类号 :P 1  T39 文献标识码 :   A 文章编号 : 0 — 89 20 )8 0 5 — 4 1 0 82 (06 0 - 0 3 0  0 Re e r h o   i n c S fwa e Te tn   in e   o ei g De c p i n La g a e s a c   n Avo i  o t r   si g Ore t d M d l   s r t   n u g   n i o HE u -a ,YANG  h n k n J n to S u -u ,ZHANG  n   Ho g ( eat et f yt   nier go n i r gT cnlg, ehn  nvr t B in 0 0 3 C ia D pr n o  s m E gnei   E g ei  ehooyB iagU ie i , e ig10 8 , hn) m   S e n f n n sy j   Ab ta t W i   o sd r t n o   ec a a tro  vo i  mb d e  o t a e s lt n t s n ,a d t ea ay i sr c : t c n i e a o   f   h rc e  f in c e e d d s f r   i a o   t g n     l ss h i h t a w mu i ei h n   o  d eigrq ie n  d mo e tu tr ,   e   d l gd srpinl g a en me   T fmo l  e urme ta   d l r cu e an w mo ei  e ci t   n n s n o a u g   a dS MDL i d sg e , n     ein d  s n     y tx a   e c p i  o mua o   T a d t e s n a   d d s r t n f r l  f S MD   r   x a a e , d t e c a a t r a d a p i ain a e e — h n i o L ae e p t td a     h r ce     p l t   r   x   i n h n c o pai d. l ne   Ke   r s a incs f r et g smuaemo e; M L S MD   ywo d : vo i ot ets n ; i lt  d lX wa i ;T L 航电软件多为嵌入式软件 , 对嵌入式系统进行测  试公认的一种有效方法就是仿真测试 , 即采用模型驱  动的测试方法 , 真模型来代替真实设备 , 用仿 模拟被测  系统运 行所 需 的交 联 环境 , 动被测 系 统运行 , 驱 施加 测  试输入 , 接收被测系统的输 出, 进行 自动的 , 非侵入的 ,   闭环 的测试 。仿 真测 试 可 以有 效 地 降低 测 试 成 本 , 完  成 一些 真实 环境下 难 以做 到 的测试 … 。   仿真模型是仿真测试 的主体, 仿真模 型是一段程  序, 运行在测试平台上, 模拟被测系统交联设备的功能。   测试平台通过物理总线与被测系统连接 , 仿真测试过程  中, 仿真模型发送数据作为测试输入给被测 系统, 同时  接收被测系统的响应 。从被测系统的角度看, 仿真模型  就是交联设备。图 1 为仿真测试环境示意图。   建模过程就是生成仿真模 型代码 的过程。 目前 ,   建模方法多采用可视化 自动建模 , 借助于建模工具 , 根  据用户建模信息的输入 , 自动生成模 型代码 , 完成建模  过程。   对于航 电嵌入式软件仿真测试 来说 , 不同的测试  需要构建不 同的仿真模 型, 同一测试项 目有时还要对  已有 的模 型追加 新 的特性 。这 就需 要 自动化 建模 工具   具有清晰的模型需求描述能力和可扩展表述能力 。   为了满足这一要求 , 本设计 实现 了一种仿真测试  建模描述语言 (T D ,iu t t t oen ec b  S M L s l e e   d lgdsr e m a   sm i i l gae , n aug )用来描述 仿真测试 中的仿真模 型, 存储建  模信息 , 构建代码转换规则 , 并最终生成模型代码 。   S MD T L是一种 结构 化 的语 言 , X ( 由 ML 可扩 展 标  记语 言,x ni em r pl gae 扩 展定 义 而 成。 et s l a u   ug ) e b  k a n   SM L T D 根据模型的结构特点进行设计 , 能有效地描述  仿真测试建模的需求 , 完成建模过程 。   1 S M L的设计思想    TD 图 1 仿真测试环境  收稿 日期 :0 5—1 2   20 2

相关文档

面向嵌入式软件测试的仿真建模
军事概念建模形式化描述语言比较分析
群体行为建模语言解释器与应用描述方法研究
面向汽车动力学自动建模的模型描述语言研究
嵌入式软件测试中的仿真建模方法研究
软件测试度量的模糊数学评价方法研究
基于软件测试的软件可靠性评价技术研究
航电建设项目后评价指标及评价方法研究
在程序设计语言的教学中贯穿软件测试的思想
用统一建模语言描述基于构件的系统
电脑版