航天嵌入式软件系统测试用例自动生成技术研究

航天嵌入式软件系统测试用例自动生成技术研究

出版社：中国科学院国家空间科学中心

出版年：2023

作者：段嘉奇

资源类型：图书

细分类型：学位论文

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

航天嵌入式软件测试系统研究与设计

作者：张煜
出版年：2003

航天嵌入式软件动态模拟测试技术研究

作者：于林宇
出版年：2006

航天嵌入式现代小卫星软件容错设计及测试系统研究

作者：李华旺
出版年：2001

航天相机主控软件测试用例自动生成技术的研究

作者：李丽
出版年：2010

安全攸关嵌入式系统代码自动生成技术研究

作者：严高高
出版年：2018

航天型号嵌入式软件验证技术与实践

作者：祝宇
ISBN：9787515919683
出版社：中国宇航出版社
出版年：2022