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

Testing mission-based warship software usually involves many technical challenges, such as lack of systematical mission analysis and describing technique, hard to generate test cases with respect to mission requirements, unable to support automated cross-platform test execution, etc. To tackle these challenges, this paper presents an integrated approach to test mission-based warship software, including key steps on mission analysis and modeling, mission-model-based test case generation, and automated test execution. A tool for testing mission-based warship software is developed according to this approach. Besides, an example is provided to exhibit the feasibility of the approach and the effectiveness of the tool. In practice, this example can be looked up for reference so as to promote the usability of this approach.