Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Learn how to implement model-based testing (MBT) to automate test generation and significantly improve test coverage for open-source software components in this 20-minute conference talk. Discover Alibaba's industrial adoption of MBT through practical examples that demonstrate how high-level behavior models can systematically explore execution paths to create concrete tests, reducing manual maintenance efforts while achieving comprehensive coverage at both design and code levels. Explore the critical components of successful MBT implementation, including accessible modeling language choices that enable developers without formal language expertise to write effective models, necessary infrastructural extensions for executing model-based tests, and strategic positioning of MBT among various testing techniques with brief comparisons to LLM-based approaches. Gain insights into overcoming the labor-intensive limitations of traditional manual test suite maintenance and understand how component models enable automatic test input generation and output calculation for sustainable open-source development practices.
