Auflistung nach Autor:in "Saglietti, Francesca"
1 - 10 von 15
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragAutomatic generation of optimized integration test data by genetic algorithms(Software Engineering 2008, 2008) Pinte, Florin; Saglietti, Francesca; Oster, Norbert
- KonferenzbeitragAutomatische Testdatengenerierung mittels multi-objektiver Optimierung(Software Engineering 2007 – Beiträge zu den Workshops – Fachtagung des GI-Fachbereichs Softwaretechnik, 2007) Oster, Norbert; Saglietti, Francesca
- KonferenzbeitragBeherrschung von Schnittstelleninkonsistenzen in komponentenbasierten Softwaresystemen(Sicherheit 2005, Sicherheit – Schutz und Zuverlässigkeit, 2005) Jung, Martin; Saglietti, Francesca; Sauerborn, VerenaDie Integration vorgefertigter Softwarekomponenten zu neuen Systemen unterstützt durch das Bausteinprinzip die Übersichtlichkeit der sich ergebenden Architekturen, durch den Einsatz betriebsbewährter Teile die Zuverlässigkeit des Gesamtsystems und durch die Wiederverwendung von Komponenten die Einsparung von Neuentwicklungskosten. Allerdings birgt der Integrationsprozess einige kritische Fehlerquellen an den Schnittstellen der Komponenten, die zu lokalen bzw. globalen Inkonsistenzen mit schwerwiegenden Konsequenzen führen können. Dieser Beitrag schildert einen Ansatz zu einer erweiterten Schnittstellenbeschreibung, die sowohl die automatische Erkennung einer Reihe von Inkonsistenzarten als auch ihre Behebung im Betrieb unterstützt.
- KonferenzbeitragEvaluierung des Fehlererkennungspotentials modellbasierter Komponenten- und Integrationstestfälle(INFORMATIK 2010. Service Science – Neue Perspektiven für die Informatik. Band 2, 2010) Pinte, Florian; Saglietti, FrancescaDer vorliegende Beitrag präsentiert neueste Ergebnisse einer Evaluierungsstudie über die Effizienz modellbasierter Verifikationsansätze im Hinblick auf Anzahl und Art erkennbarer Fehler. Ein seit kurzem einsatzbereites Werkzeug zur vollautomatischen modellbasierten Testfallerzeugung lieferte hierfür ein wertvolles Forschungsinstrument, das in Bezug auf die Aufdeckung von Modellierungsfehlern und Implementierungsfehlern zur Erlangung weiterer Einsichten auf diesem Gebiet verhelfen konnte.
- KonferenzbeitragInteraktion zwischen funktionaler Sicherheit und Datensicherheit(Sicherheit 2006, Sicherheit – Schutz und Zuverlässigkeit, 2006) Saglietti, Francesca
- KonferenzbeitragModel-based testing of autonomous systems based on coloured Petri nets(ARCS 2012 Workshops, 2012) Lill, Raimar; Saglietti, FrancescaThe use of autonomous systems, including cooperating agents, is indispensable in certain fields of application. Nevertheless, the verification of autonomous systems still represents a challenge due to lack of suitable modelling languages and verification techniques. To address these difficulties, different modelling languages allowing concurrency are compared. Coloured Petri Nets (CPNs) are further analysed and illustrated by means of an example modelling autonomous systems. Finally, some existing structural coverage concepts for Petri Nets are presented and extended by further criteria tailored to the characteristics of CPNs.
- KonferenzbeitragModellbasiertes Testen(Informatik 2009 – Im Focus das Leben, 2009) Belli, Fevzi; Budnik, Christof J.; Hollmann, Axel; Saglietti, Francesca; Winter, Mario
- KonferenzbeitragMOTES09 - Modellbasiertes Testen – 4. Workshop im Rahmen der Jahrestagung der Gesellschaft für Informatik am 29. September 2009 in Lübeck – Einführung und Übersicht über die angenommenen Beiträge(Informatik 2009 – Im Focus das Leben, 2009) Belli, Fevzi; Budnik, Christof J.; Hollmann, Axel; Saglietti, Francesca; Winter, Mario
- KonferenzbeitragMOTES2010 - Modellbasiertes Testen(INFORMATIK 2010. Service Science – Neue Perspektiven für die Informatik. Band 2, 2010) Belli, Fevzi; Budnik, Christof J.; Hollmann, Axel; Saglietti, Francesca; Winter, Mario
- KonferenzbeitragNachweis hoher Softwarezuverlässigkeit auf der Basis von Test- und Betriebserfahrung mit wiederverwendbaren Komponenten(SICHERHEIT 2008 – Sicherheit, Schutz und Zuverlässigkeit. Beiträge der 4. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e.V. (GI), 2008) Söhnlein, Sven; Saglietti, FrancescaDieser Artikel schildert einen neuen Ansatz zur Bewertung komponentenbasierter Softwaresysteme mit hohen Zuverlässigkeitsanforderungen, wie sie typischerweise zur Steuerung sicherheitskritischer Prozesse eingesetzt werden. Basierend auf der Test- bzw. der Betriebserfahrung, die mit wiederverwendbaren Komponenten gewonnen wurde, wird eine genaue Aussage über die Zuverlässigkeit des aus diesen Komponenten bestehenden Gesamtsystems mit entsprechender Aussagesicherheit hergeleitet. Die Vorteile, die sich gegenüber bereits bekannten Verfahren ergeben, betreffen die Nachweisbarkeit höherer Zuverlässigkeitskenngrößen bei vergleichbarem Aufwand bzw. die Reduktion der zum Nachweis erforderlichen Kosten. Dies wird anhand von Beispielen demonstriert.