資源描述：
《基于模型設(shè)計中的驗證，確認和測試》由會員上傳分享，免費在線閱讀，更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫。
1、基于模型設(shè)計中的驗證，確認和測試WuJingApplicationEngineerMathWorksChina?2015TheMathWorks,Inc.1連續(xù)的測試&驗證生產(chǎn)率+質(zhì)量Model&CodeSystem&ComponentDynamictesting&Staticanalysis需要驗證!連續(xù)的2基于模型設(shè)計中的多模式混動車設(shè)計EVModeSerialHEVModeEngineModeHiguchi,N.,Sunaga,Y.,Tanaka,M.,Shimada,H.:DevelopmentofaN
2、ewTwo-MotorPlug-InHybridSystem,SAE2013-01-1476(2013)3多模式混動車CompleteDefineIntegration&TestRequirementsSystem-LevelSystem-LevelSpecificationIntegration&TestBatteryEngineEnergyManagementSubsystemSubsystem失效Integration&TestDesignSimulinkPlantModelProductionC-Cod
3、eSubsystemImplementation4連續(xù)的測試和驗證框架Repeat在仿真層面復(fù)現(xiàn)失效生產(chǎn)率+Slice隔離有問題的設(shè)計質(zhì)量Fix修復(fù)，執(zhí)行單元測試Check進一步檢查設(shè)計錯誤需要驗證Test系統(tǒng)化完整地測試連續(xù)的5在仿真層面復(fù)現(xiàn)失效RepeatConfirmtheproblemIntheLab/DesktopSliceSimulationFixCheckTest6失效報告Drivecycle復(fù)現(xiàn)失效7仿真環(huán)境控制器被控對象8測試建模DrivecycleControllerPlant9測試建模Sa
4、fetyPropertyEngineRPMmustremainwithinoperatingboundslimitsControllerPlant10電池的充電狀態(tài)Initialstateofcharge?Sweepfrom100%to50%ControllerPlant1112模型裁剪:隔離有問題的設(shè)計RepeatIsolatetheproblemSliceSimulationScenarioFixCheckTest13理解系統(tǒng)行為時遇到的挑戰(zhàn)?復(fù)雜的被控對象14理解系統(tǒng)行為時遇到的挑戰(zhàn)?復(fù)雜的被控對象?復(fù)雜
5、的控制器15理解系統(tǒng)行為時遇到的挑戰(zhàn)?復(fù)雜的被控對象?復(fù)雜的控制器?復(fù)雜的動態(tài)Turningbackwards16模型裁剪17通過ModelSlicer隔離有問題的設(shè)計ControllerSimulationScenarioPlantModelSlicerAreaofInterestStateflowHighlightingHighlightofIdentifyIncorporateRelevantPartsInterestOriginalChangesDesignModelHighlightedUpdated
6、SliceIterateModelModelCreateSliceSliceModelModelMBDWork?Simulate/Debug?Formalanalysis?Update19修復(fù)錯誤與單元測試RepeatIsolateRepeat&isolatetheproblem…SimulationScenarioFixfaultycomponentsFixCheckTest20狀態(tài)同步錯誤EngineTurningBackwardsMissingTransitionTurningbackwardsIsola
7、teandFix21單元測試流程MainModelTestHarness1.Separate2.ReproduceBugandFix4.Synchronize3.Confirm2223In-model驗證IsolateComponentinTestVerificationResultstreamedtoHarnessDataInspectorIn-modelVerificationwithverifykeyword24進一步檢查設(shè)計錯誤RepeatRepeat&isolatetheIsolateproblem…
8、SimulationFixfaultycomponentsScenario…FixCheckeverythingCheckTest25利用StaticChecking進行魯棒設(shè)計StaticAnalysisCapabilitiesSimulinkDesignVerifierPropertyDesignErrorTestProvingDetectionGenerationModelAdv
