Symbolic Testing
COYOTE a fully automated unit testing tool automatically creates test cases for each function of software and automatically executes it.
When full automatic testing is executed, the most difficult part is the automatic creation of test cases. Although diverse techniques have been devised for scores of years, there have been many stumbles along the way. Even though many test automation tools are advertised to have the automatic creation function of test cases, they have been shunned due to the above reason.
We have developed a symbolic testing engine enabling the automatic creation of test cases at the commercialization level with our technology. The symbolic testing technology performs white box testing using the symbolic execution or concolic execution techniques and it exerts outstanding capabilities for the automatic creation of test cases.
The symbolic testing engine explores all execution paths of a given function and calculates the conditions under which each execution path is executed (path condition).
To this end, Insert the code to perform the symbolic operation into the given function, and generate driver code to drive the function and stub code of other functions called by that function to automatically generating test executables. When running the test, the actual execution and the symbolic execution are performed simultaneously, and it calculates the path conditions and test cases. At this time, to solve the conditional equation, an automatic theorem-proof such as an SMT solver is used.
(Fully automatic white box testing engine)
Automatic Verification Team
- We develop fully automated testing tools by fusing technologies such as concolic execution, automatic proof, static analysis, machine learning, and more.
- For the development environment, we mainly use functional languages such as F# and object-oriented languages such as Java.
- The source code analysis, SMT solver, and code generation technology play a pivotal role in the automation of various factors required for automated testing, as well as the symbolic testing technology.
- We will do our utmost to ensure a fully automated testing tool, COYOTE, be a reliable partner in areas where software reliability is particularly important, such as automobiles and aviation.
ENG
