Online Testing with Model Programs.

Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorithm that is implemented in the model-based testing tool developed at Microsoft Research called Spec Explorer. Spec Explore...

Cur síos iomlán

Sonraí bibleagrafaíochta

Foilsithe in:	Software engineering notes. 30, 5 (2005).
Príomhchruthaitheoir:	Veanes, Margus
Formáid:	Alt
Teanga:	English
Ábhair:	Software. Software engineering. Testing and debugging. Testing tools (e.g. Data generators, coverage testing). Reliability. Verification. Conformance testing. Interface automata. Runtime verification.