ISSN 1000-1239 CN 11-1777/TP

计算机研究与发展 ›› 2022, Vol. 59 ›› Issue (9): 1887-1901.doi: 10.7544/issn1000-1239.20220023

• 软件技术 • 上一篇    下一篇



  1. 1(北京航空航天大学自动化科学与电气工程学院 北京 100083);2(东北林业大学信息与计算机工程学院 哈尔滨 150040);3(计算机软件新技术国家重点实验室(南京大学) 南京 210023) (
  • 出版日期: 2022-09-01
  • 基金资助: 

An Exploratory Adaptive FSM Test Method of Intelligent Service Terminal

Nie Yuge1, Yin Beibei1, Pei Hanyu1, Li Li2, Xu Lixin3   

  1. 1(College of Automation Science and Electrical Engineering, Beijing University of Aeronautics and Astronautics, Beijing 100083);2(College of Information and Computer Engineering, Northeast Forestry University, Harbin 150040);3(State Key Laboratory for Novel Software Technology (Nanjing University), Nanjing 210023)
  • Online: 2022-09-01
  • Supported by: 
    This work was supported by the National Key Research and Development Program of China (2021YFB1600601).

摘要: 随着智能化时代的到来,以自动饮料售卖机、自动地铁售票机、ATM机等为代表的智能服务终端对人们的生活起到了越来越重要的作用,对智能服务终端进行全面有效的测试以防止其可能出现的各种错误,提升用户体验变得十分重要.针对目前软件版本更新频繁、开发与测试难以对接、边开发边测试导致的测试工作量庞大且难以规范化等问题,根据智能服务终端状态及状态迁移特征明显的特点,提出一种在规格说明不充分、软件快速迭代需要不断回归测试情况下仍能被高效使用的测试方案——基于FSM(finite state machine)的探索性自适应测试.该方法首先通过探索性测试获得待测系统的状态及迁移信息,然后把它们建模成FSM,根据模型及已经执行过的测试用例,以状态及状态迁移覆盖为准则生成测试用例,在测试过程中不断地对测试模型及相应的测试用例进行自适应调整.基于该方法,通过集成开源软件Graphwalker,搭建了一个实验平台,选择了10种不同种类的常用智能服务终端,通过实验评估其有效性.实验结果表明,该方法生成的测试用例数量少,测试充分性程度高,可以高效地发现智能服务终端系统中存在的缺陷和问题.

关键词: 有限状态机测试, 智能服务终端, 自适应测试, 探索性测试, 探索性自适应FSM测试

Abstract: With the advent of the intelligent era, intelligent service terminals like automatic beverage vending machines, automatic subway ticketing machines and ATM machines have played an increasingly important role in our lives. Therefore, it is essential to make a comprehensive and effective test to prevent various possible errors and improve the user experience. In view of the problems such as the workload of testing is huge and difficult to be standardized caused by frequent software version updates, difficult connection between development and testing, and testing while developing, based on the characteristics of intelligent service terminal that they have obvious states and state migrations, we put forward an efficient test scheme which can still be used efficiently in the case of absence of detailed specifications or the rapid software iteration requiring continuous regression testing—exploratory adaptive finite state machine (FSM) testing. Firstly, the state and migration information of the system to be tested are obtained through exploratory testing, and then they are modeled as FSM. According to the model and the executed test cases, the test cases are generated based on the state and state migration coverage, and the test model and corresponding test cases are continuously adjusted adaptively in the testing process. Based on this method, an experimental platform is built by integrating the open source software Graphwalker. Ten different kinds of common intelligent service terminals are selected to evaluate their effectiveness through experiments. The experimental results show that the number of test cases generated by this method is small and the degree of test adequacy is high. It can efficiently find the defects and problems in the intelligent service terminal system.

Key words: finite state machine (FSM) testing, intelligent service terminal, adaptive testing, exploratory testing, exploratory adaptive FSM testing