實踐基於屬性的測試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一