基于PEFSM行为模型的黑盒测试用例生成方法

摘要：

随着计算机软件在医疗、航天、金融等领域的广泛应用,人们对软件系统可靠性的要求越来越严格.软件测试是保证软件安全可靠的有效手段,测试用例的优劣会直接影响测试效果及测试成本.针对嵌入式系统黑盒测试问题,提出了基于概率扩展有限状态机(PEFSM)行为模型的测试用例生成方法,通过两个假设给出了该方法的适用场景,设计了正则表达式转化和展开算法,并将该方法应用于Android智能电视的黑盒测试.该方法的特点是:1)根据用户对待测系统各类操作的使用频率信息,优先测试用户常用操作,从而缩减测试用例的数量和长度;2)可人为指定测试用例的初始状态和结束状态,设置闭包循环次数和迁移之间的等待时长,从而保证测试方法的灵活性和适用性.对比实验结果表明,该方法能够降低软件测试成本,提高测试用例的错误探测效率.

关键词：可信验证、PEFSM、正则表达式、自动化测试

所属期刊栏目：44

分类号：TP306(计算技术、计算机技术)

资助基金：国家自然科学基金61402073

在线出版日期：2017-05-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：234-240