{"title":"Application of Test Method Based on State Transition Diagram in Flight Control Software","authors":"Dongmei Dong, Yunyu Fang, Ying Chen","doi":"10.1109/dsa.2019.00082","DOIUrl":null,"url":null,"abstract":"Flight control software is the nerve center of flight control system, which has strong coupling of structure and function, which greatly increases the difficulty of test case design. In this paper, Test method based on state transition diagram (STD) is adopted. By analyzing the task scheduling of flight control software, the state transition diagram is designed according to the construction rules, and test paths are extracted according to the coverage rules, so as to guide the generation of test cases. An instance shows that the method can meet the requirements of flight control software test for sufficient coverage and improve the effectiveness of software test.","PeriodicalId":342719,"journal":{"name":"2019 6th International Conference on Dependable Systems and Their Applications (DSA)","volume":"28 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2019 6th International Conference on Dependable Systems and Their Applications (DSA)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/dsa.2019.00082","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
Flight control software is the nerve center of flight control system, which has strong coupling of structure and function, which greatly increases the difficulty of test case design. In this paper, Test method based on state transition diagram (STD) is adopted. By analyzing the task scheduling of flight control software, the state transition diagram is designed according to the construction rules, and test paths are extracted according to the coverage rules, so as to guide the generation of test cases. An instance shows that the method can meet the requirements of flight control software test for sufficient coverage and improve the effectiveness of software test.