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

【Abstract】 With the wide application of computer software in medicine,spaceflight,finance and other fields,people proposed stricter requirements for the reliability of the software system.Software testing is an effective method to ensure the security and reliability of software,whereas the quality of test cases will directly influence the testing efficiency and cost.To solve black-box testing problems about embedded systems,a test case generation method based on PEFSM(Probabilistic Extended Finite State Machine)behavioral model was proposed.The applicable scenarios of this method are illuminated with two assumptions.The algorithms for converting and unwrapping RE(regular expression)are designed,and this method is applied to conduct black-box testing towards a smart television based on Android operating system.The features of this method are as follows:1)users’ common operations on IUT(Implementation Under Test)can be tested preferentially by utilizing different frequencies of various operations.In this way,it is possible to reduce the number and length of the test cases.2)testers can specify the initial and final states of test cases.In addition,they can also set cyclic numbers of closures and the waiting time between transitions.Therefore,this method makes the testing flexible and applicable.The experimental results show that this method can not only reduce the software testing cost,but also improve the error-detecting efficiency of test cases.更多还原