SyRust: automatic testing of Rust libraries with semantic-aware program synthesis
Yoshiki Takashima, Ruben Martins, Limin Jia, Corina S. Păsăreanu
Abstract
Rust’s type system ensures the safety of Rust programs; however, programmers can side-step some of the strict typing rules by using the unsafe keyword. A common use of unsafe Rust is by libraries. Bugs in these libraries undermine the safety of the entire Rust program. Therefore, it is crucial to thoroughly test library APIs to rule out bugs. Unfortunately, such testing relies on programmers to manually construct test cases, which is an inefficient and ineffective process.
Topics & Concepts
Rust (programming language)Computer scienceConstruct (python library)Process (computing)Programming languageTest (biology)Software engineeringPaleontologyBiologySoftware Testing and Debugging TechniquesSoftware Engineering ResearchSoftware Reliability and Analysis Research