商品分类

图书

影音

共有1个搜索结果

航天型号嵌入式软件验证技术与实践
所属分类：航天航空>>航天航空>>航空、航天作者：编者:祝宇//张幼春//杨波//王新颖|责编:侯丽平出版社：中国宇航
经过多年的研究与工程实践，针对航天型号嵌入式软件形成了一套不断完善的验证技术，有效地提高了航天型号嵌入式软件的质量。本书分别从航天型号嵌入式软件概述、软件开发通用要求、软件测试要求、软件测试技术、软件验证实践与经验、软件验证展望等角度描述航天型号嵌入式软件的验证现状。在本书撰写过程中，参考了大量的相关资料，并结合多年的实践经验，力求内容具有实用性、针对性和可操作性。全书论述了航天嵌入式软件的验证过程和理论，并紧密结合实践，为了帮助读者更好地了解工程实践，书中详细列举了大量的丰富示例，给予读者一定的启发和帮助。
售价：35.20