工业关键系统的形式化方法:应用综述

首页 > 图书 > 科技/2020-08-02 / 加入收藏 / 阅读 [打印]
工业关键系统的形式化方法:应用综述

工业关键系统的形式化方法:应用综述

作者:格涅斯

开 本:16开

书号ISBN:9787111485216

定价:69.0

出版时间:2015-01-01

出版社:机械工业出版社


 第十章 测试和测试控制符号ttcn-3及其应用
  10.1前言
  10.2 ttcn-3概念
  10.2.1模块
  10.2.2测试系统
  10.2.3测试案例和测试判决
  10.2.4备选方案和快照
  10.2.5 缺省处理
  10.2.6 通信操作
  10.2.7 测试数据规范
  10.3 入门示例
  10.4 ttcn-3语义及其应用
  10.5 ttcn-3的分布式测试平台
  10.6 案例分析i:开放式服务架构(osa)/增值服务测试
  10.7 案例分析ii:ip多媒体子系统(ims)装置测试
  10.8 结论
  参考文献
 第十一章 主动自动机学习的实际应用
  11.1 前言
  11.2 常规外推法
  11.2.1 充分行为建模
  11.3 常规外推法的挑战
  11.3.1 等价查询注释
  11.4 与实际系统交互
  11.4.1测试驱动程序设计示例
  11.5 隶属度查询
  11.5.1 冗余度
  11.5.2前缀闭包
  11.5.3 行为独立性
  11.5.4 确定性输入
  11.5.5 对称性
  11.5.6 滤波器示例
  11.6 重置
  11.6.1 重置示例
  11.7 参数和值域
  11.7.1 参数化示例
  11.8 ngll
  11.8.1 基本技术
  11.8.2 建模学习设置
  11.9 总结和展望
 参考文献 工业关键系统的形式化方法:应用综述

 2/2   首页 上一页 1 2

工业技术 一般工业技术

在线阅读