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