实践基于属性的测试Proper和Erlang/Elixir开始/FredHebert/山口县能迪

产品的明细 ※现在，产品的信息通过翻译机械翻译，所以内容可以不正确。请贵客原谅。

信息科学
【内容介绍】
本书使用Erlang/Elixir中提供的Proper框架，介绍基本的基于属性的测试方法，以及高级的应用实例，如想要生成的测试用例不相互独立时的基于属性的测试，以及对依赖于状态的系统的基于属性的测试等。
通过正式的应用程序开发，可以体验到从基于属性测试的基础到极北为止。这是唯一无二的解说书。
【目录】
译者序言
原文的推荐语
谢辞
入门
第1章基于属性测试的基础
1.1基于属性测试的约定
从1.2属性开始
1.5总结
第2章基于属性的思考
3.1模型化
3.2实例测试的泛化
3.3不变条件
3.4对称属性
3.5总结
3.6总结
3.7实践
第4章基于属性的生成
4.5总结
4.6实践
第II部实践学习的无状态属性
第5章基于可信的测试
5.1方案
5.2程序拉姆的结构考察
5.3 CSV的解析
5.4记录的过滤
5.5员工模块
5.6方案
6.2总结
第6章基于属性
测试并行高速缓存
测试选项并行执行
总结
感冒演习
第10章案例分析:书籍出租系统
编写脚本
大范围的状态测试
制做状态的正确模型化
改进案例测试
调试状态属性
错误并行测试
总结
第11章有限状态机械属性
配置有限状态机械属性
数据库有限状态机械属性如何运作
编写属性
测试电路断路器
将电路断路器模型化
调整释放模型
总结
赠品A演习的解答
编写A.1属性
按A.2属性考虑
A.3定制发生器
A.4收缩
A.5状态属性
赠品B Elixir移植版
按B.1属性考虑
B.2可信测试
B.3状态属性
B.4案例分析:书籍出租系统
B.5有限状态机械属性
赠品C PostgreSQL安装
赠品D发生器参考
索引
【作者简历】
在一家提供图像监控、访问控制管理和车牌识别的公司担任系统架构2.5 4.1 4.2 4.3 4.4 1.3 5.7 5.8 6.1 6.3 6.4 6.5 6.6 7.1 7.2 1.4 7.3 7.4 8.1 8.2 8.3 8.4 9.1 9.2 9.3 9.4 9.5 9.6 9.7 10.1 10.2 10.3 10.4 10.5 10.6 10.7 2.1 10.8 11.1 11.2 11.3 11.4 11.5 11.6 11.7 2.2 2.3 2.4 LETSHRINK一