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 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) Integrated support for path-based fault injection testing
Supported Compilers for Java and Android based on Big-bang approach
Using GUI Testing
Instrument Test based GUI Testing
- (test design) Requirements Scenario Testing for Windows, Web, 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
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.
White-box Path Testing Features
