Test suites and documentation capture similar information despite serving distinct purposes. Such redundancy introduces the risk that the artifacts inconsistently capture specifications. We present DScribe, an approach that leverages the redundant information in tests and documentation to reduce the cost of creating them and the threat of inconsistencies. DScribe allows developers to define simple templates that jointly capture the structure to test and document a specification. They can then use these templates to generate consistent and checkable tests and documentation. By linking documentation to unit tests, DScribe ensures documentation accuracy as outdated documentation is flagged by failing tests. DScribe’s template-based approach also enforces a uniform style throughout the artifacts. Hence, in addition to reducing developer effort, DScribe improves artifact quality by ensuring consistent content and style. Video: https://www.youtube.com/watch?v=CUKp3-MjMog
Tue 10 MayDisplayed time zone: Eastern Time (US & Canada) change
11:00 - 12:00 | Validation and VerificationDEMO - Demonstrations at ICSE Demo room 1 Chair(s): Allison Sullivan The University of Texas at Arlington | ||
11:00 15mDemonstration | ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts DEMO - Demonstrations Kunjian Song The University of Manchester, Nedas Matulevicius University of Manchester, UK, Eddie Lima Samsung Electronics, Brazil, Lucas C. Cordeiro University of Manchester Pre-print Media Attached | ||
11:15 15mDemonstration | DScribe: Co-generating Unit Tests and Documentation DEMO - Demonstrations Alexa Hernandez McGill University, Mathieu Nassif McGill University, Martin P. Robillard McGill University Link to publication Pre-print Media Attached | ||
11:30 15mDemonstration | SymInfer: Inferring Numerical Invariants using Symbolic States DEMO - Demonstrations ThanhVu Nguyen George Mason University, KimHao Nguyen University of Nebraska-Lincoln, Hai Duong Independent Researcher |