17. The system of claim 12 , the control processor further configured to execute program instructions that cause the control processor to translate coverage criteria translation by using a criteria conversion table.
17. The system of claim 12 , the control processor further configured to execute program instructions that cause the control processor to translate coverage criteria translation by using a criteria conversion table. 18. The system of claim 17 , the control processor further configured to execute program instructions that cause the control processor to obtain from the model-based development tool the criteria conversion table.