Requirements traceability in automated test generation application to smart card software validation.

Automated test case and test driver generation from a formal model is becoming a more widely used practice in the smart card area. This innovative approach for validation testing makes it possible to ensure the functional coverage of the test suite and to automate the production of executable test s...

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

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