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

产品描述

搜索
 

TV-WIN-R3

器件型号:TV-WIN-R3
器件类别:开发板/开发套件/开发工具   
文件大小:3499.38KB,共4页
厂商名称:Atollic (ST)
下载文档

器件描述

development software trueverifier 3M term license

参数
Manufacturer: Atollic Inc.
Product Category: Development Software
RoHS: Not Applicable
Product: Licenses
Brand: Atollic Inc.
Description/Function: 3 month term license
Packaging: Bulk
Series: TrueVERIFIER
Tradename: TrueVERIFIER

TV-WIN-R3器件文档内容

                                                                                                     Embedded Passion

Get superior software quality
with embedded test automation!

TrueVerifier

Atollic TrueVERIFIERTM is a professional tool for
advanced test automation that helps you find bugs
automatically. By using Atollic TrueVERIFIERTM, you can
easily improve the quality of your software product!

Atollic TrueVERIFIERTM 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 TrueVERIFIERTM visualizes the test results and
the achieved test/code coverage.

Atollic TrueVERIFIERTM provides the following features:          Example code to be tested

Analyzes the source code and automatically finds out how       int MyFunc( char x )
  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        if( x < 50 )
Auto-generates unit test source code in the C-language
Auto-compiles and auto-downloads (JTAG) the unit tests            return 0;
Auto-runs the unit tests in the target board with
                                                                    else                             Important parameter
  execution flow monitoring
Users can instrument the test cases for advanced                  return 1;                                values are found
                                                                                                     by analysing the code
  failure detection
Uploads the test results as well as test and code coverage
Visualisation of test results and Block-, Branch- and

  Modified condition/Decision coverage

Summary Test automation                                        }

                                                                                      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-
             ble test cases and run them automatically.                               MyFunc( -2 );
                                                                                      MyFunc( -1 );
Why do it?   With auto-generated test cases, the source                               MyFunc( 0 );    Test values around 0
             code and unit tests are always synchronized,                             MyFunc( 1 );   Test values around 50
             test cases cover a much larger set of potential     Auto-generated       MyFunc( 2 );
             execution paths, and good testing becomes                    unit tests
             much easier and faster.                                                  MyFunc( 49 );
                                                                  (function calls)    MyFunc( 50 );
                                                                                      MyFunc( 51 );
How does     A tool analyze an application, generate test
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          Read more at www.atollic.com
             presented to the developer or tester.
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          MISRA is a registered trademark of MIRA Ltd, held on behalf of the MISRA Consortium.
development tool for embedded systems           sional code analysis. The product performs     professional code analysis. The product
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 Jnkping Gjuterigatan 7 SE-553 18 Jnkping 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
This datasheet has been downloaded from:
            datasheet.eeworld.com.cn

                 Free Download
           Daily Updated Database
      100% Free Datasheet Search Site
  100% Free IC Replacement Search Site
     Convenient Electronic Dictionary

               Fast Search System
             www.EEworld.com.cn

                                                 All Datasheets Cannot Be Modified Without Permission
                                                                Copyright Each Manufacturing Company
小广播

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