基于有限状态机和功能块图的测试用例自动生成技术研究  

Research on Automatic Test Case Generation Technology Based on Finite State Machines and Function Block Diagrams

作　　者：李宁 熊艳 丁耀国 LI Ning;XIONG Yan;DING Yaoguo(CRRC Zhuzhou Institute Co.,Ltd.,Zhuzhou,Hunan 412001,China)

机构地区：[1]中车株洲电力机车研究所有限公司,湖南株洲412001

出　　处：《控制与信息技术》2024年第6期96-103,共8页CONTROL AND INFORMATION TECHNOLOGY

摘　　要：软件测试是保证软件质量的重要手段,软件测试设计的主要方法是人工根据软件需求编写测试用例,效率低并且测试设计的质量难以保证。对此,文章提出了一种基于模型的测试设计方法,其使用有限状态机和功能块图两种方式建立测试模型;研究了功能块图转换为有限状态机的模型转换算法和测试用例自动生成算法;同时,搭建了基于模型的测试设计平台,并在列车牵引控制系统软件测试过程中进行了验证与应用。验证结果表明,相比人工编写测试用例,使用基于模型的测试设计平台提升了约60%的测试设计效率,同时测试设计平台生成的测试用例完全符合MC/DC(modified condition decision coverage)覆盖准则,保证了所生成测试用例的质量。Software testing is an important means for ensuring software quality.The current main approach to software testing design involves manually writing test cases according to software requirements,which is inefficient and can hardly guarantee design quality.To deal with these challenges,this paper proposes a model-based testing design methodology.Following the modeling based on finite state machines and function block diagrams,this study explored a transformation algorithm that converts function block diagrams into finite state machines and an automatic test case generation algorithm.Additionally,a model-based testing design platform was established,which was subsequently verified and applied to software testing for train traction control systems.The verification results demonstrated the enhanced efficiency achieved by this platform,compared to manual writing.Furthermore,the test cases generated perfectly aligned with modified condition decision coverage(MC/DC),highlighting the quality assurance in test case generation.

关 键 词：软件测试 基于模型的测试 有限状态机 功能块图 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]