网站首页  软件下载  游戏下载  翻译软件  电子书下载  电影下载  电视剧下载  教程攻略

请输入您要查询的图书:

 

书名 形式化方法在构件组装实时系统中的应用研究
分类 计算机-操作系统
作者 席琳//马传连
出版社 中央民族大学出版社
下载
简介
内容推荐
随着软件系统复杂性的增加、规模的扩大,以及软件开发机构对开发成本、开发周期要求的提高,继面向对象开发方法之后,基于构件的软件开发(Component - Based Software Development, 简称CBSD)方法[1,2),即将外部开发的构件集成到具体应用环境中来构建面向特定应用的软件系统,已经成为当前软件领域的主流技术和研究热点。这种CBSD的思想将制造业中的组装生产模式引人软件开发中,为软件装配定制提供了理论和技术基础。CBSD不仅仅能避免大量的重复劳动,减少财力浪费,提高生产效率,还能促进分工合作,显著提高软件产品的质量。因此,构件技术在软件开发过程中得到了越来越广泛的应用,并逐渐渗透到诸如航空航天、军事过程控制等领域的实时系统开发中。
目录
第1章 绪论
1.1 研究背景和意义
1.2 研究问题
1.3 研究内容
1.4 本书篇章结构
1.5 本章小结
第2章 CBSD研究综述
2.1 基于构件的软件开发方法
2.1.1 概述
2.1.2 CBSD的发展过程
2.2 构件
2.2.1 构件的概念
2.2.2 实时构件的基本特征
2.2.3 主流构件技术和模型
2.2.4 可信构件相关研究
2.3 构件组装技术
2.3.1 构件组装方式和构件组装技术
2.3.2 构件组装开发实践
2.4 形式化方法
2.5 模型验证技术
2.5.1 模型检测
2.5.2 模型检测工具
2.6 本章小结
第3章 构件建模和构件行为相容性
3.1 问题背景
3.2 构件模型及时间行为的形式化描述
3.2.1 构件模型及构件行为的形式化描述
3.2.2 时间行为形式化描述方法
3.3 时间自动机和UPPAAL
3.3.1 时间自动机
3.3.2 uPPAAL介绍
3.4 实时构件的建模
3.5 构件行为相容性分析
3.5.1 常见相容性错误
3.5.2 不相容的构件行为在RcM模型上的形式化表示
3.5.3 构件行为相容性验证
3.6 实例分析
3.7 相关工作比较
3.8 本章小结
第4章 实时系统测试用例产生
4.1 问题背景
4.2 测试用例生成方法
4.2.1 主流的测试用例生成方法
4.2.2 形式模型
4.2.3 基于模型的实时系统测试用例生成方法
4.2.4 基于模型检测的测试用例产生
4.3 新的测试覆盖标准和长度优化的测试用例产生
4.3.1 测试用例覆盖标准
4.3.2 生成长度优化的测试用例
4.4 实例分析
4.5 相关工作比较
4.6 本章小结
第5章 构件选择及组装可靠性分析
5.1 问题背景
5.2 构件选择和构件可靠性模型
5.2.1 构件选择的模型
5.2.2 构件选择的方法
5.2.3 构件的评价方法
5.2.4 构件可靠性模型
5.2.5 构件选择的其他研究问题
5.3 层次自动机
5.4 构件的层次自动机模型
5.5 构件选择及组装可靠性分析
5.5.1 构件关系矩阵和重要度因子
5.5.2 用软件可信等级化度量方法选择服务构件
5.5.3 构件软件系统的可靠性
5.6 实例分析
5.7 相关工作比较
5.8 本章小结
第6章 相关研究工作
参考文献
随便看

 

霍普软件下载网电子书栏目提供海量电子书在线免费阅读及下载。

 

Copyright © 2002-2024 101bt.net All Rights Reserved
更新时间:2025/3/15 13:51:33