Using Property-Based Testing in Blockchain …...Property based testing Blockchain properties Forall...

23
Using Property-Based Testing in Blockchain applications Thomas Arts

Transcript of Using Property-Based Testing in Blockchain …...Property based testing Blockchain properties Forall...

Page 1: Using Property-Based Testing in Blockchain …...Property based testing Blockchain properties Forall sequences of transactions: the total amount of tokens in the chain stays the same

UsingProperty-BasedTestinginBlockchainapplications

ThomasArts

Page 2: Using Property-Based Testing in Blockchain …...Property based testing Blockchain properties Forall sequences of transactions: the total amount of tokens in the chain stays the same

Anodeinadistributednetwork

Page 3: Using Property-Based Testing in Blockchain …...Property based testing Blockchain properties Forall sequences of transactions: the total amount of tokens in the chain stays the same
Page 4: Using Property-Based Testing in Blockchain …...Property based testing Blockchain properties Forall sequences of transactions: the total amount of tokens in the chain stays the same
Page 5: Using Property-Based Testing in Blockchain …...Property based testing Blockchain properties Forall sequences of transactions: the total amount of tokens in the chain stays the same
Page 6: Using Property-Based Testing in Blockchain …...Property based testing Blockchain properties Forall sequences of transactions: the total amount of tokens in the chain stays the same
Page 7: Using Property-Based Testing in Blockchain …...Property based testing Blockchain properties Forall sequences of transactions: the total amount of tokens in the chain stays the same
Page 8: Using Property-Based Testing in Blockchain …...Property based testing Blockchain properties Forall sequences of transactions: the total amount of tokens in the chain stays the same
Page 9: Using Property-Based Testing in Blockchain …...Property based testing Blockchain properties Forall sequences of transactions: the total amount of tokens in the chain stays the same

Anodeinadistributednetwork

Page 10: Using Property-Based Testing in Blockchain …...Property based testing Blockchain properties Forall sequences of transactions: the total amount of tokens in the chain stays the same

Anodeinadistributednetwork

Page 11: Using Property-Based Testing in Blockchain …...Property based testing Blockchain properties Forall sequences of transactions: the total amount of tokens in the chain stays the same

Anodeinadistributednetwork

Page 12: Using Property-Based Testing in Blockchain …...Property based testing Blockchain properties Forall sequences of transactions: the total amount of tokens in the chain stays the same

Anodeinadistributednetwork

Page 13: Using Property-Based Testing in Blockchain …...Property based testing Blockchain properties Forall sequences of transactions: the total amount of tokens in the chain stays the same

Anodeinadistributednetwork

AFORK

Page 14: Using Property-Based Testing in Blockchain …...Property based testing Blockchain properties Forall sequences of transactions: the total amount of tokens in the chain stays the same

Testingchallenges

Acomplexdistributedsystem,theusualchallengeofinfinitelymanypossiblestatesForexample:synchronization,differentkindsoftransactions,unpredictableorderofevents,cryptographyhardtomock,...

Page 15: Using Property-Based Testing in Blockchain …...Property based testing Blockchain properties Forall sequences of transactions: the total amount of tokens in the chain stays the same

QuickCheck

London2018 15

Instead of writing test cases.... they are automatically generated from properties Useful for Unit Testing, Component Testing, System Testing Less work, better testing, more fun

Page 16: Using Property-Based Testing in Blockchain …...Property based testing Blockchain properties Forall sequences of transactions: the total amount of tokens in the chain stays the same

QuickCheckinaNutshell

PropertiesTestcaseTestcaseTestcaseTestcaseTestcase

MinimalTestcase

Page 17: Using Property-Based Testing in Blockchain …...Property based testing Blockchain properties Forall sequences of transactions: the total amount of tokens in the chain stays the same

QuickCheck

APIundertest

Aminimalfailingexample

Page 18: Using Property-Based Testing in Blockchain …...Property based testing Blockchain properties Forall sequences of transactions: the total amount of tokens in the chain stays the same

DEMO

Page 19: Using Property-Based Testing in Blockchain …...Property based testing Blockchain properties Forall sequences of transactions: the total amount of tokens in the chain stays the same

Propertybasedtesting

BlockchainpropertiesForallsequencesoftransactions:thetotalamountoftokensinthechainstaysthesameInvalidtransactionsarenotacceptedonthechain(e.g.toolowfee,toolittleinaccount,etc)

Page 20: Using Property-Based Testing in Blockchain …...Property based testing Blockchain properties Forall sequences of transactions: the total amount of tokens in the chain stays the same

Propertybasedtesting

DistributedsystemForallpossiblenet-splits,crashesandforks,ifnetworkisstablelongenough,nodesagreeuponchain.

Page 21: Using Property-Based Testing in Blockchain …...Property based testing Blockchain properties Forall sequences of transactions: the total amount of tokens in the chain stays the same

Conclusions

Blockchaintesting•  generatedtestsfoundmanycornercases•  onsystemleveleasytoaddonefeatureandtestthousandsofnewtestsincludingfeature

•  hardtomockcrypto

Page 22: Using Property-Based Testing in Blockchain …...Property based testing Blockchain properties Forall sequences of transactions: the total amount of tokens in the chain stays the same

Questions

•  https://aeternity.com/•  https://github.com/aeternity/epoch/•  https://github.com/Quviq/epoch-eqc

Page 23: Using Property-Based Testing in Blockchain …...Property based testing Blockchain properties Forall sequences of transactions: the total amount of tokens in the chain stays the same

Anodeinadistributednetwork

synchronization


MAGAZINE FORALL SHOTOKAN KARATE - JKA …AN I

MAGAZINE FORALL SHOTOKAN KARATE - JKA …AN I

Hydraulic Power forall Industrial · PDF fileHydraulic Power forall Industrial Applications ... wheels, and later water pumps for ... quality, price and

Hydraulic Power forall Industrial · PDF fileHydraulic Power forall Industrial Applications ... wheels, and later water pumps for ... quality, price and

NANOMEDICINE%FORALL% · ©2005%–2015%Mulhall%Hansen%etal%%Permission%required%for%reproduc

NANOMEDICINE%FORALL% · ©2005%–2015%Mulhall%Hansen%etal%%Permission%required%for%reproduc

Before the Fair Housing Act FAIR HOUSING FORALL · STOP FAIR HOUSING FORALL The Fifth Amendment to the Constitution, the right to property The Dred Scott Decision, U.S. Supreme Court

Before the Fair Housing Act FAIR HOUSING FORALL · STOP FAIR HOUSING FORALL The Fifth Amendment to the Constitution, the right to property The Dred Scott Decision, U.S. Supreme Court

Improving Access to Credit in Property Markets Using Blockchain ·  · 2017-06-15Improving Access to Credit in Property Markets using Blockchain (8515) Manohar Velpuri ... It is

Improving Access to Credit in Property Markets Using Blockchain ·  · 2017-06-15Improving Access to Credit in Property Markets using Blockchain (8515) Manohar Velpuri ... It is

BulkOp -ForAll & Bulk Collect

BulkOp -ForAll & Bulk Collect

Group Intellectual Property...Myrtha Hurtado Rivas, Inteligencia artificial y Blockchain Asunción October 23, 2019 Group Intellectual Property AI Relevance 2 Business Use Only AI

Group Intellectual Property...Myrtha Hurtado Rivas, Inteligencia artificial y Blockchain Asunción October 23, 2019 Group Intellectual Property AI Relevance 2 Business Use Only AI

LISTINO FORALL 2011 - Socam · 2014. 5. 5. · LISTINO FORALL 2011. ... ForAll 01 Programma operativo con struttura metallica con gambe a cavalletto nel colore grigio alluminio. ...

LISTINO FORALL 2011 - Socam · 2014. 5. 5. · LISTINO FORALL 2011. ... ForAll 01 Programma operativo con struttura metallica con gambe a cavalletto nel colore grigio alluminio. ...

securing intellectual property Blockchain certificates for...securing intellectual property. Know-How and Information are the currency of today's knowledge economy DIRECTIVE (EU) 2016/943

securing intellectual property Blockchain certificates for...securing intellectual property. Know-How and Information are the currency of today's knowledge economy DIRECTIVE (EU) 2016/943

Blockchain Meetup Blockchain and Acronisblogs.asucollegeoflaw.com/lsi/...Blockchain-Meetup.pdf · • Blockchain powered Data Authentication Prototype • First Blockchain-related

Blockchain Meetup Blockchain and Acronisblogs.asucollegeoflaw.com/lsi/...Blockchain-Meetup.pdf · • Blockchain powered Data Authentication Prototype • First Blockchain-related

Vermont Bar Association Seminar Materials Property Law ... · blockchain could see all the records about the property managed in the blockchain. The statute does not directly address

Vermont Bar Association Seminar Materials Property Law ... · blockchain could see all the records about the property managed in the blockchain. The statute does not directly address

ScalaCheck versus JUnit: A Complete Example · Section 2.3 Chapter 2 · ScalaCheck versus JUnit: A Complete Example 30 Which types are available for use in a forAll property? ScalaCheck

ScalaCheck versus JUnit: A Complete Example · Section 2.3 Chapter 2 · ScalaCheck versus JUnit: A Complete Example 30 Which types are available for use in a forAll property? ScalaCheck

forall x: Calgary Remix. Solutions to Selected Exercisespeople.ucalgary.ca/~rzach/static/forallx/solutions/forallxsol.pdf · forall x Calgary Remix Solutions to Selected Exercises

forall x: Calgary Remix. Solutions to Selected Exercisespeople.ucalgary.ca/~rzach/static/forallx/solutions/forallxsol.pdf · forall x Calgary Remix Solutions to Selected Exercises

Intellectual Property Rights Blockchain Proof of Concept ...€¦ · Intellectual Property Rights Blockchain Proof of Concept: Overview & Results U.S. Customs and Border Protection

Intellectual Property Rights Blockchain Proof of Concept ...€¦ · Intellectual Property Rights Blockchain Proof of Concept: Overview & Results U.S. Customs and Border Protection

forall x: Calgary. Solutions to Selected Exercises

forall x: Calgary. Solutions to Selected Exercises

COALA IP: a blockchain-ready Intellectual property licensing protocol - BigchainDB & IPDB Meetup #2 - Jan 04, 2017

COALA IP: a blockchain-ready Intellectual property licensing protocol - BigchainDB & IPDB Meetup #2 - Jan 04, 2017

Creating Pathways to Success forAll

Creating Pathways to Success forAll

Accountability in a Permissioned Blockchain: Formal ...Accountability in a Permissioned Blockchain: ... blockchain a central security property, such as consistency, is not satisfied,

Accountability in a Permissioned Blockchain: Formal ...Accountability in a Permissioned Blockchain: ... blockchain a central security property, such as consistency, is not satisfied,

WIPO Standards Workshop on Blockchain · WIPO STANDARDS WORKSHOP ON BLOCKCHAIN . organized by the World Intellectual Property Organization (WIPO) Geneva. 1, April 29 to 30, 2019 .

WIPO Standards Workshop on Blockchain · WIPO STANDARDS WORKSHOP ON BLOCKCHAIN . organized by the World Intellectual Property Organization (WIPO) Geneva. 1, April 29 to 30, 2019 .

forall x: MSU edition. Solutions to selected exercisesloighic.net/logic/forallx-solutions.pdf · ii This booklet is based on the solutions booklet forall x: Cambridge, by Tim Button

forall x: MSU edition. Solutions to selected exercisesloighic.net/logic/forallx-solutions.pdf · ii This booklet is based on the solutions booklet forall x: Cambridge, by Tim Button