IEEE - Institute of Electrical and Electronics Engineers, Inc. - Testing Time Goal-Driven Requirements with Model Checking Techniques

14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07)

Author(s): G. Diaz ; E. Navarro ; M.E. Cambronero ; V. Valero ; F. Cuartero
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 March 2007
Conference Location: Tucson, AZ, USA
Conference Date: 26 March 2007
Page(s): 503 - 514
ISBN (Paper): 0-7695-2772-8
DOI: 10.1109/ECBS.2007.70
Regular:

In this paper we present the testing of time goal requirements by using model checking as an engine for test generation. The goal model that we use to capture the time requirements is an extension... View More

Advertisement