基于模型设计中的验证，确认和测试

《基于模型设计中的验证，确认和测试》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、基于模型设计中的验证，确认和测试WuJingApplicationEngineerMathWorksChina©2015TheMathWorks,Inc.1连续的测试&验证生产率+质量Model&CodeSystem&ComponentDynamictesting&Staticanalysis需要验证!连续的2基于模型设计中的多模式混动车设计EVModeSerialHEVModeEngineModeHiguchi,N.,Sunaga,Y.,Tanaka,M.,Shimada,H.:DevelopmentofaNewTwo-MotorPlug-InHybridSystem,SAE2

2、013-01-1476(2013)3多模式混动车CompleteDefineIntegration&TestRequirementsSystem-LevelSystem-LevelSpecificationIntegration&TestBatteryEngineEnergyManagementSubsystemSubsystem失效Integration&TestDesignSimulinkPlantModelProductionC-CodeSubsystemImplementation4连续的测试和验证框架Repeat在仿真层面复现失效生产率+Slice隔离有问题的设计质量F

3、ix修复，执行单元测试Check进一步检查设计错误需要验证Test系统化完整地测试连续的5在仿真层面复现失效RepeatConfirmtheproblemIntheLab/DesktopSliceSimulationFixCheckTest6失效报告Drivecycle复现失效7仿真环境控制器被控对象8测试建模DrivecycleControllerPlant9测试建模SafetyPropertyEngineRPMmustremainwithinoperatingboundslimitsControllerPlant10电池的充电状态Initialstateofcharge?Sw

4、eepfrom100%to50%ControllerPlant1112模型裁剪:隔离有问题的设计RepeatIsolatetheproblemSliceSimulationScenarioFixCheckTest13理解系统行为时遇到的挑战复杂的被控对象14理解系统行为时遇到的挑战复杂的被控对象复杂的控制器15理解系统行为时遇到的挑战复杂的被控对象复杂的控制器复杂的动态Turningbackwards16模型裁剪17通过ModelSlicer隔离有问题的设计ControllerSimulationScenarioPlantModelSlicerAreaofIntere

5、stStateflowHighlightingHighlightofIdentifyIncorporateRelevantPartsInterestOriginalChangesDesignModelHighlightedUpdatedSliceIterateModelModelCreateSliceSliceModelModelMBDWork•Simulate/Debug•Formalanalysis•Update19修复错误与单元测试RepeatIsolateRepeat&isolatetheproblem…SimulationScenarioFixfaultycompone

6、ntsFixCheckTest20状态同步错误EngineTurningBackwardsMissingTransitionTurningbackwardsIsolateandFix21单元测试流程MainModelTestHarness1.Separate2.ReproduceBugandFix4.Synchronize3.Confirm2223In-model验证IsolateComponentinTestVerificationResultstreamedtoHarnessDataInspectorIn-modelVerificationwithverifykeyword2

7、4进一步检查设计错误RepeatRepeat&isolatetheIsolateproblem…SimulationFixfaultycomponentsScenario…FixCheckeverythingCheckTest25利用StaticChecking进行鲁棒设计StaticAnalysisCapabilitiesSimulinkDesignVerifierPropertyDesignErrorTestProvingDetectionGenerationModelAdv