collect coverage for models -凯发k8网页登录

measure coverage for models, identify untested elements of your design

collect coverage during simulation to measure which elements in your model or stateflow^® charts are tested. simulink^® coverage™ measures several types of coverage, such as execution, decision, condition, and modified condition/decision coverage. the most basic coverage level determines whether an item executes during simulation, while more extensive coverage levels determine whether individual logical conditions are fully exercised and independently affect the output of logical expressions.

functions

collect model coverage

	simulate simulink model
	create model coverage test specification object
	simulate and return model coverage results for test objects
	access simulink coverage data in the matlab workspace
	exit coverage environment
`parsim`	simulate dynamic system multiple times in parallel or serial

verify individual components

	log test data for component or model during simulation
	combine test data from data files
	generate simulink coverage harness model
	generate default options for `slvnvmakeharness`
	combine test data from harness models
	simulate model by using input data
	use code generation verification (cgv) api to execute model
	generate simulation or execution options for `slvnvruntest` or `slvnvruncgvtest`
	extract atomic subsystem or subchart contents into new model

topics

model coverage definitions

validate your model tests by measuring how thoroughly the model objects are tested.
types of model coverage
model coverage metrics provided by simulink coverage.
describes the definitions of mcdc coverage available for use in simulink coverage.
describes the difference between mcdc coverage in simulink design verifier™ and in simulink coverage.

using model coverage

learn the basic simulink coverage workflow.
in the model settings, specify several coverage analysis options.
model objects that receive model coverage during simulation.
simulink objects that do not receive coverage.
collect model coverage when a model has multiple model blocks that reference the same model.
learn how simulink coverage displays coverage results for simulink variants.
learn how inlined parameters, block reduction, and conditional input branch execution can affect your model coverage data.

model coverage for stateflow charts

describes the definition of coverage for elements in stateflow charts.
describes the coverage metrics you can collect for stateflow charts.
coverage behavior when your model contains stateflow atomic subcharts.
interpret the colored model highlighting for stateflow charts.
coverage behavior when your model contains stateflow truth tables.