安全苛刻系统测试语言中的测试设备协同语句

发布时间：2017-08-02 17:27

  本文关键词：安全苛刻系统测试语言中的测试设备协同语句

  更多相关文章： 可信性 自动化测试 测试设备协同 操作语义 安全苛刻系统

【摘要】：安全苛刻系统的可信性需求迫切,支持可信性评估的数据主要来自于测试.为了保证测试数据的可靠性和正确性,特别是对安全苛刻系统这类复杂系统,手工测试实际不可行.研发测试语言是实现自动化测试的有效途径,也是安全苛刻系统自动化测试发展的必然趋势.针对安全苛刻系统通用测试语言应独立于具体设备包括被测安全苛刻系统、测试设备的应用需求,对安全苛刻系统测试中的测试设备协同语句展开研究.针对安全苛刻系统测试中测试设备协同任务中的高阶性、实时性等特点,通过给出测试语言中测试设备协同相关类型、设备协同表达式,定义测试设备协同语句,并通过设备协同表达式求值定义设备协同语句的操作语义规则.最后,对语句的正确性给出相关证明,从而支持安全苛刻系统测试过程中测试设备协同过程的动态性和开放性,支持安全苛刻系统测试语言的通用性.
【作者单位】： 北京航空航天大学计算机学院;中国空间技术研究院;
【关键词】： 可信性 自动化测试 测试设备协同 操作语义 安全苛刻系统
【基金】：国家自然科学基金(61300007) 北京航空航天大学软件开发环境国家重点实验室基金(SKLSDE-2015ZX-09,SKLSDE-2014ZX-06) 国家科技支撑计划(2013BAH46F00)~~
【分类号】：TP311.53
【正文快照】： 在安全苛刻系统测试中,测试过程是部署的测试任务通过各种测试设备实现对被测产品的测试,测试任务通过向测试设备发送指令,测试设备执行指令后向被测产品发送激励信号,被测产品响应激励后改变自身状态参数并进行反馈,测试任务通过获取指定的测试参数值,进行评判的过程.测试过

【相似文献】

中国期刊全文数据库 前10条

1 ;安捷伦提供新型低价校准服务,使安捷伦校准服务系列成为业内最完善的校准服务——安捷伦为通用应用中的测试设备推出专门设计的最新服务[J];国外电子测量技术;2004年02期

2 莫松清;光纤测试设备市场(百万美元)[J];光通信技术;1988年04期

3 双木;;测试设备发展趋势追踪[J];电子测试;1999年02期

4 陈华;保持现场测试设备完好无损[J];有线电视技术;2004年20期

5 徐俊毅;;泰克让测试设备变得更有洞察力[J];电子与电脑;2009年11期

6 郭晶;;测试设备市场有望复苏[J];电子设计技术;2010年01期

7 郭世泽;;无线革命对测试设备设计所产生的影响[J];电子测试;1999年04期

8 林传骝;测试设备悄悄的变革[J];国外电子测量技术;2000年05期

9 晓林 ,海林;保持现场测试设备完好无损[J];有线电视技术;2001年16期

10 徐军;未来的测试设备[J];国外电子测量技术;1998年03期

中国重要会议论文全文数据库 前6条

1 Mario Becker;;通过利用高科技测试设备确保食品和营养安全(英文)[A];第四届中国营养产业高层论坛论文集[C];2009年

2 胡建军;钱煜;;一种新颖的环围能量测试设备[A];第十一届全国光学测试学术讨论会论文（摘要集）[C];2006年

3 罗开选;闫亚妮;;基于C8051F020某型仪表测试设备的设计[A];面向航空试验测试技术——2013年航空试验测试技术峰会暨学术交流会论文集[C];2013年

4 金建中;;各种力测试设备的研制[A];’02全国电工测试技术学术交流会论文集[C];2002年

5 王方;;移动探针测试设备的实际应用[A];第二届全国青年印制电路学术年会论文汇编[C];2002年

6 赵希尧;;微波测试设备的发展动向[A];1989年全国微波会议论文集（上）[C];1989年

中国重要报纸全文数据库 前10条

1 万林;测试设备多功能便捷化当道[N];中国电子报;2012年

2 陈炳欣;4G时代测试设备存在“刚需”[N];中国电子报;2014年

3 万林;测试设备要超前也要“贴地”[N];中国电子报;2013年

4 纯君;测试设备商鸣枪起跑[N];电子资讯时报;2004年

5 本报记者 吴苡婷;为测试设备装上“火眼金睛”[N];上海科技报;2013年

6 刘炜邋吉国凡;进军高端市场 国产IC测试设备亟待升级[N];中国电子报;2007年

7 记者 王林 北京;Sematech计划建厂生产450mm测试设备[N];电子资讯时报;2007年

8 勤誉;WLAN专用测试设备厂崛起[N];电子资讯时报;2004年

9 本报记者 海霞;节能不只是概念[N];中国经济导报;2004年

10 严曼青;GE将提供最先进风机测试设备[N];中国工业报;2013年

中国硕士学位论文全文数据库 前8条

1 顾家茂;ACU测试设备的研究与设计[D];苏州大学;2015年

2 刘冰;无线内装自测试设备关键技术研究[D];哈尔滨工业大学;2007年

3 钱勇;测试设备开发项目的改进与实践[D];复旦大学;2013年

4 丛文峰;陀螺组合测试设备设计研究[D];哈尔滨工程大学;2012年

5 杨春辉;基于网络的导弹一体化测试设备研制[D];哈尔滨工业大学;2010年

6 郑凯;电子产品质量监控测试设备设计[D];哈尔滨工业大学;2011年

7 申劭萌;基于Twyman-Green原理的波像差测试方法与测试设备研究[D];中国科学院研究生院（长春光学精密机械与物理研究所）;2011年

8 杨博;一种基于ARM的手持测试设备设计与实现[D];中国舰船研究院;2012年

，

本文编号：610425