Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2401.01073 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866913185225768960 |
|---|---|
| author | Rho, Sanghoon Martens, Philipp Shin, Seungcheol Kim, Yeoneo |
| author_facet | Rho, Sanghoon Martens, Philipp Shin, Seungcheol Kim, Yeoneo |
| contents | In this paper, we present Coyote C++, a fully automated white-box unit testing tool for C and C++. Whereas existing tools have struggled to realize unit test generation for C++, Coyote C++ is able to produce high coverage results from unit test generation at a testing speed of over 10,000 statements per hour. This impressive feat is made possible by the combination of a powerful concolic execution engine with sophisticated automated test harness generation. Additionally, the GUI of Coyote C++ displays detailed code coverage visualizations and provides various configuration features for users seeking to manually optimize their coverage results. Combining potent one-click automated testing with rich support for manual tweaking, Coyote C++ is the first automated testing tool that is practical enough to make automated testing of C++ code truly viable in industrial applications. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2401_01073 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Taming the Beast: Fully Automated Unit Testing with Coyote C++ Rho, Sanghoon Martens, Philipp Shin, Seungcheol Kim, Yeoneo Programming Languages Software Engineering In this paper, we present Coyote C++, a fully automated white-box unit testing tool for C and C++. Whereas existing tools have struggled to realize unit test generation for C++, Coyote C++ is able to produce high coverage results from unit test generation at a testing speed of over 10,000 statements per hour. This impressive feat is made possible by the combination of a powerful concolic execution engine with sophisticated automated test harness generation. Additionally, the GUI of Coyote C++ displays detailed code coverage visualizations and provides various configuration features for users seeking to manually optimize their coverage results. Combining potent one-click automated testing with rich support for manual tweaking, Coyote C++ is the first automated testing tool that is practical enough to make automated testing of C++ code truly viable in industrial applications. |
| title | Taming the Beast: Fully Automated Unit Testing with Coyote C++ |
| topic | Programming Languages Software Engineering |
| url | https://arxiv.org/abs/2401.01073 |