資源描述：
《基于模型設計中的驗證，確認和測試》由會員上傳分享，免費在線閱讀，更多相關內(nèi)容在學術論文-天天文庫。
1、基于模型設計中的驗證，確認和測試WuJingApplicationEngineerMathWorksChina?2015TheMathWorks,Inc.1連續(xù)的測試&驗證生產(chǎn)率+質(zhì)量Model&CodeSystem&ComponentDynamictesting&Staticanalysis需要驗證!連續(xù)的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連續(xù)的測試和驗證框架Repeat在仿真層面復現(xiàn)失效生產(chǎn)率+Slice隔離有問題的設計質(zhì)量F
3、ix修復，執(zhí)行單元測試Check進一步檢查設計錯誤需要驗證Test系統(tǒng)化完整地測試連續(xù)的5在仿真層面復現(xiàn)失效RepeatConfirmtheproblemIntheLab/DesktopSliceSimulationFixCheckTest6失效報告Drivecycle復現(xiàn)失效7仿真環(huán)境控制器被控對象8測試建模DrivecycleControllerPlant9測試建模SafetyPropertyEngineRPMmustremainwithinoperatingboundslimitsControllerPlant10電池的充電狀態(tài)Initialstateofcharge?Sw
4、eepfrom100%to50%ControllerPlant1112模型裁剪:隔離有問題的設計RepeatIsolatetheproblemSliceSimulationScenarioFixCheckTest13理解系統(tǒng)行為時遇到的挑戰(zhàn)?復雜的被控對象14理解系統(tǒng)行為時遇到的挑戰(zhàn)?復雜的被控對象?復雜的控制器15理解系統(tǒng)行為時遇到的挑戰(zhàn)?復雜的被控對象?復雜的控制器?復雜的動態(tài)Turningbackwards16模型裁剪17通過ModelSlicer隔離有問題的設計ControllerSimulationScenarioPlantModelSlicerAreaofIntere
5、stStateflowHighlightingHighlightofIdentifyIncorporateRelevantPartsInterestOriginalChangesDesignModelHighlightedUpdatedSliceIterateModelModelCreateSliceSliceModelModelMBDWork?Simulate/Debug?Formalanalysis?Update19修復錯誤與單元測試RepeatIsolateRepeat&isolatetheproblem…SimulationScenarioFixfaultycompone
6、ntsFixCheckTest20狀態(tài)同步錯誤EngineTurningBackwardsMissingTransitionTurningbackwardsIsolateandFix21單元測試流程MainModelTestHarness1.Separate2.ReproduceBugandFix4.Synchronize3.Confirm2223In-model驗證IsolateComponentinTestVerificationResultstreamedtoHarnessDataInspectorIn-modelVerificationwithverifykeyword2
7、4進一步檢查設計錯誤RepeatRepeat&isolatetheIsolateproblem…SimulationFixfaultycomponentsScenario…FixCheckeverythingCheckTest25利用StaticChecking進行魯棒設計StaticAnalysisCapabilitiesSimulinkDesignVerifierPropertyDesignErrorTestProvingDetectionGenerationModelAdv
