Car Multimedia Systeme Modell-basiert testen mit SysML

به منظور اطمینان از کیفیت سیستم‌های پیچیده‌تر برای اطلاعات راننده و سرگرمی مسافران در وسایل نقلیه با چرخه‌های محصول کوتاه‌تر، روش‌ها و تکنیک‌های تست جدیدی مورد نیاز است.

Oliver Alt اطلاعات جامعی در مورد موضوعات الکترونیک خودرو، آزمایش در زمینه تلماتیک و آزمایش مبتنی بر مدل و سپس روش خود را برای تولید خودکار موارد آزمایشی برای تست سیستم سیستم‌های چند رسانه‌ای خودرو از یک مدل سیستمی طراحی‌شده خاص توضیح می‌دهد. رفتار سیستم توسط نمودارهای حالت مدل سازی نمی شود، بلکه با کمک نمودارهای فعالیت مدل سازی می شود. موارد تست به روشی قابل استفاده مجدد در سطح عملکردی توصیف می شوند تا سپس به یک مورد آزمایشی خاص محصول تبدیل شوند. این سیستم‌های از نظر فنی متفاوت اما از نظر عملکردی یکسان را قادر می‌سازد تا با یک مورد آزمایشی آزمایش شوند. زبان جدید توصیف سیستم OMG SysML (Systems Modeling Language) برای اولین بار به عنوان زبان مدل سازی استفاده می شود. مراحل تبدیل لازم برای تولید مورد آزمایشی از حالت آزمایشی کاربردی به مورد اجرایی، هم به صورت غیررسمی و هم به صورت رسمی با کمک استاندارد تبدیل مدل گرافیکی جدید QVT توضیح داده شده است.

Um die Qualität immer komplexerer Systeme zur Fahrerinformation und Fahrgastunterhaltung in Fahrzeugen bei immer kürzeren Produktzyklen sicherzustellen, sind neuartige Testmethoden und Techniken erforderlich.

Oliver Alt führt umfassend in die Themen Fahrzeugelektronik, Testen im Telematikbereich und Modell-basiertes Testen ein und beschreibt anschließend sein Verfahren, Testfälle für den Systemtest von Car Multimedia Systemen automatisiert aus einem speziell konzipierten Systemmodell zu generieren. Das Systemverhalten wird nicht durch Zustandsdiagramme, sondern mit Hilfe von Aktivitätsdiagrammen modelliert. Die Testfälle werden wieder verwendbar auf einer funktionalen Ebene beschrieben, um dann in einen produktspezifischen Testfall umgewandelt zu werden. Dies ermöglicht den Test technisch verschiedener, aber funktional gleicher Systeme mit dem gleichen Testfall. Als Modellierungssprache kommt erstmals die neuartige Systembeschreibungssprache OMG SysML (Systems Modeling Language) zum Einsatz. Die notwendigen Transformationsschritte zur Testfallgenerierung vom funktionalen bis zum ausführbaren Testfall werden sowohl informell, als auch formal mit Hilfe des neuen grafischen Modelltransformationsstandards QVT beschrieben.