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

Tegara Corporation is a COYOTE manufacturer-certified reseller.
Please feel free to contact us when considering.