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.
格式:	Article
語言:	English
主題:	Software. Software engineering. Requirements/Specifications. Testing and debugging. Reliability. Verification. Formal model. Model-based testing. Requirements traceability.