Property-Based Testing with PropEr, Erlang, and Elixir PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Property-Based Testing with PropEr, Erlang, and Elixir PDF full book. Access full book title Property-Based Testing with PropEr, Erlang, and Elixir by Fred Hebert. Download full books in PDF and EPUB format.
Author: Fred Hebert Publisher: Pragmatic Bookshelf ISBN: 1680506544 Category : Computers Languages : en Pages : 466
Book Description
Property-based testing helps you create better, more solid tests with little code. By using the PropEr framework in both Erlang and Elixir, this book teaches you how to automatically generate test cases, test stateful programs, and change how you design your software for more principled and reliable approaches. You will be able to better explore the problem space, validate the assumptions you make when coming up with program behavior, and expose unexpected weaknesses in your design. PropEr will even show you how to reproduce the bugs it found. With this book, you will be writing efficient property-based tests in no time. Most tests only demonstrate that the code behaves how the developer expected it to behave, and therefore carry the same blind spots as their authors when special conditions or edge cases show up. Learn how to see things differently with property tests written in PropEr. Start with the basics of property tests, such as writing stateless properties, and using the default generators to generate test cases automatically. More importantly, learn how to think in properties. Improve your properties, write custom data generators, and discover what your code can or cannot do. Learn when to use property tests and when to stick with example tests with real-world sample projects. Explore various testing approaches to find the one that's best for your code. Shrink failing test cases to their simpler expression to highlight exactly what breaks in your code, and generate highly relevant data through targeted properties. Uncover the trickiest bugs you can think of with nearly no code at all with two special types of properties based on state transitions and finite state machines. Write Erlang and Elixir properties that generate the most effective tests you'll see, whether they are unit tests or complex integration and system tests. What You Need Basic knowledge of Erlang, optionally ElixirFor Erlang tests: Erlang/OTP >= 20.0, with Rebar >= 3.4.0For Elixir tests: Erlang/OTP >= 20.0, Elixir >= 1.5.0
Author: Fred Hebert Publisher: Pragmatic Bookshelf ISBN: 1680506544 Category : Computers Languages : en Pages : 466
Book Description
Property-based testing helps you create better, more solid tests with little code. By using the PropEr framework in both Erlang and Elixir, this book teaches you how to automatically generate test cases, test stateful programs, and change how you design your software for more principled and reliable approaches. You will be able to better explore the problem space, validate the assumptions you make when coming up with program behavior, and expose unexpected weaknesses in your design. PropEr will even show you how to reproduce the bugs it found. With this book, you will be writing efficient property-based tests in no time. Most tests only demonstrate that the code behaves how the developer expected it to behave, and therefore carry the same blind spots as their authors when special conditions or edge cases show up. Learn how to see things differently with property tests written in PropEr. Start with the basics of property tests, such as writing stateless properties, and using the default generators to generate test cases automatically. More importantly, learn how to think in properties. Improve your properties, write custom data generators, and discover what your code can or cannot do. Learn when to use property tests and when to stick with example tests with real-world sample projects. Explore various testing approaches to find the one that's best for your code. Shrink failing test cases to their simpler expression to highlight exactly what breaks in your code, and generate highly relevant data through targeted properties. Uncover the trickiest bugs you can think of with nearly no code at all with two special types of properties based on state transitions and finite state machines. Write Erlang and Elixir properties that generate the most effective tests you'll see, whether they are unit tests or complex integration and system tests. What You Need Basic knowledge of Erlang, optionally ElixirFor Erlang tests: Erlang/OTP >= 20.0, with Rebar >= 3.4.0For Elixir tests: Erlang/OTP >= 20.0, Elixir >= 1.5.0
Author: Oded Goldreich Publisher: Cambridge University Press ISBN: 1107194059 Category : Computers Languages : en Pages : 473
Book Description
An extensive and authoritative introduction to property testing, the study of super-fast algorithms for the structural analysis of large quantities of data in order to determine global properties. This book can be used both as a reference book and a textbook, and includes numerous exercises.
Author: P. Bartos Publisher: Elsevier ISBN: 1483290840 Category : Technology & Engineering Languages : en Pages : 305
Book Description
Fresh concrete is generally featured in publications on concrete technology where the focus is often on fundamental rheology or diverse research methods, or the standards describe the tests but do not provide practical advice on interpretation of the results. This book aims to fill the gap between highly scientific and fundamental works and the many fragmented test specifications. It summarises the existing knowledge on the properties of fresh concrete in a form accessible to practicing engineers and concrete technologists. It includes a manual of practical tests which cover both the standard tests in major countries and new tests specifically applicable to site testing. The testing equipment required and the procedures are described in sufficient detail for the tests to be carried out, with references to selected national standards when compliance with specific conditions applicable in those countries is required. Particular attention is paid to properties of special fresh concrete mixes which are increasingly used in practical construction. The work will be of interest to engineers and others involved in the research, development, design and execution of concrete construction, including those working in EEC countries.
Author: G.M. Swallowe Publisher: Springer Science & Business Media ISBN: 9401592314 Category : Science Languages : en Pages : 313
Book Description
This volume represents a continuation of the Polymer Science and Technology series edited by Dr. D. M. Brewis and Professor D. Briggs. The theme of the series is the production of a number of stand alone volumes on various areas of polymer science and technology. Each volume contains short articles by a variety of expert contributors outlining a particular topic and these articles are extensively cross referenced. References to related topics included in the volume are indicated by bold text in the articles, the bold text being the title of the relevant article. At the end of each article there is a list of bibliographic references where interested readers can obtain further detailed information on the subject of the article. This volume was produced at the invitation of Derek Brewis who asked me to edit a text which concentrated on the mechanical properties of polymers. There are already many excellent books on the mechanical properties of polymers, and a somewhat lesser number of volumes dealing with methods of carrying out mechanical tests on polymers. Some of these books are listed in Appendix 1. In this volume I have attempted to cover basic mechanical properties and test methods as well as the theory of polymer mechanical deformation and hope that the reader will find the approach useful.
Author: Sandor Popovics Publisher: William Andrew ISBN: 081551655X Category : Technology & Engineering Languages : en Pages : 674
Book Description
This book presents an in-depth approach to concrete ingredients and their relationships to concrete by discussing their properties, pertinent test methods, specifications, proper use and selection, and solutions to problems in practice. The approach is practice oriented, and the book assists in the improved application of concrete through a thorough understanding of its ingredients. This is aided by the discussion of certain fundamental aspects and relationships in quantitative forms, and by also presenting the interpretation of research and experience. An extensive bibliography is included.The book is a current, organized summary of knowledge concerning concrete-making materials, which will enable the engineer/user to make the best possible product using these materials.
Author: Patricia I. Dolez Publisher: Woodhead Publishing ISBN: 0081004540 Category : Technology & Engineering Languages : en Pages : 476
Book Description
Advanced Characterization and Testing of Textiles explores developments in physical and chemical testing and specific high-performance tests relating to textiles. The book introduces the principles of advanced characterization and testing, including the importance of performance-based specifications in the textiles industry. Chapters are organized by textile properties, providing in-depth coverage of each characteristic. Tests for specific applications are addressed, with the main focus on high-performance and technical textiles. - Focuses on advanced testing methods for technical and high-performance textiles, covering state-of-the-art technology in its field - Details specific textile properties and associated testing for each characteristic
Author: Oded Goldreich Publisher: Springer ISBN: 364216367X Category : Computers Languages : en Pages : 370
Book Description
Property Testing is the study of super-fast (randomized) algorithms for approximate decision making. These algorithms are given direct access to items of a huge data set, and determine, whether this data set has some predetermined (global) property or is far from having this property. Remarkably, this approximate decision is made by accessing a small portion of the data set. This state-of-the-art survey presents a collection of extended abstracts and surveys of leading researchers in property testing and related areas; it reflects the program of a mini-workshop on property testing that took place in January 2010 at the Institute for Computer Science (ITCS), Tsinghua University, Beijing, China. The volume contains two editor's introductions, 10 survey papers and 18 extended abstracts.
Author: Fred Hebert
Author: Fred Hebert
Author: Oded Goldreich
Author: P. Bartos
Author: Joseph F. Lamond
Author: G.M. Swallowe
Author: Arthur Marshall
Author: Sandor Popovics
Author: Cheng Liu
Author: Patricia I. Dolez
Author: Oded Goldreich