收藏本站
《清华大学》 2016年
收藏 | 手机打开
二维码
手机客户端打开本文

基于接口语义自动机的嵌入式软件构件与时序测试研究

王博  
【摘要】:现代嵌入式系统广泛应用于航空、航天、工业控制、民用电子等领域。随着嵌入式软件规模和复杂度的不断增长,基于构件的设计技术逐渐得到广泛应用,通过测试保证构件功能和集成构造的正确性、软件运行时序的正确性、以及运行健壮性等成为重要的研究问题。本文采用基于模型的测试思想,建立了嵌入式软件的可组合接口模型,在此基础上提出一套构件测试和时序测试生成方法、以及异常时序检测方法,提升了测试的自动化和系统化程度,提高了测试生成的质量和效率,为提高嵌入式软件测试有效性和测试质量提供新的途径。在嵌入式软件建模方面,提出接口语义自动机(Interface Semantic Automata,ISA)模型,通过引入语义规则,从行为、时序两个方面增强和扩展模型的语法、语义表达能力。在ISA模型中,定义了接口行为参数、中间变量,建立了基于谓词逻辑的行为约束,通过模型的可组合性和组合操作,支持构件间的集成测试。针对嵌入式软件的时间需求,定义了时间变量、置零行为、以及典型时间约束,支持运行时序的定量描述。ISA模型为构件和时序测试提供了设计信息和领域知识。在嵌入式构件测试研究中,提出基于符号执行的构件测试生成方法。在嵌入式软件ISA模型之上,利用动态符号执行技术,搜索生成有效的事件/行为序列,构建测试路径集,进而沿特定测试路径采用基于相关性分析的约束求解方法生成测试数据。针对各类功能异常,提出基于约束条件变异、基于插桩以及基于反例的测试方法,对构件的功能异常处理机制进行测试。在构件功能验证基础上,提出基于构件间组合路径的集成测试方法,生成集成测试用例。在时序测试研究中,提出基于时间约束相关性分析的分区测试方法。通过分析、识别和提取相关时间变量间的取值依赖关系,针对各项独立、相关时间约束,划分相应时间变量的有效测试分区,并在测试分区内抽取典型时间数据,对各类正常、异常运行时序进行测试。针对软件测试中难以发现的运行时序故障,提出一种基于执行序列的异常时序检测方法,通过提取包含时间信息的执行序列,检验其是否满足ISA模型描述的时间需求,进而发现软件存在的时序缺陷。本文以列车通信网络实时通信协议软件、卫星定位终端软件为被测对象,进行构件和集成测试、以及时序测试工作实践。测试结果显示,本文方法可有效发现各类构件功能和集成故障、以及运行时序故障,提高了嵌入式软件测试的质量。
【学位授予单位】:清华大学
【学位级别】:博士
【学位授予年份】:2016
【分类号】:TP368.1

【相似文献】
中国博士学位论文全文数据库 前2条
1 王博;基于接口语义自动机的嵌入式软件构件与时序测试研究[D];清华大学;2016年
2 胡二峰;内构件固定床低阶煤热解试验研究及机理分析[D];中国矿业大学(北京);2017年
中国硕士学位论文全文数据库 前10条
1 杨晨;基于超声波谱的钢构件绝对应力识别方法及影响因素研究[D];哈尔滨工业大学;2017年
2 胡建明;典型卫星局部构件光学识别方法研究[D];哈尔滨工业大学;2017年
3 王根华;可变功能机械功能结构分析及再设计方法研究[D];宁波大学;2017年
4 张旭;轴向冲击下C型冷弯薄壁钢构件的屈曲失稳研究[D];宁波大学;2017年
5 李岩;Q690高强钢焊接箱型轴心受压柱局部和整体稳定相关性研究[D];西安建筑科技大学;2017年
6 杨雷;节段预制胶拼构件接缝耐湿热老化性能研究[D];北京交通大学;2017年
7 李玉娟;PC构件预制工厂MES的研究与开发[D];石家庄铁道大学;2017年
8 张喜林;弧形构件冷弯工艺及平面内承载力研究[D];江苏科技大学;2017年
9 张奇;纸管家具设计研究[D];东北林业大学;2017年
10 李勇;面向构件式系统的组合建模与验证方法研究[D];南京航空航天大学;2017年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026