主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2018年第12期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
吕江花,高世伟,马世龙,孙波,李先军.安全苛刻系统测试语言中的测试设备协同语句.软件学报,2016,27(3):562-579
安全苛刻系统测试语言中的测试设备协同语句
Equipment Collaboration in General Test Languages of Safety Critical Syst
投稿时间:2015-07-14  修订日期:2015-10-20
DOI:10.13328/j.cnki.jos.004981
中文关键词:  可信性  自动化测试  测试设备协同  操作语义  安全苛刻系统
英文关键词:trustworthiness  automatic test  testing equipment collaboration  operational semantics  SCS
基金项目:国家自然科学基金(61300007);北京航空航天大学软件开发环境国家重点实验室基金(SKLSDE-2015ZX-09,SKLSDE-2014ZX-06);国家科技支撑计划(2013BAH46F00)
作者单位E-mail
吕江花 北京航空航天大学计算机学院, 北京 100191 jhlv@nlsde.buaa.edu.cn 
高世伟 北京航空航天大学计算机学院, 北京 100191  
马世龙 北京航空航天大学计算机学院, 北京 100191  
孙波 中国空间技术研究院, 北京 100094  
李先军 北京航空航天大学计算机学院, 北京 100191  
摘要点击次数: 2030
全文下载次数: 1249
中文摘要:
      安全苛刻系统的可信性需求迫切,支持可信性评估的数据主要来自于测试.为了保证测试数据的可靠性和正确性,特别是对安全苛刻系统这类复杂系统,手工测试实际不可行.研发测试语言是实现自动化测试的有效途径,也是安全苛刻系统自动化测试发展的必然趋势.针对安全苛刻系统通用测试语言应独立于具体设备包括被测安全苛刻系统、测试设备的应用需求,对安全苛刻系统测试中的测试设备协同语句展开研究.针对安全苛刻系统测试中测试设备协同任务中的高阶性、实时性等特点,通过给出测试语言中测试设备协同相关类型、设备协同表达式,定义测试设备协同语句,并通过设备协同表达式求值定义设备协同语句的操作语义规则.最后,对语句的正确性给出相关证明,从而支持安全苛刻系统测试过程中测试设备协同过程的动态性和开放性,支持安全苛刻系统测试语言的通用性.
英文摘要:
      The trustworthiness of safety-critical systems(SCS) is very important.Assessing the trustworthiness mainly depends on data from test.In order to ensure the reliability and validity of test data, especially for such complex systems, manual testing is infeasible in practice.Development of test languages as effective way to implement automatic testing is inevitable trend for automatic testing of SCS.As in general test language for SCS, testing should be independent of specific equipment, including SCS(SCS under test) and test equipment.In the paper, the issues of equipment collaboration are discussed.Aiming at high order and real time characteristics of equipment collaboration during testing, types and expressions of equipment collaboration involved in test of SCS are proposed, and the syntax of statements of equipment collaboration is defined.Then by defining the evaluating rules of these equipment collaboration expressions, semantic rules of statements of equipment collaboration are specified, and related properties are proved to show the soundness of these semantic rules.This work demonstrates that the equipment collaboration is dynamic and open, and the test languages of SCS can be general.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利