Browsing by Author "Legeard, Bruno"
Now showing items 1-5 of 7
-
Automated Boundary Testing from Z and B
(Springer, 2002)We present a method for black-box boundary testing from B and Z formal specifications. The basis of the method is to test every operation of the system at every boundary state using all input boundary values of that ... -
A Comparison of the BTT and TTF Test-Generation Methods
(Springer, 2002)This paper compares two methods of generating tests from formal specifications. The Test Template Framework (TTF) method is a framework and set of heuristics for manually generating test sets from a Z specification. The B ... -
Controlling test case explosion in test generation for B formal models: Research Articles
(John Wiley & Sons, Ltd., 2004)BZ-TESTING-TOOLS (BZ-TT) is a tool set for automated test case generation from B and Z specifications. BZ-TT uses boundary and cause–effect testing on the basis of the formal model. It has been used and validated on several ... -
A subset of precise UML for Model-based Testing
(ACM, 2007)This paper presents an original model-based testing approach that takes a UML behavioural view of the system under test and automatically generates test cases and executable test scripts according to model coverage criteria. ... -
Symbolic Animation of JML Specifications
(Springer, 2005)This paper presents a model-based framework for the symbolic animation of object-oriented specifications. A customized set-theoretic solver is used to simulate the execution of the system and handle constraints on state ...
