Auflistung nach Schlagwort "Test"
1 - 10 von 14
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragAutotesting mal anders gedacht(Softwaretechnik-Trends Band 43, Heft 3, 2023) Leßner, JanAutomatisiertes Testen wird durch Sociable Testing unterstützt. Design vor Testing!
- KonferenzbeitragBericht vom 42. Treffen der GI-Fachgruppe Test, Analyse & Verifikation von Software (TAV 42)(Softwaretechnik-Trends Band 39, Heft 3, 2019) Pietschker, AndrejDas 42. Treffen der GI-Fachgruppe TAV am Donnerstag und Freitag, den 14. und 15. Juni 2017 bei der IBM Deutschland GmbH in München stand unter dem Motto Testen von IoT. Das Treffen wurde von über 60 Teilnehmenden aus Industrie, öffentlicher Verwaltung und Hochschulen besucht.
- KonferenzbeitragBericht vom Treffen der GI-Fachgruppe Test, Analyse und Verifikation von Software (TAV 48)(Softwaretechnik-Trends Band 43, Heft 3, 2023) Sokenou, D.; Friske, M.; Güldali, B.; Faragó, D.; Moritz, B.; Winter, M.Bericht vom 48. Treffen der Fachgruppe TAV und Berichte aus den Arbeitskreisen
- KonferenzbeitragCypress überall – Ein einziges Automatisierungswerkzeug für alle Teststufen?!(Softwaretechnik-Trends Band 43, Heft 3, 2023) Sokenou, DehlaTestautomatisierung ist heutzutage der Standard in der Softwareentwicklung, besonders im agilen Umfeld. Bei sich – gewollt – ständig ändernden und neuen Anforderungen ist ein stabiles Gerüst aus Tests die Versicherung gegen ungewollte Seiteneffekte bei der Weiterentwicklung des Softwaresystems. Aktuelle Softwaresysteme bestehen heute oft aus einem Backendteil (z.B. in Java oder C# geschrieben) und einem Webfrontendteil. Letzterer wird in der Regel mit Hilfe eines modernen Single-Page-Framework entwickelt. Betrachtet man dieses System aus der Sicht eines Testers, so gibt es einige Unterschiede zwischen dem automatisierten Test des Backends und des Frontends. Erst mit Cypress und seiner relativ jungen Erweiterung Component Testing gibt es einen Vertreter, der für alle Teststufen der Testpyramide im Webfrontend eingesetzt werden kann.
- TextdokumentEntwicklungsunterstützende Analysen und Tests für AUTOSAR Systeme(INFORMATIK 2017, 2017) Englisch, Norbert; Hardt, WolframDurch die Einführung des AUTOSAR Standards in der Automobilindustrie ist es möglich funktionsorientiert und hardwareunabhängig Software zu entwickeln und wieder zu verwenden. Realisiert wird das in AUTOSAR durch ein horizontales Schichtenmodell, welches die Bereiche Basissoftware, Runtime Environment und Applikation definiert. Durch diese klare Trennung hat sich eine Vielzahl von heterogenen Werkzeugketten mit unterschiedlich spezialisierten Produkten etabliert. Das führt zu neuen Herausforderungen in der Automobilindustrie, da die Softwarequalität und die Suche nach einer optimalen Konfiguration für ein Steuergerät nun immer wichtiger werden. Unser Ansatz bietet während der Entwicklung eines AUTOSAR Steuergerätes Unterstützung zur Sicherung der Softwarequalität und der Konformität zum Standard durch statische Analysen. Des Weiteren können semi-automatisch dynamische Tests generiert und auf der Zielplattform ausgeführt werden, um die Basissoftware und die Runtime Environment auf ihre Funktionstüchtigkeit zu überprüfen. Unser Ansatz greift auf AUTOSAR konforme Mechanismen zurück und ist versions-und herstellerunabhängig.
- ZeitschriftenartikelFehlerinjektion – ein Mittel zur Bewertung der Maßnahmen gegen Fehler in komplexen Rechensystemen(Informatik-Spektrum: Vol. 21, No. 6, 1998) Echtle, Klaus; Silva, João GabrielDie Wirksamkeit von Fehlertoleranz- und Sicherheits-Verfahren kann durch künstlich erzeugte Fehler überprüft werden. Auf Hardware- und insbesondere auf Softwareebene sind zahlreiche, sehr unterschiedliche Methoden zur Fehlerinjektion bekannt. Mit ihrer Hilfe können die gegen Fehler ergriffenen Maßnahmen getestet bzw. der Anteil der erfassten Fehler quantifiziert werden.Summary The effectiveness of fault tolerance and safety techniques can be assessed by artificially generated faults. On the hardware and particularly the software level various fault injection methods are known. They can be used to test the implemented countermeasures against faults, and, moreover, to quantify the portion of the covered faults.
- TextdokumentIdentifikation von Fahrszenarien während einer virtuellen Testfahrt(INFORMATIK 2017, 2017) King, Christian; Bach, Johannes; Otten, Stefan; Sax, EricIn den vergangenen Jahren adressierten zahlreiche Innovationen im Automobil den Bereich Fahrerassistenzsysteme. Die Technologien entwickeln sich zunehmend in Richtung automatisiertes Fahren und bringen eine Zunahme an intelligenten, verknüpften und komplexen Funktionen mit sich. Durch die direkte Interaktion des Ego-Fahrzeuges mit anderen Verkehrsteilnehmern entsteht eine Vielzahl neuartiger Fahrsituationen und Szenarien. Daraus resultiert ein konstant wachsender Raum an Systemzuständen und Variationen, der validiert und verifiziert werden muss. Um diesen Herausforderungen zu begegnen, wird zunehmend auf Virtualisierung und Simulation von gesetzt. In dieser Veröffentlichung stellen wir einen Ansatz vor, Szenarien innerhalb einer virtuellen Testfahrt zu identifizieren. Der Fokus liegt hierbei auf der Abstraktion und Ableitung spezifischer Manöver der einzelnen Fahrzeuge bzw. deren logischen Zusammenhänge in einem komplexen Szenario. Der Ansatz ermöglicht eine Analyse und die Bewertung vollständiger virtueller Testfahrten anhand der erlebten Szenarien. Zusätzlich können Aussagen in Bezug auf die Abdeckung des Systemraumes innerhalb einer virtuellen Testfahrt getroffen werden.
- KonferenzbeitragModellbasierte Testdatenspezikation und -generierung mittels Äquivalenzklassen und SQL(Softwaretechnik-Trends Band 40, Heft 3, 2020) Friske, Mario; Ehmke, DierkFür automatisierte Softwaretests werden komplexe Testdaten benötigt. Deren Erstellung ist aufwendig, deshalb werden Verfahren zur e ffizienten Testdatenspezi kation und -generierung benötigt. In diesem Beitrag stellen wir zwei entsprechende Ansätze vor und diskutieren, wie diese gewinnbringend kombiniert werden können. Zunächst stellen wir ein modellbasiertes Vorgehen vor, welches auf interaktiver Zuordnung von Äquivalenzklassen und typischen Repräsentanten basiert. Anschließend präsentieren wir einen zweiten Ansatz, der auf Modellen in SQL-Notation aufsetzt. Aus diesen Modellen werden mit Angaben aus abstrakten Testfällen konkrete automatisierte Testfälle inklusive Testdaten und -orakel erzeugt. Anhand eines Praxisbeispiels werden Vor- und Nachteile der beiden Vorgehensweisen sowie Kombinationsmöglichkeiten erläutert.
- ZeitschriftenartikelQualität in der Softwareentwicklung(HMD Praxis der Wirtschaftsinformatik: Vol. 53, No. 2, 2016) Osterhage, WolfgangFür Entwicklung und Einsatz von Quality Management in der Softwareentwicklung stehen bekanntlich sich wandelnde Methodologien unterschiedlicher Ausprägung aus unterschiedlichen Beratungs- oder Lehrstuhlkulturen zur Verfügung, um solche Aufgaben zu unterstützen. Es ist ebenso offensichtlich, dass auf Grund unterschiedlicher Organisationsstände in den Unternehmen die Stringenz zu Gunsten pragmatischer Ansätze leiden muss.
- ZeitschriftenartikelQualitätssicherung Software-basierter technischer Systeme – Problembereiche und Lösungsansätze(Informatik-Spektrum: Vol. 21, No. 5, 1998) Liggesmeyer, Peter; Rothfelder, Martin; Rettelbach, Michael; Ackermann, ThomasDie Qualitätssicherung Software-basierter technischer Systeme erfordert ganzheitliche Betrachtungsweisen und Techniken, die auf unterschiedlich realisierte Systemkomponenten - z.B. Software, elektronische Komponenten, technische Prozesse - gleichermaßen anzuwenden sind. Eine ökonomisch und technisch sinnvolle Qualitätssicherung fordert die Verwendung angepaßter Lösungen. Im folgenden werden Problembereiche umrissen und exemplarische Lösungsansätze diskutiert. Es werden Techniken vorgestellt, die von formal vollständigen Sicherheitsnachweisen über statistisch abgesicherte Analysen von Maßen (z.B. Zuverlässigkeitsmaßen) bis zu informalen, aber systematischen Prüftechniken reichen.Summary Quality assurance of software-based systems requires a comprehensive approach and techniques that can be applied to different components, e.g., software, electronic components, technical processes. To satisfy economical and technical requirements demands adequate solutions. In the following several problem areas and approaches are discussed. The techniques include formally complete safety proofs, statistical analysis of measures, e.g., reliability measures, and informal, but systematic test techniques.