With the increasing combat requirements and the development of seeker software design technology, the test requirements for seeker software continue to grow, which should be covered more comprehensively and effectively. The current test case generation method for seeker software is often based on manual processes, which are not only time-consuming and labor-intensive but also fail to meet coverage requirements. To enhance the efficiency and effectiveness of seeker software test, it is necessary to develop a method for automatic test case generation. Model-based testing is a common approach for automated test case generation, whose effectiveness has been shown by previous studies. However, seeker software exhibits unique characteristics such as state rollback, non-fixed end states, and limited transitions. Therefore, a comprehensive modeling method for seeker software combined with MBT is proposed in this paper. Based on this foundation, we investigate a test case generation method suitable for seeker software models, which employs novel coverage criteria and path search criteria tailored specifically for seeker software.