Speaker: Katie Cleary

Software Engineer @PolySync

In true New Yorker form, Katie Cleary leverages her irreverent brand of skepticism into the rigorous application of testing and test automation for autonomous vehicle software & development tools. With the mindset that typical testing methods are insufficient for such a complex domain, she’s leaned into Property-Based Testing as a way to sniff out both the subtle---and sometimes overt---critical bugs in a system before potentially serious problems arise. When she isn't bug hunting, Katie can be found playing scary video games, skating with her roller derby team, or listening to old school Weezer.

Find Katie Cleary at

@clearydude
LinkedIn

Talk : Git Gud with Property-Based Testing

Track : Modern CS in the Real World
Location : Soho Complex, 7th fl.
Day of week : Thursday
Duration : 11:50am - 12:40pm

Traditional unit tests force developers to make difficult design decisions on their own, meaning their tests can be only as robust as the human imagination allows. In searching for an alternative to this limiting style of testing, I’ve found Property-Based Testing as a meaningful alternative. Property-Based Testing presents a marked shift from this typical awkward style of test creation. Instead, test cases are programmatically generated to try to explore not only execution path coverage but also the domain input space. This bolsters the possibility of exposing unidentified problematic inputs and states.

Typically, Property-Based Testing is applied close to the code in order to exercise functions. I’ve found that it can also be meaningfully used for testing at the integration level. Over the course of my discussion I will cover my experience using both methods as a way to find casting and overflow bugs in PolySync’s Open Source Car Control (OSCC) project, as well as for work involving the validation of security research and hardening strategies for git repositories.

Other talks from track Modern CS in the Real World

Introduction to gVisor: Sandboxed Linux Container Runtime
Senior Developer Advocate @GCPcloud
Emma Haruka Iwao
AutoCAD & WebAssembly: Moving a 30 Year Code Base to the Web
Software Architect @autodesk
Kevin Cheung
Probabilistic Programming from Scratch
Research engineer @Cloudera Fast Forward Labs
Mike Lee Williams
Real-Time, Fine-Grained Version Control With CRDTs
Founding Member of the Atom Editor Team @GitHub
Nathan Sobo
Fast Log Analysis by Automatically Parsing Heterogeneous Log
Researcher @NEC
Biplob Debnath
Fast Log Analysis by Automatically Parsing Heterogeneous Log
Senior Systems Administrator @NEC
Willard Dennis

Tracks

Schedule