Transcription
Workshop"Continua Health Alliance"Konzepte, Aktivitäten, PraxisJoachim Hänsel,Michael JohnFraunhofer FIRST Fraunhofer FIRSTwww.istock.com/beerkoffAufbau einer Vitaldatentestumgebung fürCEN/ISO/IEEE 11073 konforme Dienste imProjekt SmartSenior
Gliederung Das Projekt SmartSenior 11073 in SmartSenior TestumgebungSeite 2 Fraunhofer FIRST
CEN/ISO/IEEE 11073 INSMARTSENIORSeite 3 Fraunhofer FIRST
SmartSenior und 11073 Vielzahl von unterschiedlichen Sensorenerheben medizinische und nichtmedizinischeVitaldaten Jeder Sensor hat eigenen, proprietärenÜbertragungs-"standard" Einigung auf 11073-20601 alsprojektübergreifenden VitaldatenstandardSeite 4 Fraunhofer FIRST
11073 als Teil der SmartSenior Architektur Sensoren als 11073-20601 Agents Sensorknoten (Smartphone, Medi-Box) mitmehreren Managern gegenüber denSensoren Sensorknoten als Agent(s) gegenüberTelemedizinischer Zentrale Telemedizinische Zentrale mit Managernzwecks Integration der Vitaldaten in dietelemedizinische VersorgungSeite 5 Fraunhofer FIRST
Fraunhofer FIRST in SmartSeniorTechnologien und Aktivitäten Interaktiver TrainerSelbstorganisation als Ansatz für Plug'n Play von11073 basierten DienstenTV-PortalAuthorisierungplattform YagsiTestumgebung TelemedizinSeite 6 Fraunhofer FIRST
TESTUMGEBUNGSeite 7 Fraunhofer FIRST
SmartSenior Testbed Telemedizin11073CEN/ISO/IEEE technologienTestbedSeite 8 Fraunhofer FIRST
CEN/ISO/IEEE 11073 Qualitätssicherung Vitaldaten11073CEN/ISO/IEEE technologienTestbedSeite 9 Fraunhofer FIRST
Testbed Telemedizin: 11073 SUT-PrototypWanted:Testobjekt zum Testen: SUT (Subject under Test)11073 Agent Thermometersimulation aufAndroidBasiert auf Morfeo Opensourceimplentierung11073 Manager auf PC ebenfalls MorfeoInkrementeller Ausbau des SUT, Anteil Morfeo zunehmend kleinerBrustgurt liefert echte Vitaldaten an SmartphoneSeite 10 Fraunhofer FIRST
CEN/ISO/IEEE 11073 Qualitätssicherung Vitaldaten11073CEN/ISO/IEEE hrichtenabgleichNIST/ rmiq DesignerVergleich mitReferenzContinua HealthReferenzImplementierungTestbedSeite 11 Fraunhofer FIRST
Test auf Korrektheit der NachrichtenstrukturNIST – National Institute of Standards and TechnologySoftware Diagnostics & Conformance Testing DivisionWerkzeug von NIST ICSGenerator Generator für konforme Nachrichten ValidatePDU ValidatorEvaluation Gut integrierbar durch XML Schema Bibliothek Leider nicht für 20601 Entwicklungen sind im Moment eingestelltErgebnis: Parsen der Nachrichten basierend auf MorfeoSeite 12 Fraunhofer FIRST
Test auf Korrektheit des VerhaltensModellbasiertes Testen (MBT) prädestiniert fürVerhaltenstests des CEN/ISO/IEEE 11073 - 20601Vorteile MBT Standard enthält bereits Spezifikation desVerhaltens als Zustandsautomat Spezifiziertes Verhalten hinreichend komplex Manuelles Abtesten aller möglichenTransitionsfolgen unter allen möglichenBedingungen sehr zeitaufwändigSeite 13 Fraunhofer FIRST
Prozessübersicht modellbasierter TestSystemunder stausführungTestskripte?Seite 14 Fraunhofer FIRST
Modellbasierter Test bei FhG FIRSTFIRST nutzt sowohl bewährte Methoden als auchneueste Ergebnisse aus der Forschung: Modellbasierte Testfallgenerierung mitindustriellen Werkzeugen (z.B. Conformiq) Modellbasierte Testfallgenerierung miteigenen Werkzeug-Prototypen aus derForschung (ParTeG) Einbringung von Forschungsergebnissen, wieder evolutionären Testsuiteoptimierung undTestfallgenerierung (EvoTest)Seite 15 Fraunhofer FIRST
Modellbasierter Test für CEN/ISO/IEEE 11073-20601 Entscheidung für kommerzielles Werkzeug ConformiqDesigner für reibungsarme Einführung MBTRealisieren von Komponenten für das modellbasierte Testenbasierend auf Conformiq Designer Einarbeitung der CEN/ISO/IEEE Zustandsautomaten in UMLWerkzeug Ausführungsumgebung für SUT (Testharness) TCP/IP basiert Skriptgenerator: Transformiert abstrakte Tests nachkonkreten Junit basierten TestsSeite 16 Fraunhofer FIRST
Prozessübersicht modellbasierter TestSystemunder stausführungTestskripte?Seite 17 Fraunhofer FIRST
Modellbasierter Test für CEN/ISO/IEEE gHarness AnsteuerungEreignisse orfeo uerungsebeneTestharnessVerbindungsebeneSeite 18 Fraunhofer FIRST
Smoketests: Zusammenspiel mit ContinuareferenzImpressionen Testtreffen bei Fraunhofer FIRSTSeite 19 Fraunhofer FIRST
Erfahrungen Tests der Nachrichtenstruktur sind insbesondere amAnfang der Entwicklung notwendig und hilfreichBereits einfache Smoke Tests zeigen Fehler aufModellbasierte Verhaltenstests decken tiefer versteckteFehler in der Implementierung aufEinführung modellbasierter Testverfahren immedizinischen Bereich erfordert immer nochÜberzeugungsarbeitEinstieg in modellbasiertes Testen stellt höhere Hürde darKombination der verschiedenen Testansätze erleichtertdas Aufdecken von Fehlern und ermöglicht eine guteDokumentation der QualitätssicherungsmaßnahmenSeite 20 Fraunhofer FIRST
Unser AngebotFraunhofer FIRST berät Kunden inallen Fragen der Zuverlässigkeit voneingebetteten Systemen.Im Einzelnen:– Beratung beim Einsatz vonspezifikationsbasierten Verfahren undanderen Qualitätssicherungsmaßnahmen– Machbarkeits-/Anforderungsanalyse– Spezifikations-, Code- und Testgenerierung– Vorbereitung von ZertifizierungenSeite 21 Fraunhofer FIRST
industriellen Werkzeugen (z.B. Conformiq) Modellbasierte Testfallgenerierung mit eigenen Werkzeug-Prototypen aus der Forschung (ParTeG) Einbringung von Forschungsergebnissen, wie der evolutionären Testsuiteoptimierung und Testfallgenerierung (EvoTest)
