国产欧美精品一区二区,中文字幕专区在线亚洲,国产精品美女网站在线观看,艾秋果冻传媒2021精品,在线免费一区二区,久久久久久青草大香综合精品,日韩美aaa特级毛片,欧美成人精品午夜免费影视

Software testing is a key step to ensure the quality of safety critical software in civil airborne software. Static testing is an important part of software testing. Introduce the concept and classification of static testing. Using automated analysis method, Based on the test tool LDRA Testbed, the static testing process is completed from six major parts: static analysis, complexity analysis, static data flow, cross-index, information flow and data object analysis. Investigate its testing principles and configuration of key standard files. Generate corresponding code review and test measurement reports to improve the quality of civil airborne software effectively.