SpecChecker提供了高准确度和齐全的编码标准符合性检查，支持最微北多种类的精确缺陷检测能力，可以与用户软件開(kāi)发工(gō少東ng)具和流程无缝集成，最大(dà)限度发挥静煙謝态分析的效能。主要技术优势：高精度 MIS電近RA C/C++、AUTOSARC++14 检测可女引
应用安全测试（渗透测试）是通(tōng)过模拟恶意黑客的攻击方法喝來，来评估计算机网络系统安全的一(yī)种评估方法。Seeker软件是市南但场领先的新一(yī)代交互式应用安全测试软件。其独特技术通(tōng)術費过模拟攻击分析端到端数据流和运行時(shí)代码执車睡行操作，并将其相互关联。Seeker
实時(shí)系统软件执行時(shí)间性能测试工(gō做女ng)具（ARTS），从目标板总线、通(tōng)訊(xù年謝n)接口或内存获取信号，实现真实目标机在环系统级信讀测试,对实時(shí)在线采集到的数据进行分析，获得(de)被测软件的白盒测弟議试结果，包括性能分析、测试覆盖分析(语句覆盖和分支覆盖)、动态内存分配低弟分析、代码跟踪、变量跟踪、支持汇编语言、动态实時(shí)调用女去分析、最坏执行時(shí)间分析和报告自动生成功能,支持多任务和多但商线程的覆盖测试。
VectorCAST/C++是一(yī)套用来自动化C/C++单元测试、以及将事綠单元结合后进行集成测试的动态测试方案，用于验证安全关键嵌入式系统必要的模我人块
市场领先的QAC是為(wèi)在项目编码阶段的工(一冷gōng)程师设计的，以确保開(kāi)发高质量的紅車C代码。QA.C也可以在開(kāi)发过程的任何阶段用城學于减少代码bug，并且快速、自动执行、易用、可朋路用于任何规模的開(kāi)发环境。 QAC提供了高效的、稳舊說定的、完全自动化的环境创建和执行编码规范。QAC快速有效的拿城检测和报告软件的缺陷、语言执行錯(cuò)误、冲突、危险用法和编码规范錯(在好cuò)误，防止錯(cuò)误进入产品导致開(kāi)发延期。QA腦兒C能够监视和限制复杂度，開(kāi)发可测试和可维护代码。QAC可水老以报告代码对特定的编程规范的符合程度。
COBOT是北(běi)京大(dà)学開(kāi)发的软件代码跳朋静态分析与安全检测工(gōng)具。COBOT聽在支持10类1000余种编码规则检查、支持CWE 14类110余种件空语义缺陷、支持8类90余种常见的安全漏洞分析；COBOT通(關劇tōng)过度量分析能够检测包括圈复杂度，函数扇入扇出，注释
Defensics是新一(yī)代的网络应用智能模糊测试工(gō也人ng)具，它可以采取各种技术生成有效的测试案例，支持各种先进山樂的技术检测应用程序的故障和异常行為(wèi)，验证出现实世界中的錯海劇(cuò)误模式并对潜在的攻击渠道进行提示，支持290是電多种网络协议和文件格式，能有效揭露软
应用安全测试（渗透测试）是通(tōng)过模拟恶意員女黑客的攻击方法，来评估计算机网络系统安全少地的一(yī)种评估方法。Seeker软件是市场领先通路的新一(yī)代交互式应用安全测试软件。其独特技术通(tōng)过模拟攻击分析著街端到端数据流和运行時(shí)代码执行操作，并将其相互关联。Seeker
DTS是由北(běi)京邮电大(dà)学知名教授带领团队冷商研发的软件開(kāi)发规则检测系统，包含运行参数配置、规则模雪歌式检测、检测结果管理、缺陷报告生成等功能藍劇。DTS能检测软件代码中常见的開(kāi)发规则违背吧玩情况，提供友好(hǎo)的辅助缺陷定位功能，能够对街房选定的缺陷模式进行测试，可检
Coverity静态分析软件是最新一(yī)代的煙著源代码静态分析工(gōng)具，技术源自河弟于斯坦福大(dà)学，能够快速检测并定位源代廠熱码中可能导致产品崩溃、未知行為(wèi)、安全缺口或者灾难性暗多故障的软件缺陷。Coverity包含900多种质量和安全检测规则，曾协助找到多什師个0Da
