Advanced Testing in Rust
Clarendon Auditorium | Wed 15 Mar 11:40 a.m.–12:25 p.m.
Presented by
-
Tobin Harding
@nestor_anon
http://tobin.cc
Tobin Harding is a Rust hacker who likes messing around with bitcoin. He has 3 kids and hails from the Central Coast of NSW.
Tobin Harding
@nestor_anon
http://tobin.cc
Abstract
This talk will cover a bunch of topics related to testing Rust code. We'll do a quick tour of basic unit and integration testing, how the module tree looks in a typical Rust crate. Then we will move on to cover four different testing approaches:
- Mutation testing with Mutagen.
- Code verification with Kani.
- Property-based testing with Quickcheck and Arbitrary.
- Fuzzing with Hongfuzz.
Recently, in rust-bitcoin, we have been putting a bit more effort into testing, I have found this quite interesting and have learned a whole bunch. This talk hopes to share some things I've learned and inspire more enthusiasm for what is sometimes an unloved part of software.
YouTube: https://www.youtube.com/watch?v=DjU1Ykw14qc
LA Archive: http://mirror.linux.org.au/pub/everythingopen/2023/clarendon_auditorium/Wednesday/Advanced_Testing_in_Rust.webm
This talk will cover a bunch of topics related to testing Rust code. We'll do a quick tour of basic unit and integration testing, how the module tree looks in a typical Rust crate. Then we will move on to cover four different testing approaches: - Mutation testing with Mutagen. - Code verification with Kani. - Property-based testing with Quickcheck and Arbitrary. - Fuzzing with Hongfuzz. Recently, in rust-bitcoin, we have been putting a bit more effort into testing, I have found this quite interesting and have learned a whole bunch. This talk hopes to share some things I've learned and inspire more enthusiasm for what is sometimes an unloved part of software. YouTube: https://www.youtube.com/watch?v=DjU1Ykw14qc LA Archive: http://mirror.linux.org.au/pub/everythingopen/2023/clarendon_auditorium/Wednesday/Advanced_Testing_in_Rust.webm