电子工程世界电子工程世界电子工程世界

产品描述

搜索
 

TV-WIN-SUA

器件型号:TV-WIN-SUA
器件类别:开发板/开发套件/开发工具   
厂商名称:Atollic (ST)
下载文档

器件描述

Development Software TrueVERIFIER RENEWAL (IN WARRANTY)

参数
产品属性属性值
产品种类:
Product Category:
Development Software
制造商:
Manufacturer:
Atollic Inc.
RoHS:Not Applicable
产品:
Product:
Renewals
商标:
Brand:
Atollic Inc.
Description/Function:In-warranty renewal
封装:
Packaging:
Bulk
系列:
Series:
TrueVERIFIER
工厂包装数量:
Factory Pack Quantity:
1
商标名:
Tradename:
TrueVERIFIER

TV-WIN-SUA器件文档内容

                                                                                                        Embedded Passion

Get superior software quality

with embedded test automation!

TrueVerifier

Atollic TrueVERIFIER™ is a professional tool for

advanced test automation that helps you find bugs

automatically. By using Atollic TrueVERIFIER™, you can

easily improve the quality of your software product!

Atollic TrueVERIFIER™ performs source code analysis and

auto-generates unit tests that exercise an extensive set of

different execution paths. The tool downloads the test cases

and runs them in a target board with code coverage monitoring.

Finally, Atollic TrueVERIFIER™ visualizes the test results and

the achieved test/code coverage.

Atollic TrueVERIFIER™ provides the following features:

• Analyzes the source code and automatically finds out how

a C-function needs to be tested, to drive as many

combinations of important execution paths as possible.

• Enables user to add/edit/remove test suites and test cases

• Auto-generates unit test source code in the C-language

• Auto-compiles and auto-downloads (JTAG) the unit tests

• Auto-runs the unit tests in the target board with             Example code to be tested

execution flow monitoring                                       int  MyFunc(       char  x  )

• Users can instrument the test cases for advanced              {

failure detection                                                  if(   x  <  50  )

• Uploads the test results as well as test and code coverage         return    0;

• Visualisation of test results and Block-, Branch- and            else                                    Important parameter

Modified condition/Decision coverage                                 return    1;                          values are found

Summary – Test automation                                                                                  by analysing the code

                                                                }

                                                                                   MyFunc(     -128     );Test minimum value of datatype

What is it?  The means by which a software tool analyse

             the source code of a program, generates suita-                        MyFunc(     -2   );

             ble test cases and run them automatically.                            MyFunc(     -1   );

                                                                                   MyFunc(     0   );      Test values around 0

Why do it?   With auto-generated test cases, the source                            MyFunc(     1   );

             code and unit tests are always synchronized,                          MyFunc(     2   );

             test cases cover a much larger set of potential

             execution paths, and good testing becomes          Auto-generated     MyFunc(     49   );

             much easier and faster.                                 unit tests

                                                                (function calls)   MyFunc(     50   );     Test values around 50

How does     A tool analyze an application, generate test                          MyFunc(     51   );

it work?     cases, and execute them with execution-path                           MyFunc(     127     );  Test maximum value of datatype

             monitoring. Once a test session is completed,

             test results and test coverage information is

             presented to the developer or tester.                      Read more at www.atollic.com
A complete set of world class tools

for development and testing

More tools for professional development –                                                      from code to market.

The embedded systems                            Measure test quality                           Ensure coding standards

development tool                                with dynamic execution                         compliance with professional

for the next decade!                            flow analysis!                                 code inspection!

TrueSTUDIO                                      TrueANALYZER                                   Trueinspector

Atollic TrueSTUDIO® is the premier C/C++        Atollic TrueANALYZER® is a tool for profes-    Atollic TrueINSPECTOR® is a tool for

development tool for embedded systems           sional code analysis. The product performs     professional code analysis. The product       MISRA is a registered trademark of MIRA Ltd, held on behalf of the MISRA Consortium.

development, with its unrivalled feature-set    dynamic execution flow analysis and pro-       performs static source code inspection and

and unprecedented integration. In addition      vides rigorous code coverage measurements.     generates software metrics. The source code

to the state-of-the-art editor, the optimizing  Atollic TrueANALYZER® support many types       is validated against a database of formal

C/C++ compiler and multiprocessor-aware         of code coverage analysis up to the level of   coding standards, and coding constructs that

debugger, Atollic TrueSTUDIO® also includes     Modified condition/decision coverage (MC/      are known to be error-prone are detected

features for team collaboration, graphical      DC-level) as required by RTCA DO-178B          automatically. Atollic TrueINSPECTOR®

modeling and design, code review and            (Level A) for flight-control-system software.  supports the MISRA®-C:2004 coding

review meetings, and much more.                                                                standard.

                                                sales@atollic.com • www.atollic.com

                  Science Park Jönköping • Gjuterigatan 7 • SE-553 18 Jönköping • Sweden

                  115 Route 46 • Building F, Suite 1000 • Mountain Lakes • NJ 07046-1668 • USA
Mouser Electronics

Authorized Distributor

Click to View Pricing, Inventory, Delivery & Lifecycle Information:

Atollic Inc.:

TV-WIN-R1      TV-WIN-R3  TV-WIN-R6  TV-WIN-R12  TV-TX-WIN  TV-WIN-SUA  TV-WIN-NVS
小广播

About Us 关于我们 客户服务 联系方式 器件索引 网站地图 最新更新 手机版

站点相关: 大学堂 TI培训 Datasheet 电子工程

北京市海淀区知春路23号集成电路设计园量子银座1305 电话:(010)82350740 邮编:100191

电子工程世界版权所有 京ICP证060456号 京ICP备10001474号 电信业务审批[2006]字第258号函 京公海网安备110108001534 Copyright © 2005-2020 EEWORLD.com.cn, Inc. All rights reserved