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). |
|---|---|
| מחבר ראשי: | |
| פורמט: | Article |
| שפה: | English |
| נושאים: |