Auflistung Softwaretechnik-Trends 36(3) - 2016 nach Erscheinungsdatum
1 - 10 von 28
Treffer pro Seite
Sortieroptionen
- ZeitschriftenartikelSystematic Identification of Security Goals and Threats in Risk Assessment(Softwaretechnik-Trends Band 36, Heft 3, 2016) Angermeier, Daniel; Nieding, Alexander; Eichler, JörnAssessing security-related risks in software or systems engineering is a challenging task: often, a heterogeneous set of distributed stakeholders create a complex system of (software) components which are highly connected to each other, consumer electronics, or Internet-based services. Changes are frequent and must be handled efficiently. Consequently, risk assessment itself becomes a complex task and its results must be comprehensible by all actors in the distributed environment. Especially, systematic and repeatable identification of security goals and threats based on a model of the system under development (SUD) is not well-supported in established methods. Thus, we show how the systematic identification of security goals as well as threats based on a model of the SUD in a concrete implementation of our method Modular Risk Assessment (MoRA) supports security engineers to handle this challenge.
- Zeitschriftenartikel39. Treffen der GI-Fachgruppe Test, Analyse & Verifikation von Software (TAV 39) 23. und 24. Juni 2016, ZIMT, Bremen(Softwaretechnik-Trends Band 36, Heft 3, 2016) Pietschker, Andrel
- ZeitschriftenartikelAktuelle Fragestellungen zum Zusammenspiel von BDD, MBT und KDT(Softwaretechnik-Trends Band 36, Heft 3, 2016) Eberhardinger, Benedikt; Farago, David; Friske, Mario; Sokenou, DehlaIm Folgenden werden die Ergebnisse des letzten Treffens unseres Arbeitskreises „Testen objektorientierter Programme/Modellbasiertes Testen (TOOP/MBT)“ kurz dargestellt. Das Treffen mit 21 Teilnehmern fand im Rahmen des 39. Treffens der GI-Fachgruppe „Test, Analyse und Verikation von Software (TAV)“ am 24. 06. 2016 in Bremen statt. Thema der inhaltlichen Diskussion war abermals, wie die drei Testmethoden Behavior-Driven Development (BDD), Model-Based Testing (MBT) und Keyword-Driven Testing (KDT) zusammenspielen. Anhand eines webbasierten Bankautomaten als Beispiel wurden die Vor- und Nachteile der drei Methoden betrachtet, sowie deren Zusammenspiel. Es wurden Hypothesen aufgestellt und diskutiert sowie zentrale Fragestellungen für die weitere inhaltliche Arbeit herausgearbeitet.
- ZeitschriftenartikelHow much Requirements Engineering do we need?(Softwaretechnik-Trends Band 36, Heft 3, 2016) Glinz, MartinAs unambiguous and complete requirements specifications are not feasible in most cases, we investigate the question how much Requirements Engineering (RE) we actually need for the development of successful systems and products. Based on the notion of value of requirements, we discuss risk, shared understanding and customersupplier relationship as major influencing factors.
- ZeitschriftenartikelIntegrierte Entwicklung zuverlässiger Software(Softwaretechnik-Trends Band 36, Heft 3, 2016) Schneider, Oliver; Keller, Hubert B.Modellierungstools und automatische Codegenerierung aus Modellen erlauben es Entwicklern Software top-down zu designen. Modellierung sollte jedoch nicht zur Programmierung jedes Details missbraucht werden. Der algorithmische Anteil eines Projekts kann mit händisch programmiertem Code oft verständlicher, kompakter und effizienter implementiert werden. Um dabei Fehler zu vermeiden, werden statische Analysen eingesetzt. Statische Analysetools werden jedoch vergleichsweise langsam weiterentwickelt, weshalb nur langfristig aus wiederkehrenden Fehlern gelernt wird. Moderne Compiler ermöglichen mit wenig Aufwand neue statische Analysen in den Compiliervorgang zu integrieren. Zudem entstehen Datenbanken von Analysen in der Community, die ohne Aufwand eingebunden werden können. Die existierenden Analysen aus der Community reichen von einfachen Analysen wie der Einhaltung von Namensgebungrichtlinien bis zu aufwändigen Analysen, die verlustbehaftete Gleitkommaberechnungen erkennen oder UMLModelle bei jedem Compiliervorgang gegen den Code prüfen. In diesem Paper wird ein Softwareentwicklungszyklus vorgestellt, der diese transparente und flexible Verwaltung von statischen Analysen in vollem Umfang nutzt.
- ZeitschriftenartikelReqVidA – Requirements Video Analyzer(Softwaretechnik-Trends Band 36, Heft 3, 2016) Kiesling, Stephan; Karras, Oliver; Schneider, Kurt
- ZeitschriftenartikelThoughts on the Evolution Towards Model-Integrating Software(Softwaretechnik-Trends Band 36, Heft 3, 2016) Derakhshanmanesh, Mahdi; Grieger, Marvin; Ebert, Jürgen; Engels, Gregor
- ZeitschriftenartikelModellbasierte und Modellgetriebene Softwaremodernisierung - Bericht über den Workshop im Rahmen der Konferenz „Modellierung 2016“(Softwaretechnik-Trends Band 36, Heft 3, 2016) Sauer, Stefan; Grieger, Marvin
- ZeitschriftenartikelKollaboratives, leichtgewichtiges Erzeugen von Modellskizzen und zugehörigen Notationen im Rahmen von RE Workshops(Softwaretechnik-Trends Band 36, Heft 3, 2016) Wüest, Dustin; Seyff, Norbert; Glinz, Martin
- ZeitschriftenartikelAnfänge der Testautomation(Softwaretechnik-Trends Band 36, Heft 3, 2016) Sneed, Harry M.In diesem Beitrag schildert der Autor die Entwicklung der ersten Testwerkzeuge im deutschsprachigen Raum. Es begann mit dem SoftwarePrüfstand das ab 1977 bei Siemens in München für den Test von SPL Moduln unter BS2000 konzipiert wurde. Dieses Test-Tool benutzte die Compilerlisten um die Adressen der Daten zu gewinnen und eine interaktive Dialogsprache um die Daten zur Laufzeit zu manipulieren. Das Tool wurde für den Modultest in dem integrierten Transportsteuerungssystem der Bundesbahn eingesetzt. Es folgten weitere Modultestwerkzeuge der gleichen Bauart für IBM-Assembler, IBM-8100 COBOL, PLI und Kienzle’s strukturierte Programmiersprache für Mikroprozessoren. Im Jahre 1982 wurde das erste Integrationstestsystem für die Tornado Lagerhaltungssoftware auf dem IBM-DOS-VSE entwickelt. Dieses System enthielt schon alle Komponenten eines modernen Testsystems einschließlich Testdatengenerator, Testmonitor, Testergebnisvalidator, Dateikomparator und Testskriptsprache, nur alles sehr rudimentär implementiert. Die Frühphase der Testautomation endete mit der ACM Testkonferenz im März 1982 an der Bundeswehrhochschule in Neubiberg
- «
- 1 (current)
- 2
- 3
- »