|
|
|
|
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.
|
|
|
|
|
|
|
|
|