软件可信性度量评估与增强规范
图书信息
书名:软件可信性度量评估与增强规范作者:陈仪香,陶红伟
包装:平装
开本:16
全文字数:220000
出版社:科学出版社
出版时间:2019-11-01
图书简介
《软件可信性度量评估与增强规范》是一本涵盖了软件可信性度量评估与增强规范的各个方面的书籍。本书共分为7章,包括软件可信性概论、软件可信性层次化模型、基于属性的软件可信性度量模型、面向源代码的软件可信性度量模型与规范、软件可信性量化分级评估方法、软件可信性增强方法、基于出厂报告的软件可信性度量评估与增强规范。本书涵盖了对软件可信度量与验证提出的一些新的研究成果,能够为软件开发提供借鉴和参考。本书主要适合从事计算机科学与软件工程领域的研究人员和学生。
推荐理由
《软件可信性度量评估与增强规范》是一本非常实用的书籍,能够为研究人员和软件开发人员提供很多参考。本书介绍了软件可信性层次化度量模型构建、分级评估体系设计以及增强规范制定等方面的内容。此外,本书还提出了一些新的研究成果,为软件可信度量与验证提供了新的思路和方法。如果你正在从事软件开发和研究工作,或者想深入了解软件可信度量与验证,这本书是一个不错的选择。