基于FSM的Android智能电视软件测试方法
随着嵌入式软件的可信验证在军事、航空航天、通信等领域研究的深入,如何可信验证成为了目前国内外的研究主要方向之一.本文采用基于有限状态机的正则表达式迁移覆盖测试验证方法,将测试过程分为转化处理、测试划分、验证几个阶段,确保从测试用例上对FSM中每个迁移至少覆盖一次的策略,进而对测试对象的全局变量,并发状态进行测试.验证表明在保证系统状态迁移覆盖的前提下,系统死机、重启、程序异常执行等故障是常出现的几类,经过验证数据得出故障出现率达到30％,经分析,故障问题的引发是由于逻辑设计不完备留下的缺陷,本方法针对测试验证方面具有一定的普适性,为今后相关软件方面的验证提供一个评价方法。
嵌入式软件 可信验证 测试技术 有限状态机
崔凯 周宽久 王洁 林驰 任龙涛
大连理工大学软件学院嵌入式系统工程系,大连116620
国内会议
长沙
中文
166-174
2014-10-16（万方平台首次上网日期，不代表论文的发表时间）