Hits:

Indexed by:会议论文

Date of Publication:2014-10-16

Page Number:166-174

Key Words:嵌入式软件;可信验证;测试技术;有限状态机

Abstract:随着嵌入式软件的可信验证在军事、航空航天、通信等领域研究的深入,如何可信验证成为了目前国内外的研究主要方向之一.本文采用基于有限状态机的正则表达式迁移覆盖测试验证方法,将测试过程分为转化处理、测试划分、验证几个阶段,确保从测试用例上对FSM中每个迁移至少覆盖一次的策略,进而对测试对象的全局变量,并发状态进行测试.验证表明在保证系统状态迁移覆盖的前提下,系统死机、重启、程序异常执行等故障是常出现的几类,经过验证数据得出故障出现率达到30％,经分析,故障问题的引发是由于逻辑设计不完备留下的缺陷,本方法针对测试验证方面具有一定的普适性,为今后相关软件方面的验证提供一个评价方法。