Korean : Japanese : Contact : Sitemap
 
Static&Dynamic  
C, C++, C#  
Java(JSP)  
Python, R, JavaScript, Flex  
Mobile(iOS, Android)  
ABAP  
Function Point  
Static Analysis Dashboard  
License Type  
C, C++, C#

C, C++ Firmware System Test

 C/C++ Firmware System Test is an embedded testing tool that can verify embedded software in the target of MCU (Micro Controller Unit) firmware software. Unlike traditional test tools that only test embedded software in the host development environment, this is the optimal test tool to perform embedded integration testing in MCU processor combining software and hardware. The MCU is used in an expanded role from a controller for simple signal control to the role of the brain of a small terminal.

Firmware System Testing Benefits
  • Test Program Execution: System (Whole Program)
  • UART protocol-based GUI Testing
  • Embedded Test Target Environment
        -Software(code) + HW(MCU/ECU Processor) + Communication(UART)

    Main Features of Firmware System Testing
  • Firmware System Test
        -Code coverage verification/validation of Firmware SW
        -Safety verification/validation of Target-based Embedded Firmware SW

    Code Coverage Analysis and MBD based Path Verification
  • Code Coverage Analysis
        -Unit Coverage: Statement, Branch, Path Coverage
        -Integration Coverage: Function, Call Coverage
        -MBD-based Requirement Coverage: Traceability(Forward), Consistency Coverage
        -Code Coverage Analysis: On code, visual representation of tested coverage types and codes
  • MBD(Model-Based Design)-based Path Verification
        -(program path verification) Comparison of paths of tested Statement/Branch and MC/DC
        -(test-to-graph) Identification of path of bug based on MBD of expanded Control Flow Graph
        -(test-to-code) Visualization of the coverage type (Statement(S), Branch(T, F)) of the tested code

    Supported Compilers
  • C/C++ test supports all compiler families based on big-bang technique
       -IAR, ARM, Borland, Cosmic, GNU, Green Hills, Intel, Keil, Green Hills, Intel, IAR, Microsoft, QNX, Wind River, etc.

    Software Test Requirements Compliance
  • ISO 26262 (Automotive), DO-178 (Aerospace)
  • IEC 61508 (Industrial), IEC 62304 (Medical), EN 50128 & 50657 (Railway), etc.

    Advantages of Automated Path Testing
  • Verification of safety and reliability of target-based embedded software
  • It helps to achieve high-quality code coverage quickly
  • It reduces software testing time by more than 100x compared to manual simulation testing
       -Test Generation: Manual(Suppose one test case takes 10 minutes to complete the full testing) vs. Automation
  • It helps to fasten the time to market their software products


    Main Practices
  • Embedded SW testing based on ISO 26262 (semiconductor)
       -MCU firmware Test in target execution environment based on IAR Workbench in target
       -11,116 LOC/272 Functions: 100% Statement Coverage by performing a total of 12 days
  • Embedded SW testing based on ISO 61508 (Subway)
       -MCU firmware Test in target execution environment based on IAR Workbench in target
       -1,946 LOC/111 Functions: 100% Statement Coverage by performing a total of 3 days


  • Head Office: 3F, KAITS, 34, Seoun-ro 1-gil, Seocho-gu, Seoul 06732, KOREA
    Tel +82-2-553-9464
    Copyright¨Ï2016 Soft4Soft, All rights reserved. Designed by Meettech.