工业关键系统的形式化方法:应用综述
工业关键系统的形式化方法:应用综述作者:格涅斯 开 本: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 总结和展望
参考文献
工业技术 一般工业技术
在线阅读
- 最新内容
- 相关内容
- 网友推荐
- 图文推荐
上一篇:射频识别技术原理与应用-(第六版)
下一篇:服装设计效果图表现技法
零零教育社区:论坛热帖子
[高考] 2022 西安电子科技大学《软件工程》大作业答案 (2022-04-25) |
[家长教育] 孩子为什么会和父母感情疏离? (2019-07-14) |
[教师分享] 给远方姐姐的一封信 (2018-11-07) |
[教师分享] 伸缩门 (2018-11-07) |
[教师分享] 回家乡 (2018-11-07) |
[教师分享] 是风味也是人间 (2018-11-07) |
[教师分享] 一句格言的启示 (2018-11-07) |
[教师分享] 无规矩不成方圆 (2018-11-07) |
[教师分享] 第十届全国教育名家论坛有感(二) (2018-11-07) |
[教师分享] 贪玩的小狗 (2018-11-07) |