Property-based testing with PropEr, Erlang, and Elixir: find bugs before your users do
Property-based testing helps you create better, more solid tests with little code. Use the ProER framework in both Erlang and Elixir, to automatically generate test cases, test stateful programs, and change your software designs for more reliable approaches. Explore the problem space better, validat...
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Raleigh
The Pragmatic Bookshelf
[2019]
|
| Series: | The pragmatic programmers
|
| Subjects: | |
| Links: | https://learning.oreilly.com/library/view/-/9781680506556/?ar |
| Summary: | Property-based testing helps you create better, more solid tests with little code. Use the ProER framework in both Erlang and Elixir, to automatically generate test cases, test stateful programs, and change your software designs for more reliable approaches. Explore the problem space better, validate your assumptions about program behavior, and expose unexpected weaknesses in your design. Write stateless properties, and use default generators to generate test cases automatically. 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. Shrinking test cases to their simpler expressions, and generate relevant data through targeted properties. Uncover bugs with nearly code at all, with properties based on state transitions and fixing state machines. |
| Item Description: | Includes bibliographical references and index. - Online resource; title from PDF title page (EBSCO, viewed February 14, 2019). - Print version record |
| Physical Description: | 1 Online-Ressource (xiv, 353 Seiten) Illustrationen |
| ISBN: | 9781680506532 1680506536 9781680506549 1680506544 |
Staff View
MARC
| LEADER | 00000cam a22000002c 4500 | ||
|---|---|---|---|
| 001 | ZDB-30-ORH-047668911 | ||
| 003 | DE-627-1 | ||
| 005 | 20240228120640.0 | ||
| 007 | cr uuu---uuuuu | ||
| 008 | 191023s2019 xx |||||o 00| ||eng c | ||
| 020 | |a 9781680506532 |c electronic bk. |9 978-1-68050-653-2 | ||
| 020 | |a 1680506536 |c electronic bk. |9 1-68050-653-6 | ||
| 020 | |a 9781680506549 |c electronic bk. |9 978-1-68050-654-9 | ||
| 020 | |a 1680506544 |c electronic bk. |9 1-68050-654-4 | ||
| 035 | |a (DE-627-1)047668911 | ||
| 035 | |a (DE-599)KEP047668911 | ||
| 035 | |a (ORHE)9781680506556 | ||
| 035 | |a (DE-627-1)047668911 | ||
| 040 | |a DE-627 |b ger |c DE-627 |e rda | ||
| 041 | |a eng | ||
| 072 | 7 | |a COM |2 bisacsh | |
| 082 | 0 | |a 005.14 |2 23 | |
| 100 | 1 | |a Hébert, Fred |d 1988- |e VerfasserIn |4 aut | |
| 245 | 1 | 0 | |a Property-based testing with PropEr, Erlang, and Elixir |b find bugs before your users do |c Fred Hebert |
| 264 | 1 | |a Raleigh |b The Pragmatic Bookshelf |c [2019] | |
| 300 | |a 1 Online-Ressource (xiv, 353 Seiten) |b Illustrationen | ||
| 336 | |a Text |b txt |2 rdacontent | ||
| 337 | |a Computermedien |b c |2 rdamedia | ||
| 338 | |a Online-Ressource |b cr |2 rdacarrier | ||
| 490 | 0 | |a The pragmatic programmers | |
| 500 | |a Includes bibliographical references and index. - Online resource; title from PDF title page (EBSCO, viewed February 14, 2019). - Print version record | ||
| 520 | |a Property-based testing helps you create better, more solid tests with little code. Use the ProER framework in both Erlang and Elixir, to automatically generate test cases, test stateful programs, and change your software designs for more reliable approaches. Explore the problem space better, validate your assumptions about program behavior, and expose unexpected weaknesses in your design. Write stateless properties, and use default generators to generate test cases automatically. 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. Shrinking test cases to their simpler expressions, and generate relevant data through targeted properties. Uncover bugs with nearly code at all, with properties based on state transitions and fixing state machines. | ||
| 650 | 0 | |a Computer software |x Testing | |
| 650 | 0 | |a ERLANG (Computer program language) | |
| 650 | 0 | |a Elixir (Computer program language) | |
| 650 | 4 | |a ERLANG (Langage de programmation) | |
| 650 | 4 | |a Elixir (Langage de programmation) | |
| 650 | 4 | |a Software Development & Engineering ; Quality Assurance & Testing | |
| 650 | 4 | |a Computer software ; Testing | |
| 650 | 4 | |a Elixir (Computer program language) | |
| 650 | 4 | |a ERLANG (Computer program language) | |
| 776 | 1 | |z 9781680506211 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781680506211 |
| 966 | 4 | 0 | |l DE-91 |p ZDB-30-ORH |q TUM_PDA_ORH |u https://learning.oreilly.com/library/view/-/9781680506556/?ar |m X:ORHE |x Aggregator |z lizenzpflichtig |3 Volltext |
| 912 | |a ZDB-30-ORH | ||
| 912 | |a ZDB-30-ORH | ||
| 951 | |a BO | ||
| 912 | |a ZDB-30-ORH | ||
| 049 | |a DE-91 | ||
Record in the Search Index
| DE-BY-TUM_katkey | ZDB-30-ORH-047668911 |
|---|---|
| _version_ | 1831287080599158785 |
| adam_text | |
| any_adam_object | |
| author | Hébert, Fred 1988- |
| author_facet | Hébert, Fred 1988- |
| author_role | aut |
| author_sort | Hébert, Fred 1988- |
| author_variant | f h fh |
| building | Verbundindex |
| bvnumber | localTUM |
| collection | ZDB-30-ORH |
| ctrlnum | (DE-627-1)047668911 (DE-599)KEP047668911 (ORHE)9781680506556 |
| dewey-full | 005.14 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.14 |
| dewey-search | 005.14 |
| dewey-sort | 15.14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02940cam a22005292c 4500</leader><controlfield tag="001">ZDB-30-ORH-047668911</controlfield><controlfield tag="003">DE-627-1</controlfield><controlfield tag="005">20240228120640.0</controlfield><controlfield tag="007">cr uuu---uuuuu</controlfield><controlfield tag="008">191023s2019 xx |||||o 00| ||eng c</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781680506532</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-1-68050-653-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1680506536</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">1-68050-653-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781680506549</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-1-68050-654-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1680506544</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">1-68050-654-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627-1)047668911</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)KEP047668911</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ORHE)9781680506556</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627-1)047668911</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.14</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hébert, Fred</subfield><subfield code="d">1988-</subfield><subfield code="e">VerfasserIn</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Property-based testing with PropEr, Erlang, and Elixir</subfield><subfield code="b">find bugs before your users do</subfield><subfield code="c">Fred Hebert</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Raleigh</subfield><subfield code="b">The Pragmatic Bookshelf</subfield><subfield code="c">[2019]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xiv, 353 Seiten)</subfield><subfield code="b">Illustrationen</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">Computermedien</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Online-Ressource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">The pragmatic programmers</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index. - Online resource; title from PDF title page (EBSCO, viewed February 14, 2019). - Print version record</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Property-based testing helps you create better, more solid tests with little code. Use the ProER framework in both Erlang and Elixir, to automatically generate test cases, test stateful programs, and change your software designs for more reliable approaches. Explore the problem space better, validate your assumptions about program behavior, and expose unexpected weaknesses in your design. Write stateless properties, and use default generators to generate test cases automatically. 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. Shrinking test cases to their simpler expressions, and generate relevant data through targeted properties. Uncover bugs with nearly code at all, with properties based on state transitions and fixing state machines.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer software</subfield><subfield code="x">Testing</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">ERLANG (Computer program language)</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Elixir (Computer program language)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">ERLANG (Langage de programmation)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Elixir (Langage de programmation)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Development & Engineering ; Quality Assurance & Testing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software ; Testing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Elixir (Computer program language)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">ERLANG (Computer program language)</subfield></datafield><datafield tag="776" ind1="1" ind2=" "><subfield code="z">9781680506211</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9781680506211</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-91</subfield><subfield code="p">ZDB-30-ORH</subfield><subfield code="q">TUM_PDA_ORH</subfield><subfield code="u">https://learning.oreilly.com/library/view/-/9781680506556/?ar</subfield><subfield code="m">X:ORHE</subfield><subfield code="x">Aggregator</subfield><subfield code="z">lizenzpflichtig</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-30-ORH</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-30-ORH</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">BO</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-30-ORH</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield></datafield></record></collection> |
| id | ZDB-30-ORH-047668911 |
| illustrated | Not Illustrated |
| indexdate | 2025-05-05T13:24:14Z |
| institution | BVB |
| isbn | 9781680506532 1680506536 9781680506549 1680506544 |
| language | English |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | 1 Online-Ressource (xiv, 353 Seiten) Illustrationen |
| psigel | ZDB-30-ORH TUM_PDA_ORH ZDB-30-ORH |
| publishDate | 2019 |
| publishDateSearch | 2019 |
| publishDateSort | 2019 |
| publisher | The Pragmatic Bookshelf |
| record_format | marc |
| series2 | The pragmatic programmers |
| spelling | Hébert, Fred 1988- VerfasserIn aut Property-based testing with PropEr, Erlang, and Elixir find bugs before your users do Fred Hebert Raleigh The Pragmatic Bookshelf [2019] 1 Online-Ressource (xiv, 353 Seiten) Illustrationen Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier The pragmatic programmers Includes bibliographical references and index. - Online resource; title from PDF title page (EBSCO, viewed February 14, 2019). - Print version record Property-based testing helps you create better, more solid tests with little code. Use the ProER framework in both Erlang and Elixir, to automatically generate test cases, test stateful programs, and change your software designs for more reliable approaches. Explore the problem space better, validate your assumptions about program behavior, and expose unexpected weaknesses in your design. Write stateless properties, and use default generators to generate test cases automatically. 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. Shrinking test cases to their simpler expressions, and generate relevant data through targeted properties. Uncover bugs with nearly code at all, with properties based on state transitions and fixing state machines. Computer software Testing ERLANG (Computer program language) Elixir (Computer program language) ERLANG (Langage de programmation) Elixir (Langage de programmation) Software Development & Engineering ; Quality Assurance & Testing Computer software ; Testing 9781680506211 Erscheint auch als Druck-Ausgabe 9781680506211 |
| spellingShingle | Hébert, Fred 1988- Property-based testing with PropEr, Erlang, and Elixir find bugs before your users do Computer software Testing ERLANG (Computer program language) Elixir (Computer program language) ERLANG (Langage de programmation) Elixir (Langage de programmation) Software Development & Engineering ; Quality Assurance & Testing Computer software ; Testing |
| title | Property-based testing with PropEr, Erlang, and Elixir find bugs before your users do |
| title_auth | Property-based testing with PropEr, Erlang, and Elixir find bugs before your users do |
| title_exact_search | Property-based testing with PropEr, Erlang, and Elixir find bugs before your users do |
| title_full | Property-based testing with PropEr, Erlang, and Elixir find bugs before your users do Fred Hebert |
| title_fullStr | Property-based testing with PropEr, Erlang, and Elixir find bugs before your users do Fred Hebert |
| title_full_unstemmed | Property-based testing with PropEr, Erlang, and Elixir find bugs before your users do Fred Hebert |
| title_short | Property-based testing with PropEr, Erlang, and Elixir |
| title_sort | property based testing with proper erlang and elixir find bugs before your users do |
| title_sub | find bugs before your users do |
| topic | Computer software Testing ERLANG (Computer program language) Elixir (Computer program language) ERLANG (Langage de programmation) Elixir (Langage de programmation) Software Development & Engineering ; Quality Assurance & Testing Computer software ; Testing |
| topic_facet | Computer software Testing ERLANG (Computer program language) Elixir (Computer program language) ERLANG (Langage de programmation) Elixir (Langage de programmation) Software Development & Engineering ; Quality Assurance & Testing Computer software ; Testing |
| work_keys_str_mv | AT hebertfred propertybasedtestingwithpropererlangandelixirfindbugsbeforeyourusersdo |