Vi föreslår en integrerad ram för testning och övervakning av de modellbaserade inbyggda systemen. Ramverket omfattar tre komponenter: 1) modellbaserad testgenerering för hybridsystem, 2) run-time-verifiering och 3) modulär kodgenerering för hybridsystem. För att analysera beteendet hos ett modellbaserat system förstärks systemets modell med en testautomaton som representerar ett givet testfall, och med en övervakningsautomaton som fångar systemets formellt specificerade egenskaper. Den utökade modellen gör det möjligt för oss att utföra valideringen på modellnivå. I nästa steg använder vi den modulära kodgeneratorn t o omvandla test- och övervakningsautomaten till kod som kan kopplas till systemkoden för att utföra valideringsuppgifter på genomförandenivå. Tidningen illustrerar våra tekniker genom en fallstudie på Sony AIBO robot plattform.
Tan och Al. visa en integrerad ram för utveckling av självtestande modellbaserad kod REF.
Model-based testing and monitoring for hybrid embedded systems
{'venue': 'Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004. IRI 2004.', 'journal': 'Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004. IRI 2004.', 'mag_field_of_study': ['Computer Science']}