温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。

本发明公开一种基于模型的航天器控制器软件测试用例自动生成方法，包括：1)、空间飞行器测试需求形式化建模，用UML状态图对测试需求中航天器的状态以及其转换进行建模得到标准模型；2)、对标准模型预处理，将状态图中包含的测试信息转换成有向图存储；...
该专利属于北京空间飞行器总体设计部所有，仅供学习研究参考，未经过北京空间飞行器总体设计部授权不得商用。

详细技术文档下载地址

温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。