Korean : Japanese : Contact : Sitemap
 
Static Analysis  
Unit/Integration/System Test  
Embedded Firmware Test  
Reverse Engineering&FP  
License Type  
Unit/Integration/System Test

C/C++/C# White-box Path/GUI Test

 The RESORT automated white-box path testing automatically extracts 100% of the domain and test data from each feasible path generated based on data-flow analysis and supports automated software testing.
 Additionally, it identifies flaws and bugs that may not be found in black-box testing, such as functional testing or boundary value testing.

 The automated white-box path testing tool provides integrated testing from unit to system testing on the host or target.
 (1) Unit Test: Automated White-box Path Test, Path-based Fault Injection Test
 (2) Integration Test: Path Instrument Test
 (3) System Test: GUI-Based Coverage Test

White-box Path Testing Benefits
  • Test Program Execution: System (Whole Program)
  • Test Generation Algorithm: Concrete Execution (Lower Cost than Symbolic Execution)
  • Test Design/Execution/Coverage Process
        -(White-box) White/White/White: Program Bug by MBD Method
        -(Black-box) Black/Black/White: no Program Bug

    Main Features of White-box Path Unit/Integration Testing
  • Automated White-box Path Testing
        -Path testing based on the "how" view of the program's internal structure(feasible path)
        -Integrated support for Regression and Fault Injection Test
  • Automated Path Test Case Test and Path Instrumentation Test
        -Automated generation of feasible paths, which are test cases, for each function (max<=n(condition statement))
        -Automated extraction of path domain and test data from each feasible path
  • Path-based Fault Injection Test
        -Verification for robustness and correctness of the logical structure of code by injecting fault values for each test case

    Main Features of GUI-based System Testing
  • GUI-based Coverage Test
        -Code coverage verification/validation based on GUI of Windows, Web, and Mobile SW
        -System Requirements(Scenario) verification/validation: Code Coverage

    MBD based Path Verification
  • MBD(Model-Based Design)-based Path Verification
        -Verification for "program logic" by comparing before and after the feasible path's test execution of the tested Statement, Branch, MC/DC
        -Path verification of program bug based on MBD of Extended Control Flow Graph

    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
  • Path testing focuses on the logic of the programs
  • It helps to achieve high-quality code coverage quickly
  • It reduces software testing time by more than 100x compared to manual black-box 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


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