Hits:

Indexed by:期刊论文

Date of Publication:2017-04-15

Journal:计算机科学

Included Journals:CSCD

Volume:44

Issue:4

Page Number:234-240

ISSN No.:1002-137X

Key Words:可信验证;PEFSM;正则表达式;自动化测试

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