LFCS Seminar: Friday, 1 November: John Hughes Title: Property-based testing of Cardano smart contracts Abstract: Property-based testing (using tools such as QuickCheck) tests implementations against specifications, in a large number of randomly generated cases. It is thus a relatively cheap way to derive value from specifications, without the need for formal proofs. Smart contracts manage money, and bugs in them can enable theft of enormous sums—so it is worthwhile investing in specifications and tests to reduce this risk. For several years, Quviq has worked with IOG to develop property-based testing methods for smart contracts on the Cardano blockchain. Cardano smart contracts work rather differently from those on the Ethereum blockchain, so different testing methods are required. I will talk about some of the new methods we have developed, including QuickCheck Dynamic, a QuickCheck extension based on dynamic logic, and some recent work on traceability of requirements in testing on-chain code. Nov 01 2024 11.10 - 12.10 LFCS Seminar: Friday, 1 November: John Hughes John Hughes, Chalmers University of Technology and Quviq AB https://www.cse.chalmers.se/~rjmh/ Venue: 4.18, 40 George Square Note: unusual day, time, and venue!
LFCS Seminar: Friday, 1 November: John Hughes Title: Property-based testing of Cardano smart contracts Abstract: Property-based testing (using tools such as QuickCheck) tests implementations against specifications, in a large number of randomly generated cases. It is thus a relatively cheap way to derive value from specifications, without the need for formal proofs. Smart contracts manage money, and bugs in them can enable theft of enormous sums—so it is worthwhile investing in specifications and tests to reduce this risk. For several years, Quviq has worked with IOG to develop property-based testing methods for smart contracts on the Cardano blockchain. Cardano smart contracts work rather differently from those on the Ethereum blockchain, so different testing methods are required. I will talk about some of the new methods we have developed, including QuickCheck Dynamic, a QuickCheck extension based on dynamic logic, and some recent work on traceability of requirements in testing on-chain code. Nov 01 2024 11.10 - 12.10 LFCS Seminar: Friday, 1 November: John Hughes John Hughes, Chalmers University of Technology and Quviq AB https://www.cse.chalmers.se/~rjmh/ Venue: 4.18, 40 George Square Note: unusual day, time, and venue!
Nov 01 2024 11.10 - 12.10 LFCS Seminar: Friday, 1 November: John Hughes John Hughes, Chalmers University of Technology and Quviq AB https://www.cse.chalmers.se/~rjmh/
