产品

基于模型的测试用例设计工具（AutoTCG），采用基于图形化模型的测试引擎，适用于业务关键、任务关键或安全关键的功能测试。

凯云软件测试项目管理系统（Software Testing Management System，简称：STM）是为企业软件测试部门以及第三方软件测试机构打造的统一工作平台。

装备软件全数字仿真测试平台（DSTP）是基于嵌入式处理器的全数字仿真测试系统

DT10是为嵌入式项目构建的下一代动态测试工具。

Sunwise AUnit 是一款面向 C、C++语言的自动化单元与集成测试工具

COBOT是北大软件开发的软件代码静态分析与安全检测工具。