广东职业技术学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

嵌入式软件系统测试:基于形式化方法的自动化测试解决方案/殷永峰, 姜博编著

出版发行项:

北京:机械工业出版社,2021

ISBN及定价:

978-7-111-67242-5/CNY79.00

载体形态项:

241页:图;24cm

其它题名:

基于形式化方法的自动化测试解决方案

丛编项:

电子与嵌入式系统设计丛书

个人责任者:

殷永峰 编著

个人责任者:

姜博 编著

学科主题:

软件-测试

中图法分类号:

TP311.55

一般附注:

华章IT

责任者附注:

殷永峰, 高工, 博士。北京航空航天大学软件学院硕士生导师, 航空工业软件可靠性管理与测评中心主任。

书目附注:

有书目 (第237-241页)

提要文摘附注:

本书内容包括: 嵌入式系统及软件 ; 嵌入式软件工程与质量特性 ; 基于形式化方法的嵌入式软件系统测试技术 ; 实时嵌入式软件自动化测试描述技术 ; 智能终端应用软件系统测试技术等。

豆瓣简介：