切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
RASL:嵌入式自动化测试语言
RASL:嵌入式自动化测试语言
来源 :计算机工程与设计 | 被引量 : 0次 | 上传用户:fdahofafh
【摘 要】
:
针对面向信号的测试语言ATLAS2000和面向协议的测试语言TTCN-3的缺陷,设计一种可应用于嵌入式系统软件测试的测试描述语言RASL。详细阐述RASL语言的运行模式、设计思想、模型
【作 者】
:
刘继华
白凤凤
强彦
【机 构】
:
吕梁学院计算机科学与技术系,北京航空航天大学计算机学院,太原理工大学计算机科学与技术学院
【出 处】
:
计算机工程与设计
【发表日期】
:
2019年6期
【关键词】
:
嵌入式系统
自动化测试
测试语言
协议描述
实时仿真
embedded testingautomated testingtesting languageprot
【基金项目】
:
国家自然科学基金项目(61572344),国家重点实验室开放基金项目(VRLAB2018A08、BUAA-VR-16KF-13),山西省教育厅教学改革基金项目(J2018193),吕梁学院校级自然基金项目(zrxn201507)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对面向信号的测试语言ATLAS2000和面向协议的测试语言TTCN-3的缺陷,设计一种可应用于嵌入式系统软件测试的测试描述语言RASL。详细阐述RASL语言的运行模式、设计思想、模型和程序结构,通过实例验证了该语言在支持嵌入式系统的自动化测试的有效性。
其他文献
标准模型下基于身份的认证密钥协商协议
目前的大多数认证密钥协商协议安全属性不全面,且多数只能在随机预言模型下证明安全性,为此提出一种基于身份的认证密钥协商协议,具备抗密钥泄露伪装攻击、完全前向安全性、
期刊
基于身份
认证密钥协商
强安全
标准模型
q-ABDHE数学问题
identity-based authenticated key agreement stro
从政治价值到伦理品格:核心价值观教育的道德建构及学校融入
核心价值观教育已经被作为法律规范纳入学校教育之中,它既具有现实安排的正当性,也具有理论上的正当性。然而,作为一个问题应当解决的是,如何使其正确扮演在学校德育中的角色
期刊
政治道德
伦理品格
核心价值观教育
仿生学改变数据包传输的无线网络路由算法
针对大规模无线网状网络数据包丢失和能量损耗问题,受蚕蛾寻找信息源的飞行技巧的启发,提出一种基于仿生学的路由算法。算法主要分为3个阶段:初始化阶段,其目的是确定其相邻节
期刊
仿生学
字典管理器
最短路径
路由
Z字形
bionics dictionary manager shortest path routing Z font
血余炭治病小验方
人的头发中医称为“血余”,煅炭后入药叫“血余炭”,含钙、钠、钾、锌、铜、铁、锰等元素。药理实验证实,血余炭能缩短出血和凝血时间,以及血浆再钙化的时间,能治吐血、尿血、鼻出
报纸
老年退行性心脏瓣膜病55例误诊分析
资料与方法我们收集2002年-2005年国内有关文献发表及在我院诊治的老年退行性心瓣膜病200例,其中误诊55例,误诊率为27.5%。其中被误诊为冠心病20例(36.4%),高血压性心脏病10例(18.2%),风心
期刊
老年退行性心脏瓣膜病
误诊分析
老年退行性心瓣膜病
甲状腺机能亢进症
高血压性心脏病
多发性大动脉炎
结核性胸膜炎
误诊率
路桥施工中钻孔灌注桩技术研究
经济的快速发展,使人们对交通的需求日益剧增,因而对交通基础设施的建设要求更为严格,路桥施工工程在我国交通基础性建设中占重要的地位,钻孔灌注桩技术在桥梁结构里的作用突
期刊
钻孔灌注桩技术
路桥施工
应用现状
质量控制
纤维支气管镜检查对胸片正常的支气管内膜结核的诊断价值
摘 要 目的:探讨纤维支气管镜检查对支气管内膜结核的诊断价值。方法:回顾分析21例胸片正常的支气管內膜结核患者的临床表现、诊断。结果:咳嗽21例,咳痰9例,咯血4例,胸闷5例,发热3例,纤维支气管镜检查均发现异常,经黏膜活检病理确诊6例,刷检细菌学证实15例。结论:纤维支气管镜在支气管内膜结核的诊断中具有重要地位。 关键词 纤维支气管镜 支气管內膜结核 资料与方法 1998年1
期刊
纤维支气管镜
支气管内膜结核
胸片
诊断价值
病例
基于修正近似双曲正切函数的平滑l0范数算法
针对SL0算法中高斯函数对l0范数的逼近程度较差以及在算法迭代过程中存在“锯齿效应”的问题,提出一种基于修正近似双曲正切函数的平滑l0范数算法。采用逼近性能更优的修正近
期刊
压缩感知
稀疏信号重构
平滑l0范数算法
修正近似双曲正切函数
牛顿法
compressing sensing reconstruction of sparse
空心钉内固定加缝匠肌骨瓣移植治疗青壮年股骨颈骨折
目的:探讨空心钉内固定加缝匠肌治疗青壮年股骨颈骨折的临床疗效。方法:分析17例采用空心钉内固定加缝匠肌骨瓣移植治疗青壮年股骨颈骨折的资料。结果:临床应用17例,经11个月~5年
期刊
缝匠肌骨瓣
股骨颈
骨折
青壮年
基于抽象概念的知网词语相似度计算
针对基于知网的词语相似度算法进行研究,提出一种基于抽象概念的词语相似度的快速计算方法。将《知网》义项语义表达式中带有关系约束的第一独立义原定义成抽象概念,将义项语
期刊
词语相似度
知网
义项树
抽象概念
最短路径
深度
word similarity HowNet sense tree abstract concept sho
与本文相关的学术论文