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...

সম্পূর্ণ বিবরণ

গ্রন্থ-পঞ্জীর বিবরন
প্রকাশিত:Software engineering notes. 30, 5 (2005).
প্রধান লেখক: Veanes, Margus
বিন্যাস: প্রবন্ধ
ভাষা:English
বিষয়গুলি: