Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
IEEE Software
Mutation-Based Testing of Concurrent Programs
Proceedings of the IEEE International Test Conference on Designing, Testing, and Diagnostics - Join Them
Definitions and Detection of Deadlock, Livelock, and Starvation in Concurrent Programs
ICPP '94 Proceedings of the 1994 International Conference on Parallel Processing - Volume 02
Industrial Deployment of the TTCN-3 Testing Technology
IEEE Software
Hi-index | 0.00 |
Efficient testing of software modules remains a challenging task for complex software implementations. TTCN-3 has so far been applied mainly in the telecom domain but not yet in a larger extent to software module testing. This paper describes a multi purpose TTCN-3 test system solution primarily targeted for concurrent software and testing of software modules in isolation. Apart from a test system solution, an approach for type mappings from C to TTCN-3 is discussed, followed by an example of how test cases could be implemented and how the discussed test system be utilized for a simple software module.