单元测试工具 单元测试工具 单元测试工具 单元测试工具 获得机能安全标准 获得机能安全标准 获得机能安全标准 获得机能安全标准 ISO26262/IEC61508 ISO26262/IEC61508 ISO26262/IEC61508 ISO26262/IEC61508 覆盖率专家 覆盖率专家 ｗｉｎＡＭＳ 覆盖率专家 覆盖率专家 工具认证 工具认证 工具认证 工具认证 ! C/C++嵌入式软件测试用模块化单元测试自动工具 嵌入式系统芯片完美对应! C/C++ 嵌入式系统芯片完美对应 嵌入式软件测试用模块化单元测试自动工具 ! C/C++ 嵌入式系统芯片完美对应 嵌入式系统芯片完美对应 ! C/C++ 嵌入式软件测试用模块化单元测试自动工具 嵌入式软件测试用模块化单元测试自动工具 hook code.对实装代码直接进行动态测试 不使用不使用不使用不使用hook code. 对实装代码直接进行动态测试 hook code. hook code. 对实装代码直接进行动态测试 对实装代码直接进行动态测试 C0/C1/MCDC覆盖率测试及结合测试用函数调用覆盖率的计测 支持函数单位的C0/C1/MCDC 支持函数单位的 覆盖率测试及结合测试用函数调用覆盖率的计测 C0/C1/MCDC 支持函数单位的 支持函数单位的 C0/C1/MCDC 覆盖率测试及结合测试用函数调用覆盖率的计测 覆盖率测试及结合测试用函数调用覆盖率的计测 C0/C1/MCDC覆盖率测试用输入数据 可自动生成满足C0/C1/MCDC 通过静态解析机能 可自动生成满足 通过静态解析机能 覆盖率测试用输入数据 C0/C1/MCDC 可自动生成满足 通过静态解析机能 通过静态解析机能 可自动生成满足 C0/C1/MCDC 覆盖率测试用输入数据 覆盖率测试用输入数据 ISO26262/IEC61508工具认证 获得机能安全标准ISO26262/IEC61508 获得机能安全标准 工具认证 ISO26262/IEC61508 获得机能安全标准 获得机能安全标准 ISO26262/IEC61508 工具认证工具认证 利用利用利用利用MPUMPUMPUMPU仿真器的 仿真器的 仿真器的仿真器的 通过代码解析可以自动生成用于C0/C1/MCDC 通过代码解析可以自动生成用于 C0/C1/MCDC 通过代码解析可以自动生成用于 通过代码解析可以自动生成用于 C0/C1/MCDC C0/C1/MCDC 嵌入式软件专用单元测试工具 嵌入式软件专用单元测试工具 嵌入式软件专用单元测试工具 嵌入式软件专用单元测试工具 覆盖率测试的测试数据 覆盖率测试的测试数据 覆盖率测试的测试数据 覆盖率测试的测试数据 「覆盖率专家 winAMS」是将通过交叉编译生成的[实装代码]作为评 通过和静态解析工具「CasePlayer2」结合使用,可以生成针对 价代码,具有使用MPU仿真器进行仿真运行功能的测试工具. 不仅 测试对象程序代码的输入数据. 可以对C语言编写的程序进行逻辑水平的测试,还可以对嵌入式软 件特有的依存于芯片的问题点进行确认.是一款值得信赖的单元测 输入输出数据的记录使用 输入输出数据的记录使用CSVCSVCSVCSV文件文件文件文件 输入输出数据的记录使用 输入输出数据的记录使用 试工具. 对函数进行输入输出测试时使用的数据,采用CSV文件方式做 覆盖率计测自动化 覆盖率计测自动化 覆盖率计测自动化 覆盖率计测自动化 成,进行测试时无需更改程序代码. 通过进行输入输出测试,自动生成可以在代码上表示的测试对象路 支持支持支持支持MCDCMCDCMCDCMCDC覆盖率测试机能 覆盖率测试机能((((选项选项选项选项)))) 覆盖率测试机能 覆盖率测试机能 径的覆盖率结果.工具还具有查看测试数据和程序中相对应路径的 功能. 通过在测试对象的程序代码中自动插入MCDC测试用的解析 代码来实现对MCDC覆盖率的测定. 交叉编译器 ※可使用其他 公司产品 Obj OMF变换 MPU仿真 ※使用其他公 司编译器时 嵌入式芯片 实装代码 测试结果・期待值判定 测试对象 程序代码 静态解析工具 CasePlayer2 对函数使用的变量 进行解析 函数 输入数据 (可通过仕样 解析情报 覆盖率专家 书做成) 覆盖率专家 单元测试 自动执行功能 C0/C1/MCDC 输入数据做成支援功能 覆盖率报告 C0/C1/MCDC 「覆盖率专家winAMS/通用」和「CasePlayer2」同样, 在2012年6月28日通过了第三方认证机构德国的 （TUV SUD）的认证,获得了面向汽车的安全规格 ISO 26262的工具认证,是包括日本在内的亚洲区域 的第一家. SSTManager：进行覆盖率专家winAMS单元测试项目管理, C0/C1/MCDC覆盖率检索： 能够进行测试数据和覆盖 测试数据做成的软件包 率结果的解析. 

主要功能 主要功能 主要功能 主要功能 高效率的自动化单元测试作业 高效率的自动化单元测试作业 高效率的自动化单元测试作业 高效率的自动化单元测试作业 测试对象函数中使用变量的自动抽出功能,结构体要素的表示功能.高效 率的单元测试. 覆盖率测试 输入数据自动做成功能 /MCDC覆盖率测试 CCCC1111/MCDC 输入数据自动做成功能 覆盖率测试 /MCDC /MCDC 覆盖率测试 输入数据自动做成功能 输入数据自动做成功能 通过使用代码解析工具「CasePlayer2」,可以解析条件式的镶嵌构造及境 界值,自动生成100%满足C1/MCDC覆盖率测试用的最少测试输入数据 . 结构测试,以及汽车机能安全(ISO26262)中规定的结构覆盖率测试中可 以利用. ,MC/DC覆盖率的自动计测 CCCC0000 ,C,C,C,C1111 ,MC/DC 覆盖率的自动计测 ,MC/DC ,MC/DC 覆盖率的自动计测 覆盖率的自动计测 作为嵌入式系统软件覆盖率的一般指标的C0,C1,MC/DC,以及汽车机能 支持函数覆盖率,,,,调用覆盖率计测功能 支持函数覆盖率 调用覆盖率计测功能 支持函数覆盖率 支持函数覆盖率 调用覆盖率计测功能 调用覆盖率计测功能 安全要求的MC/DC覆盖率的计测,都是使用目标代码进行的测试. winAMS支持结合检查水平的结构覆盖率计测功能 .也支持汽车机能安 全规格ISO26262的结合检查(Part 6-9)中所要求的,指定源文件中的函数 是否全部执行过[函数覆盖率],指定函数内的子函数是否全部被调用过 [调用覆盖率]的计测. 可进行可进行可进行可进行C++C++C++C++代码的单元测试 代码的单元测试 代码的单元测试 代码的单元测试 可进行C++代码的单元测试.根据类的定义,测试时,或是在指定的内存空 间自动生成类对象,或是指定代码中存在的静态对象,对类中的函数实施 单元测试. CasePlayer2222生成程序流程图 利用利用利用利用CasePlayer 生成程序流程图 CasePlayer CasePlayer 生成程序流程图 生成程序流程图 和CasePlayer2生成的流程图及单元构造图(函数调用构造图)链接,可进 行单元测试时的代码解析,同时也能够和覆盖率的测试结果联动表示. 支持的MPU・开发环境 对应芯片请参照以下网址: http://www.gaio.co.jp/product/product_supmpu.html http://www.gaio.co.jp/product/product_supmpu.html http://www.gaio.co.jp/product/product_supmpu.html http://www.gaio.co.jp/product/product_supmpu.html 动作环境: CPU Pentium(相当) 2GHz 内存 2GB Windows XP SP2/Vista/Windows 7 (32bit/64bit) 系列产品 系列产品 系列产品 系列产品 覆盖率专家 覆盖率专家 通用通用通用通用 覆盖率专家 覆盖率专家 针对多媒体,手机等产品开发的单元测试工具包 汽车行业单元测试标准工具[覆盖率专家 winAMS]的最新系列产品! 「覆盖率专家 通用」 工具包 只需登录测试对象C语言(ANSI-C标准)函数,就可进行单元测试 是针对于不依存嵌入芯片的程序进行单元测试的工具包.标准配置中包 含实施单元测试的通用ANSI-C标准的编译器.只需登录检查对象函数就 可进行单元测试. 在单元测试实施,C1/MCDC覆盖率测试数据做成等方面具有和[覆盖率 专家winAMS]相同的功能. 只需在测试任务中 登录测试函数(文件) .c .h 标准配置包含单元测试所必有的全部功能 测试任务蓝本生成 测试执行文件做成 单元测试仿真器 ANSI标准通用编译器 测试对象 程序代码 经销商 代码静态解析工具 实行结果・期待值判定 「CasePlayer2」 覆盖率结果表示・解析功能 2013.06 上海博域汽车电子有限公司 上海博域汽车电子有限公司 上海博域汽车电子有限公司 上海博域汽车电子有限公司 〒200050 上海市宣化路28号企业发展大厦B楼1207-1208室 TEL:021-62128150 E-mail:info@by-test.com URL:http://www.by-test.com/