Book (Practical) Information science Practical Property-Based Tests Getting Started with Proper and Erlang/Elixir / FredHebert / Yamaguchi 能迪

Product description ※Please note that product information is not in full comprehensive meaning because of the machine translation.

Information Science
Introduction
This book takes advantage of the Proper framework available in Erlang/Elixir and introduces advanced application cases such as property-based testing when the test cases you want to generate are not independent of each other, and property-based testing for state-dependent systems.
It is a unique introduction to the basics of property-based testing through serious application development.
Introduction
br> Part I Basics
Chapter 1 Basics of Property-based Testing
Promise of Property-based Testing
1.2 Start with Properties
1.3 Start with Properties
1.4 Run Properties
1.5 Summary
Chapter 2 Writing Properties
2.1 Structure of Properties
2.2 Default Generators
2.3 Compile everything
2.4 Summary
2.5 Exercise
Chapter 3 Thinking in Properties
3.1 Modeling
3.2 Generalizing Case Tests
3.3 Invariants
3.4 Symmetric Properties
3.5 Compile everything
3.6 Summary
3.7 Exercise
Chapter 4 Custom Generators
4.1 Limitations of Default Generators
4.2 Collecting Statistics
4.3 Basic Custom Generators
◡ Testing parallel execution
cameldown
cameldown exercise
Chapter 10 Case Studies : Book Lending System
Introduction to Applications
Writing a Generator
Wide-Range Stateful Testing
Accurate modeling of the euthyroid state
Improving the euthyroid state
Debugging the euthyroid state
Tealdown
Chapter 11 Finite State Machine Properties
Placing the euthyroid state
Tealdown
Chapter 11 Finite State Machine Properties
Placing the euthyroid state
Tealdown
How Vesicle Finite State Machine Properties Work
Writing the Infusion Properties
Testing the Circuit Breaker
Modeling the Circuit Breaker
Adjusting the Model
Tealdown
Appendix A Answers to the Exercises
Writing the A. 1 Properties
Thinking in A. 2 Properties
A. 3 Custom Generators
A. 4 Shrinkage
A. 5 Stateful Properties
Appendix B Elixir Porting
Thinking in B. 1 Properties
Writing the A 1.1 4.4 4.5 4.6 5.1 5.2 5.3 5.4 5.5 5.6 5.7 5.8 6.1 6.2 6.3 6.4 6.5 6.6 7.1 7.2 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 10.8 11.1 11.2 11.3 11.4 11.5 11.6 11.7 LETSHRINK