动静态测试软件 Parasoft

C/C++ Test是parasoft专用于嵌入式C/C++语言的静态测试、动态/单元测试,以及集成测试软件,可实现整个测试过程全自动化: 静态测试: 1、支持4600+规范,30+规范类库,包含MISRA,CERT,CWE,OWASP,AUTOSAR C++等; 2、数据流控制流分析技术可在SIL早期发现运行时的问题; 3、40+代码度量,可量化解决性能瓶颈。 单元测试: 1、可自动生成高覆盖率的健壮性测试用例,可轻松地扩展和定制生成测试用例; 2、暴露功能问题和程序崩溃的缺陷,全面检查软件功能与需求符合度; 3、集成从单元级到应用程序级测试覆盖率跟踪,可测量9种覆盖率指标; 4、无缝集成多种ALM工具,实现需求到代码,需求到测试的双向关联追踪; 5、暴露应用程序执行时的内存、资源类缺陷,只报告运行阶段真正发生的缺陷。 联系人:Peter Kang:15900432004

Continue Reading动静态测试软件 Parasoft

TESSY 软件功能简介

TESSY 软件功能简介   TESSY是德国Razorcat公司开发的单元/集成测试工具,用于对函数单元的动态测试,验证函数的功能(即在各种不同的输入下,其输出是否符合预期),测试代码的覆盖率(即每一条语句及每一个分支是否都能够覆盖到等),TESSY通过了多种功能安全认证,如汽车行业标准ISO26262,TUV认证等。   Eclipse界面,简单易学,快速上手,Test Data Editor(TDE)图形化窗口方便设计testcase: Classification Tree Editor(CTE)等级树设计,自动生成testcase:   Usercode: 可添加用户代码,结合TDE一起使用,也可为桩函数添加特定的桩代码。 测试结果分析: TDE中可方便的查看测试结果,绿色标记的表示pass,红色标记的表示fail,鼠标放在结果的地方,可显示实际值,一目了然: 覆盖率查看:TESSY支持多种覆盖率的测量,包含单元测试和集成测试的 Statement Coverage (C0) Branch Coverage (C1) Decision Coverage (DC) Modified Condition / Decision…

Continue ReadingTESSY 软件功能简介

iC5000/5700 产品介绍

iC5000/5700 产品介绍 iC5000调试器/5700调试器是德国iSYSTEM公司(已被tasking收购)开发的高性能仿真调试器,iSYSTEM成立于1986年,30多年专注于汽车行业嵌入式软件开发调试及测试,支持几大主流半导体厂商如NXP,Infineon,Renesas,ST,TI等几乎所有主流MCU的调试,IC5000支持USB2.0通讯,内含256M的Trace Buffer;IC5700支持USB3.0通讯,内含1G的Trace Buffer: 一,基本调试功能: 两种调试接口:USB和网口 iC5000/iC5700蓝盒子是一个基本的硬件平台,通过更换调试接头和增加license来支持不同的MCU的调试,所有license都存放在硬件盒子里,不会丢失。 一个GUI界面友好的调试软件(winidea)可调试您所有的项目,可自动识别和调试目前主要编译器(如Keil,Codewarrior,Tasking,Cosmic,GreenHills,IAR,Windriver等)生成的可执行文件 可实时内存访问:实时读写全局变量,Memory,寄存器(取决于MCU)等 可设置多种条件断点,如:当代码读/写某个变量/Memory的时候,或当堆栈溢出时,自动停止 硬件断点、没有限制的软件断点 可图形化的方式显示变量或SFR或某个内存值的变化曲线,并保存/导出(txt,excel等) Stop的时候,可查看堆栈使用情况及call stack:当前使用堆栈、历史最大使用、堆栈总大小 支持多核(需多核授权)或协处理器调试:每个CPU核可分别控制,也可同步调试 支持多种实时操作系统:ORTI(AUTOSAR,OSEK,CMX),MQX,RTX, … 提供开放的API函数接口,可供第三方工具做一些集成化测试(如tessy,Java, C#,python等) Plug-in功能如XCP,通过XCP协议可与vector的canape等上位机通讯,实时传出数据来做标定 基于目标代码级的单元测试 二,高级功能(高级调试功能,可选,增加trace license即可实现): trace:程序运行时,实时跟踪并记录一段时间内程序执行的整个指令流 profiler:以时间为顺序,自动分析函数(或task,isr)运行的顺序、调用周期及相互间的调用关系 statistics:自动统计所有函数或任务的运行时间,运行次数,以及在整个程序中所占比列,cpu load等测试。 code coverage:代码运行覆盖率统计,即可统计出在运行过程中,哪些代码跑到了,哪些没有跑到…

Continue ReadingiC5000/5700 产品介绍