SCADE测试模型覆盖率高级选修模块.pdfVIP

IntroductiontoAnsysSCADETestModel

CoverageforAnsysSCADESuite

Module03:OptionalLecture

AdditionalCoveragePoints(Advanced)

Release2022R2

©2022ANSYS,Inc.Unauthorizeduse,distribution,orduplicationisprohibited.

M03Module

•M03istheoptionalandadvancedAdditionalCoveragePointsmodule:

‐Shouldbepresentedonlywhenyouconsiderthatthepredefinedcoveragepoints(tags)oftheSCADE

TestModelCoveragetoolarenotsufficienttomeasurethemodelcoverageandsowanttoimplement

usercoveragepoints(tags)

‐Prerequisites:knowledgeoftheconceptsofSCADETestModelCoverage(M01module)

2©2022ANSYS,Inc.Unauthorizeduse,distribution,orduplicationisprohibited.

TrainingObjectives

•Learnhowto

‐Implementusercoveragepoints(AdditionalCoveragePoints)and

‐Measuretheirmodelcoverage

3©2022ANSYS,Inc.Unauthorizeduse,distribution,orduplicationisprohibited.

TrainingActivities:ExercisesandLabs

•Exercisesandlabshelpyouto

‐Usethetoolgraphicaluserinterfaceand

‐Understandconcepts

•Insomecases,labsthatgroupseveralexercises,allowyoutoexperimentsuccessive

operationsinuserworkflows

•Instructionsandsolutionsofexercises/labsareprovidedinaseparatedocument

4©2022ANSYS,Inc.Unauthorizeduse,distribution,orduplicationisprohibited.

Agenda

•AdditionalCoveragePointsDefinition

•CoverageObserver

•MeasureAdditionalCoveragePoints

5©2022ANSYS,Inc.Unauthorizeduse,distribution,orduplicationisprohibited.

Agenda

•