The ASTOOT approach to testing object-oriented programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
The VERILOG Hardware Description Language
The VERILOG Hardware Description Language
A Simple and Practical Approach to Unit Testing: The JML and JUnit Way
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
System Test Synthesis from UML Models of Distributed Software
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Using On-The-Fly Verification Techniques for the Generation of test Suites
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Adaptive Testing of Non-Deterministic Communication Protocols
Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems VI
JUnit in Action
Hi-index | 0.00 |
This paper presents a case study which is the test of a voice-based service. To develop this application, we propose new functionalities for testing languages and a new language called LaTe that implements them. With LaTe, one testing scenario can describe several different executions and the interpreter tries to find the execution that best fits with the real behavior of the System Under Testing (SUT). We propose an operational semantics of these non-deterministic operators. Experimental results of the test of the voice-based service are also included.