网构软件可信性
评估与保障技术
司冠南 著
Publishing House of Electronics Industry
北京·BEIJING
内 容 简 介
网构软件是近年发展起来的研究领域，涵盖了软件构件、体系结构、软件开发方法等
多方面，并为当前流行的云计算、物联网等概念提供了诸多核心技术。由于网构软件工作
于开放、动态、难控的互联网环境，且组成实体多由第三方提供，其可信性问题就变得非
常重要，如何保证软件整体及各组成实体的可信性成为网构软件研究领域中一个非常具有
挑战性的新问题。本书从网构软件的实体模型、系统结构、软件演化、可信性评估等方面
对其可信性评估与保障技术进行了阐述，并提出了解决方案。
本书可供计算机科学、可信计算、服务计算以及相关领域科学研究人员和工程应用人
员参考，也可供高等院校和科研院（所）相关专业的教师和研究生阅读参考。
未经许可，不得以任何方式复制或抄袭本书之部分或全部内容。
版权所有，侵权必究。
图书在版编目（ CIP）数据
网构软件可信性评估与保障技术 /司冠南著 . —北京：电子工业出版社， 2015.1
ISBN 978-7-121-25134-4
Ⅰ．①网… Ⅱ . ①司… Ⅲ . ①软件设计－研究 Ⅳ . ①TP311.5
中国版本图书馆 CIP数据核字（ 2014）第294368号
责任编辑：赵 娜 特约编辑：王 纲
印 刷：北京季蜂印刷有限公司
装 订：北京季蜂印刷有限公司
出版发行：电子工业出版社
北京市海淀区万寿路 173信箱 邮编 100036
开 本：720×1000 1/16 印张：13.75 字数： 264千字
版 次： 2015年1月第1版
印 次：2015年1月第1次印刷
定 价：42.00元
凡所购买电子工业出版社图书有缺损问题，请向购买书店调换。若书店售缺，请与本
社发行部联系，联系及邮购电话： （010）88254888。
质量投诉请发邮件至 zlts@phei.com.cn，盗版侵权举报请发邮件至 dbqq@phei.com.cn。
服务热线：
（010）88258888。
·III·
存在于互联网各个节点上的主体化软件服务， 通过多种机制进行协同、
整合而形成的软件形态通称为网构软件。网构软件为有效进行异构资源整
合、充分利用互联网上大量的软件服务提供了有效手段，但随着对网构软
件功能需求的不断增加，系统的结构、体系变得日趋复杂，同时由于软件
的运行环境从传统的“封闭、静态、可控”环境转变为“开放、动态、难
控”的互联网环境，对可信性保证的要求变得日益突出。目前网构软件可
信性保证
《网构软件可信性评估与保障技术》.pdf