Natural Language Requirements Based Approach for Automatic Test Cases Generation of SCADE Models
With the increasing scale and complexity of safety-critical software,model-driven development(MDD)is widely used in safety-critical fields.As an important modeling method and tool,SCADE can express deterministic concurrent behavior and has precise time semantics,which is suitable for modeling,testing and verification of safety-critical software.At present,the existing methods mainly use manual methods to construct SCADE model test cases,and there are some problems such as inconsistency be-tween requirements and test cases,high cost and easy to make mistakes.This paper presents an automatic generation method of SCADE model test cases based on natural language requirements.Firstly,an automatic test case generation method based on mo-del checking is presented,which generates atomic propositions by natural language requirements processing to generate the as-sume and observer models,and provides the rules of trap properties generation to generate trap properties for model checking.Secondly,a test case quality evaluation method based on coverage analysis and mutation testing is presented,and the mutation tes-ting is carried out on SCADE model.Finally,the prototype tool is designed and implemented,and an industrial case of pilot ejec-tion seat control system is analyzed to verify the effectiveness of the proposed method.
Safety-critical softwareModel-driven developmentSCADEAutomatic test case generationModel checking
NETL
NSTL
万方数据
