Gasgoo Awards 2023 applicant: SmartRocket TestGrid from Shanghai Trusted Industrial Control Platform Co., Ltd.

Product: SmartRocket TestGrid 

Description

SmartRocket TestGrid supports both C and C++ languages and can simultaneously conduct static analysis, unit testing, and integration testing. It accommodates structured coverage testing requirements of varying levels and supports target machine adaptation and testing. Static analysis allows compliance checks with source code based on military standards and MISRA. Unit testing employs dynamic symbolic execution technology to auto-generate test cases with up to 100% coverage, meeting statement, branch, MC/DC coverage criteria. Integration testing offers autonomous control over the degree of function integration.

Unique advantages

1）High coverage unit testing During unit testing, there is no need to allocate dedicated testers separately. Developers can perform unit testing with just one click after coding is completed. Support automatic generation of high coverage and low redundancy structural coverage use cases based on code, meeting statement coverage, branch coverage, and MC/DC coverage, typically with coverage rates of over 80% to 90%. 2）Integrated testing platform Static analysis, unit testing, and integration testing can be completed easily through a single tool, fully automating the entire testing process, which developers and testers can use together. 3）Simple user experience The tool has a simple interface and easy operation, which users can quickly learn with a low learning cost and excellent user experience. The tool uses the B/S architecture, which can be used across platforms, has low requirements for client computer configurations, and is more convenient and flexible to use. 4）Seamless integration on multiple platforms The tool supports Windows, Linux, and Kylin systems and can easily integrate with most network-based software development management platforms or DevOps tools. It also supports integration into the task system of Jenkins continuous integration and other third-party software development management platforms.

Application

SmartRocket TestGrid has tested more than 10 million lines of code in aerospace, subway signal, automotive electronics, nuclear power control and Open-source software, with an average statement coverage of 85%.

Prospect

In the rail transit field alone, it has completed about 3 million lines of code testing, fulfilling SIL4 structured coverage verification requirements of Software Function Safety. The automatically generated coverage rates are - Statement Coverage: 90%, Branch Coverage: 90%, MC/DC Coverage: 85%. With SmartRocket TestGrid, overall testing efficiency has increased tenfold.