John R. Callahan, Stephen M. Easterbrook, and Todd L. Montgomery. Generating test oracles via model checking, 1998. Unpublished, working paper. Available at http://research.ivv.nasa.gov/ projects/blurbs/FormalTesting.html. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Fault Origin Adjudication - Bhargavan, Gunter, Obradovic (2000) (1 citation) (Correct)
....R is typically fast. An interesting extension of the work presented would be to investigate how to steer trace generation to produce traces of a particular interest (e.g. those that would illustrate some interesting scenarios) One possibility would be to use ideas similar to those presented in [7, 8]. They describe a methodology for automatic generation of test oracles (based on the set of requirements) that resolve non determinism in a way that forces the system into a stress scenario. Several other ideas that focus on generation and analysis of test oracles for various logics are described ....
John R. Callahan, Stephen M. Easterbrook, and Todd L. Montgomery. Generating test oracles via model checking, 1998. Unpublished, working paper. Available at http://research.ivv.nasa.gov/ projects/blurbs/FormalTesting.html.
Formal Specification of a Voice Communication System used in Air.. - Hörl (1999) (Correct)
....how test cases can be automatically derived from an abstract, model based specification. However, this approach is only possible for small formal specifications or for specifications, where the state space can be considerably reduced under certain assumptions. Examples using this approach are [12, 65]. An abstract specification is used to generate test cases along with their corresponding oracles in order to verify the implementation of the system against its specification [2] 72] focuses on the generation of test oracles by means of a prototype. This prototype is derived from a formal B [1] ....
John R. Callahan and Steve M. Easterbrook. Generating Test Oracles Via Model Checking, 1998. http://research.ivv.nasa.gov/projects/blurbs/FormalTesting.html.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC