形式化方法在构件组装实时系统中的应用研究 pdf下载

基本信息

• 商品名称：形式化方法在构件组装实时系统中的应用研究
• 作者：席琳//马传连
• 定价：50
• 出版社：中央民族大学
• 书号：9787566016683

其他参考信息（以实物为准）

• 出版时间：2019-07-01
• 印刷时间：2019-07-01
• 版次：1
• 印次：1
• 开本：16开
• 包装：平装
• 页数：129
• 字数：126千字

内容提要

随着软件系统复杂性的增加、规模的扩大，以及 软件开发机构对开发成本、开发周期要求的提高，继 面向对象开发方法之后，基于构件的软件开发 (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 实例分析