The Community for Technology Leaders
Formal Engineering Methods, International Conference on (1997)
Hiroshima, JAPAN
Nov. 12, 1997 to Nov. 14, 1997
ISBN: 0-8186-8002-4
pp: 101
Lionel van Aertryck , Alliance Qualit? Logicie
Marc Benveniste , Alliance Qualit? Logicie
Daniel Le Métayer , INRIA/IRISA
ABSTRACT
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.
INDEX TERMS
test suite generation, formally based testing, computer assisted testing, software verification, formal methods.
CITATION

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.
doi:10.1109/ICFEM.1997.630411
96 ms
(Ver 3.3 (11022016))