收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

安全苛刻系统自动化测试的形式化语义模型

吕江花  马世龙  李先军  高世伟  
【摘要】:安全苛刻系统的可信性需求典型而迫切,其可信性评估和验证具有测试依赖性.安全苛刻系统一般是复杂系统,手工测试实际上不可行,发展自动化测试手段是必然趋势.针对安全苛刻系统测试过程自动化中存在的高阶协同、实时和时序性,以Ambient演算、CCS演算、论域理论等为基础,给出测试过程的高阶协同定义,建立一种层次化演算模型,为测试过程提供一种信息化和自动化手段.模型通过对被测产品、测试设备与测试任务的抽象与组织,给出安全苛刻系统测试过程自动化的工作模式.最后,通过扩展标记转换系统定义,给出高阶协同行为的收敛性和正确性的证明,论证了模型的可计算性,验证了安全苛刻系统测试的可自动化.模型已应用于航天器的自动化测试中,并成为航天器测试行为的日常工作规范.

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 王东刚;;成功的自动化测试项目实施[J];程序员;2009年07期
2 马金萍;现代虚拟仪器及控制在自动化测试系统中的应用[J];质量天地;2003年02期
3 李又玲,常致全;针对J2EE服务端组件的自动化测试方案[J];计算机与数字工程;2005年04期
4 侯勇;张海林;;自动化测试中的关键字驱动脚本技术[J];电子科技;2006年02期
5 费娟;;基于Silktest的软件测试自动化[J];广东通信技术;2006年02期
6 王莉;殷锋;李奇;;软件自动化测试脚本设计研究[J];西南民族大学学报(自然科学版);2006年02期
7 熊力;;微软UI自动化测试的技术演变(上)[J];程序员;2010年01期
8 马壮展;测试自动化的设计和实施[J];广东通信技术;2004年01期
9 甘泽洲;;一种支持自动化测试的测试管理工具的实现[J];计算机与信息技术;2008年06期
10 张少博;罗省贤;;自动化测试脚本运行控制方法研究[J];电子测试;2008年06期
11 董娜娜;詹惠琴;;软件测试自动化技术应用研究[J];电子测试;2010年11期
12 ;NI发布2011自动化测试技术展望[J];电子测量技术;2011年04期
13 王红峰;;软件的自动化测试[J];金融电子化;2005年05期
14 韩小明;;自动化测试框架:设计的重构[J];软件世界;2007年17期
15 贾丽;许静;金鑫;田禾;;Web系统测试用例自动执行系统[J];计算机工程与应用;2009年04期
16 孙宇;黄斐;;基于IBM Rational工具的软件测试的分析与研究[J];福建电脑;2009年09期
17 胡玲芳;刘功茂;万朝进;张超;;基于核心数据驱动的自动化测试研究[J];福建电脑;2009年09期
18 邵作镇;万晓冬;;基于STAF的软件自动化测试研究与应用[J];电子科技;2010年07期
19 李子花;王力生;;基于Coded UI Test和TestComplete工具的GUI自动化测试研究[J];科技传播;2010年18期
20 李玲玲;徐娟娟;;软件测试过程控制系统的研究和设计[J];软件导刊;2011年04期
中国重要会议论文全文数据库 前10条
1 黄茂生;;软件自动化测试动态验证点的一种实现方法[A];2010第十五届可靠性学术年会论文集[C];2010年
2 倪瑾;蒋俊华;;基于.NET平台GUI自动化测试研究[A];经济策论(上)[C];2011年
3 陈晓;;软件自动化测试的分析与实践[A];2008'中国信息技术与应用学术论坛论文集(一)[C];2008年
4 郭从颖;;场景驱动测试用例设计及其测试自动化技术研究[A];中国计量协会冶金分会2008年会论文集[C];2008年
5 郭从颖;;场景驱动测试用例设计及其测试自动化技术研究[A];2008全国第十三届自动化应用技术学术交流会论文集[C];2008年
6 魏蓉;郐吉丰;王春元;蒋凡;;等级保护中的系统自动化测试[A];第二十一次全国计算机安全学术交流会论文集[C];2006年
7 徐晓军;孙斌;;基于IBM Automation框架GUI自动测试的研究与实现[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
8 徐晓军;孙斌;;基于IBM Automation框架GUI自动测试的研究与实现[A];2007通信理论与技术新发展——第十二届全国青年通信学术会议论文集(下册)[C];2007年
9 赵中芳;魏志强;贾东宁;;基于CBR的软件自动化测试用例复用方法研究[A];2008'中国信息技术与应用学术论坛论文集(二)[C];2008年
10 赵琰;安军社;;配置项自动化测试在探月工程有效载荷公用设备软件测试中的应用研究[A];中国空间科学学会空间探测专业委员会第十八次学术会议论文集(上册)[C];2005年
中国博士学位论文全文数据库 前4条
1 刘新忠;关联缺陷及其应用研究[D];吉林大学;2010年
2 金虎;自动化软件测试技术研究[D];四川大学;2006年
3 李丽;航天相机主控软件测试用例自动生成技术的研究[D];中国科学院研究生院(长春光学精密机械与物理研究所);2010年
4 范文庆;分段符号执行模型及其环境交互问题研究[D];北京邮电大学;2010年
中国硕士学位论文全文数据库 前10条
1 任金凤;HLR产品的自动化测试工具研究与设计[D];吉林大学;2010年
2 俞戴龙;QTP自动化测试框架的企业级应用[D];复旦大学;2010年
3 张秋杰;基于PyUnit框架的企业级软件自动化测试技术的研究[D];北京邮电大学;2010年
4 夏晶;基于QTP的功能自动化测试框架的研究与应用[D];武汉科技大学;2010年
5 王丹;基于TCP协议的软件自动化测试的研究与应用[D];吉林大学;2011年
6 胡启明;Trend AU自动化测试的设计与实现[D];南京大学;2011年
7 刘松;基于模型的Web应用自动化测试[D];南京大学;2011年
8 黄彪贤;B/S软件自动化测试的研究与设计[D];广东工业大学;2011年
9 王桂波;VMware Fusion系统自动化测试的设计与实现[D];北京交通大学;2010年
10 张志敏;针对AFC系统的自动化测试工具研究与实现[D];湖南大学;2010年
中国重要报纸全文数据库 前10条
1 信息产业部软件与集成电路促进中心 于明唐仕武;驶入测试“快车道”[N];计算机世界;2007年
2 记者 邵丽蓉;年轻的职业年轻的兵[N];人才市场报;2009年
3 ;功能测试提升电信IT系统投资回报率[N];人民邮电;2006年
4 边歆;研发需要敏捷[N];网络世界;2007年
5 张斌;建立测试自动化框架[N];计算机世界;2006年
6 张振;独辟蹊径[N];电脑商报;2006年
7 于翔;Telelogic Rhapsody 7.2强化自动化能力[N];网络世界;2008年
8 李新;软件测试业:八成公司在壮大测试队伍[N];大连日报;2009年
9 李强强;惠普全球测试服务中心落户重庆[N];中国计算机报;2008年
10 记者 徐建华;我国成立软件质量测试标准工作组[N];中国质量报;2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978