|
|
|
|
|
| Unit/Integration/GUI Test |
|
|
 |
White-box Path & GUI Testing: C/C++/C#
RESORT automated white-box path testing measures the percentage of code coverage for all code statements using the automatically generated paths and test cases through the correctness of data-flow analysis for the program's internal logic.
Additionally, it identifies flaws and bugs that may not be found in black-box testing, such as functional testing or boundary value testing.
This testing provides from unit to system testing on the host or target.
(1) Unit Testing: White-box Path Testing
(2) Integration Testing: Path Instrument Testing
(3) System Test: GUI-based Testing
|
 |
 White-box Path Testing Features
Test Program Execution: System (Whole Program)
Test Generation Algorithm: Concrete Execution (Lower Cost than Symbolic)
(test step) Test Design/Execution/Coverage Process
- (White-box) White/White/White: Program Bug by MBD Method
- (Black-box) Black/Black/White: no Program Bug
Using White-box Path Testing(Unit/Integration)
Source Code-based White-box Path Testing
- (test design) Path-based test cases (input value) generation for each function
- (coverage) Host/Target-based code coverage measurement
- (one workflow) Path-based fault injection testing integrated with white-box testing
Supported Compilers for C and C++ based on Big-bang approach
- IAR, Code Composer Studio, Microchip Studio, KEIL, GNU, Intel, QNX, etc.
Using GUI Testing
Instrument Test based GUI Testing
- (test design) UI requirements scenario testing for Windows and Mobile GUI SW
- (coverage) Code Coverage based on Execution Code of GUI SW (client-server or parallel system)
- (one workflow) Multi-architecture(client-server or parallel) Applications Testing
MBD Verification
(test-to-path) Path Verification of Branch & MC/DC Coverage: Control-flow Graph
(test-to-scenario) Component Verification of Scenario Coverage: Call/File Graph
(test-to-code) Marking the Type of Structural Coverage in the Tested Code: Code View
- Tested Code Line: Statement(S), Branch(T, F)
Advantages of Automated Path Testing
Path testing focuses on the logic of the programs
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
Software Testing Best Cases
ISO 26262 Embedded SW Testing
- Automotive Semiconductors: C Unit/Integration Testing
- Autonomous Vehicles: C++ Unit/Integration Testing
Weapon System SW Testing
- Virtual/War-game Simulation Training C++ & C# GUI Testing
- Target-based GUI Testing: UI Scenario Test
- System Execution based Code Coverage Analysis with UI Test Scenarios on Client(C#)/Server(C++) Application System
|
|
|
|
|
|
|
 |
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.
|
 |
 |
 |
 |
|
|
| ||
|
