-
题名基于PEFSM行为模型的黑盒测试用例生成方法
被引量：1
- 1
-
-
作者
梁浩然
周宽久
崔凯
潘杰
侯刚
-
机构
大连理工大学软件学院
大连理工大学软件评测中心
-
出处
《计算机科学》
CSCD
北大核心
2017年第4期234-240,共7页
-
基金
国家自然科学基金(61402073)资助
-
文摘
随着计算机软件在医疗、航天、金融等领域的广泛应用,人们对软件系统可靠性的要求越来越严格。软件测试是保证软件安全可靠的有效手段,测试用例的优劣会直接影响测试效果及测试成本。针对嵌入式系统黑盒测试问题,提出了基于概率扩展有限状态机(PEFSM)行为模型的测试用例生成方法,通过两个假设给出了该方法的适用场景,设计了正则表达式转化和展开算法,并将该方法应用于Android智能电视的黑盒测试。该方法的特点是:1)根据用户对待测系统各类操作的使用频率信息,优先测试用户常用操作,从而缩减测试用例的数量和长度;2)可人为指定测试用例的初始状态和结束状态,设置闭包循环次数和迁移之间的等待时长,从而保证测试方法的灵活性和适用性。对比实验结果表明,该方法能够降低软件测试成本,提高测试用例的错误探测效率。
-
关键词
可信验证
pefsm
正则表达式
自动化测试
-
Keywords
Credible verification
pefsm
Regular expression
Automated testing
-
分类号
TP306
[自动化与计算机技术—计算机系统结构]
-
