STARWEST 2024 - Test Metrics | STARWEST

STARWEST 2024 - Test Metrics

Thursday, September 26

James Wood
Trimble PPM, Inc.
T22

Leveraging and Measuring the Use of Formal Testing Methods in Product Development

Thursday, September 26, 2024 - 3:00pm to 4:00pm

Without training in software testing that includes formal methods such as equivalence class partitioning, boundary value analysis, decision tables, state diagrams, and others, an engineer, in good faith, will test the code intuitively until reaching “qualitative confidence” that testing is sufficient. The team at Trimble, Inc. provided training to engineers in a wide variety of formal testing methods so they could gain “quantitative confidence” that code has been tested sufficiently, by using methods known to achieve concrete coverage in requirements and code. Subsequently, Trimble...