Formal Engineering Methods, International Conference on (1997)
Nov. 12, 1997 to Nov. 14, 1997
Lionel van Aertryck , Alliance Qualit? Logicie
Marc Benveniste , Alliance Qualit? Logicie
Daniel Le Métayer , INRIA/IRISA
In this paper, we present CASTING, a Computer Assisted Software Test engineering method. The method, supported by a prototype tool, generates realistic software test suites in a formal and semi-automatic way. Based on a two-layer modular architecture, CASTING is not tied to any particular style of input. Initially designed to engineer functional test suites from formal specifications, CASTING can easily be instantiated to accept other formal description levels, seamlessly supporting the main industrial testing techniques, ranging from functional testing to structural testing. A simple process scheduler specification is used in this paper to illustrate the interaction facilities of CASTING and to provide a sample of the resulting test suites.
test suite generation, formally based testing, computer assisted testing, software verification, formal methods.
M. Benveniste, D. L. Métayer and L. van Aertryck, "CASTING: A Formally Based Software Test Generation Method," Formal Engineering Methods, International Conference on(ICFEM), Hiroshima, JAPAN, 1997, pp. 101.