Fully automatic software test tool "COYOTE"

Fully automatic software testing tool on Unipos website COYOTE Page has been added.

COYOTE is a fully automated white-box testing tool and innovative software dynamic verification tool developed by combining symbolic execution (symbolic testing) and machine learning technology.

It generates test cases 100% automatically, reducing the burden on developers' implementation tasks.It also achieves 90% or better code coverage, contributing to successful unit testing of embedded and safety-focused software.

Functional features

Fully automated

• Fully automatic execution test progress confirmation from one-click creation of test harness / test case to derivation of test result (file)
• Confirmation of success by unit, confirmation of average coverage)
• Review of test results (coverage display by project or file, test case display, icon display when an error occurs)
• Crash bug auto-detection (Buffer Overrun, Null Dereference, Division by Zero, etc.)

Improved coverage

• Test case table for each unit (add user test case, function pointer auto-fill function)
• Test by user driver for each unit (supports user test harness creation, void pointer input analogy function)
• User stub addition function for each unit
• Provides various test coverage (Statement, Branch, MC / DC)

Flexible settings

• Project preferences (target barrage, test case iterations, time limit, etc.)
• Build environment settings (array length setting, file specification including global variables, etc.)
• Test settings (search strategy / number of iterations / time limit, number of test cases generated, etc.)
• Various compiler settings (new compiler support, MS visual studil, GCC, Clang, etc.)

Example of application field

Automotive electrical software / Automotive powertrain control software / Communication equipment software / Financial software / Robot software / Aviation software