• documentation
main content

review analysis results -凯发k8网页登录

log and review analysis results, generate report, inspect test cases

you use simulink® design verifier™ to log and review analysis results and generate analysis reports. you can generate test inputs and export them to new test cases in simulink test™.

functions

load simulink design verifier analysis results for model
highlight model using data from simulink design verifier analysis
generate simulink design verifier report
get simulation data in dataset format
generate simulation or execution options for sldvruntest or sldvruncgvtest
simulate model by using input data
default options for sldvmakeharness
generate harness model
merge test cases and initializations into one harness model
invoke code generation verification (cgv) api and execute model

topics


  • describes highlighting of analysis results on the model.


  • describes the different parts of a simulink design verifier report.


  • describes a basic harness model.


  • describes the contents of a simulink design verifier data file.


  • describes the analysis log files.


  • review analysis results in the simulink design verifier  results summary window.


  • describes how to generate test cases in simulink test using simulink design verifier analysis results, which can be generated by property proving, design error detection, and test case generation.


  • automate test generation and execution by using models that contain requirements table blocks.


  • describes the filtering of objectives by using analysis filter explorer.


  • inspect test generation objectives using model slicer.

网站地图