top of page

CROWN 2.0

Automated Unit Testing for C programs

CROWN2.0_section 이미지-v5(영문).png
  • What is CROWN 2.0

CROWN 2.0 is a fully automated software test solution that significantly increases bug detection power and  reduces testing cost for embedded C programs

CR2-program 이미지_edited.jpg
  • Why CROWN 2.0

With CROWN 2.0, software quality and reliability can be improved cost-effectively through 100% automated test generation which are effective to detect bugs

  • How it works

  1. CROWN 2.0 analyzes target code and automatically builds test driver/stubs for unit testing

  2. AI-based Concolic testing engine automatically generates test inputs that exercises all possible execution paths of target unit under test.

  3. Then, CROWN 2.0 reports the achieved coverage and detected crash bugs.

  • Product features

  • Automatically build stub and driver code

  • Automated test case generation based on AI-based Concolic testing

  • Code-coverage report and analysis

  • Test case export to other tools such as VectorCast or ControllerTester

  • Easy-to-use web-based GUI interface

  • Highlights

  • 100% automated generation of test code/inputs 

  • High-quality unit test generation achieving >90% of branch coverage (or >80% of MC/DC coverage)

MAIST-cov_edited.jpg

  •  From an industrial case study with Hyundai Mobis ("Concolic Testing for High Test Coverage and Reduced Human Effort in Automotive Industry" published at Intl. Conf. on Software Engineering (ICSE) SEIP ‘19) [the paper and the slides]

bottom of page