Model-Based Dynamic Testing Tool

PikeTec TPT

As a model-based dynamic testing tool for embedded systems, it supports many mainstream tool platforms and testing environments in the industry, and can be applied to the entire embedded software development cycle to realize automated testing in various environments.

Automotive ECU Bus Simulation Analysis Tool


TSMaster is a simulation test verification platform that has application functions such as analysis, simulation, diagnosis, adjustment, and test, and supports vehicle-related standard communication protocols. It can be used for system/software level verification tests of vehicle ECUs.

Cyber Security

SYNOPSYS Coverity Static Application Security Testing (SAST)

Coverity® is a fast, accurate, and highly scalable static analysis (SAST) solution that helps development and security teams address security and quality defects early in the software development life cycle (SDLC), track and manage risks across the application portfolio, and ensure compliance with security and coding standards.

Cyber Security

SYNOPSYS Defensics Fuzz Testing

Defensics is a comprehensive, versatile, automated black box fuzzer that enables organizations to efficiently and effectively discover and remediate security weaknesses in software.