点击次数：

论文类型：期刊论文

发表时间：2017-04-15

发表刊物：计算机科学

收录刊物：CSCD

卷号：44

期号：4

页面范围：234-240

ISSN号：1002-137X

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

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