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. |
■ Click here for product details and inquiries |