Angebote zu "Modellbasierte" (8 Treffer)

Kategorien

Shops

Basiswissen modellbasierter Test
44,90 € *
ggf. zzgl. Versand

Modellbasiertes Testen (MBT) hat zum Ziel, Prinzipien der modellbasierten Softwareentwicklung auf den Test zu übertragen. Es umfasst die Nutzung von Modellen für die Automatisierung von Testaktivitäten sowie die Modellierung von Artefakten im Testprozess. Während MBT in den letzten Jahren eher als viel diskutiertes Schlagwort wahrgenommen wurde, findet es sich heute mit guten Resultaten in der praktischen industriellen Anwendung wieder. Dieses Buch vermittelt die Grundlagen modellbasierten Testens und gibt einen fundierten Überblick über den modellbasierten Testprozess. Es zeigt darüber hinaus auf, - welche Voraussetzungen für den Einsatz modellbasierten Testens in einer Organisation zu schaffen sind, - welche möglichen Fallstricke eine erfolgreiche Einführung verhindern können und - wie Sie diese Fallstricke vermeiden können. Zahlreiche Beispiele auf Basis zweier durchgängiger Anwendungen erläutern die methodischen Grundlagen. Im Rahmen einer Fallstudie wird insbesondereauf die Qualitätsgewinne und Einsparpotenziale eingegangen, die MBT realisieren kann. Die 2. Auflage wurde vollständig überarbeitet und ist konform zum ISTQB®-Lehrplan Foundation Level Extension ´´Model-Based Tester´´. ´´Das Buch überzeugt in seinem stilistisch wohlausgewogenen Herangehen an die Materie, die aus verschiedenen Perspektiven betrachtet und analysiert wird.´´ Aus dem Geleitwort zur 1. Auflage von Prof. Dr. Ina Schieferdecker

Anbieter: buecher.de
Stand: 16.07.2019
Zum Angebot
Modellbasierte Softwareentwicklung für eingebet...
39,90 € *
ggf. zzgl. Versand

Die Beherrschung von Komplexität ist eine der größten Engineering-Herausforderungen des 21. Jahrhunderts. Themen wie das ´´Internet der Dinge´´ (IoT) und ´´Industrie 4.0´´ beschleunigen diesen Trend. Die modellgetriebene Entwicklung leistet einen entscheidenden Beitrag, um diesen Herausforderungen erfolgreich begegnen zu können. Die Autoren geben einen fundierten Einstieg und praxisorientierten Überblick über die Modellierung von Software für eingebettete Systeme von den Anforderungen über die Architektur bis zum Design, der Codegenerierung und dem Testen. Für jede Phase werden Paradigmen, Methoden, Techniken und Werkzeuge beschrieben und ihre praktische Anwendung in den Vordergrund gestellt. Darüber hinaus wird auf die Integration von Werkzeugen, funktionale Sicherheit und Metamodellierung eingegangen sowie die Einführung eines modellbasierten Ansatzes in einer Organisation und die Notwendigkeit zum lebenslangen Lernen erläutert. Der Leser erfährt in diesem Buch, wie ein modellbasiertes Vorgehen nutzbringend in der Praxis für die Softwareentwicklung eingesetzt wird. Das Vorgehen wird unabhängig von Modellierungswerkzeugen vorgestellt. Zahlreiche Beispiele - exemplarisch auch auf Basis konkreter Werkzeuge - helfen bei der praktischen Umsetzung. Auf der Buch-Website finden sich Werkzeuge, Beispiele, Tutorials sowie weitere vertiefende Informationen zum Thema.

Anbieter: buecher.de
Stand: 16.07.2019
Zum Angebot
Software-Qualität
69,99 € *
ggf. zzgl. Versand

Dieses Buch stellt den aktuellen Wissensstand über die Techniken, Methoden, Prinzipien und organisatorischen Aspekte der Software-Qualitätssicherung nahezu lückenlos dar. Beschrieben werden Testtechniken, automatische statische Analysen, die Software-Messung, Review- und Inspektionstechniken, formale Ansätze, Techniken zur Überprüfung objektorientierter und eingebetteter Software sowie Prüfstrategien, Prüfprozesse und Werkzeuge. Das Buch richtet sich gleichermaßen an Praktiker sowie an Informatik-Dozenten und -Studierende. Es kann ´´von vorn nach hinten´´ gelesen werden oder als Nachschlagewerk dienen. Jedes Kapitel ist ein allein verständliches ´´kleines Buch für sich´´. Es beginnt jeweils mit einer kurzen Inhaltsangabe zur Orientierung und schließt mit einer Bewertung und einer Checkliste, die insbesondere dem Praktiker Umsetzungshinweise gibt. Die 2. Auflage ist vollständig durchgesehen und aktualisiert. Neu aufgenommen wurde ein Kapitel zu modellbasierten Tests.

Anbieter: buecher.de
Stand: 18.07.2019
Zum Angebot
Modellqualität als Indikator für Softwarequalität
12,99 € *
ggf. zzgl. Versand

Studienarbeit aus dem Jahr 2010 im Fachbereich Informatik - Technische Informatik, Note: 1,3, Eberhard-Karls-Universität Tübingen (Wilhelm-Schickard-Institut), Veranstaltung: Eingebettete Systeme, Sprache: Deutsch, Abstract: Projekte zur Entwicklung komplexer softwarebasierter Systeme sind mit erheblichen finanziellen und zeitlichen Risiken sowie mit dem Risiko des kompletten Scheiterns verbunden.1 Um diesen Risiken entgegenzuwirken ist es zwingend notwendig, eine gut strukturierte Qualitätssicherung in Kombination mit adäquater Meilensteinplanung in Softwareprojekten bereits frühzeitig einzusetzen. Entwicklungsbegleitende Qualitätssicherungsmaßnahmen, wie z.B. Normen, Richtlinien, standardisierte Prozesse, statische und dynamische Analysen, Reviews, nehmen deshalb bei den Projektverantwortlichen einen immer höher werdenden Stellenwert ein, wobei diesen entsprechend mehr Ressourcen zur Verfügung gestellt werden. Eine erhöhte Komplexität, eine gesteigerte Variantenvielfalt und ein immer komplexer werdendes Anforderungsmanagement stellen mit den o.g. Risiken zentrale Herausforderungen bei der Entwicklung und Evolution heutiger softwaregesteuerter Systeme dar. Durch den zunehmenden Einsatz modellbasierter Entwicklungsmethoden wird deshalb auf möglichst effiziente Weise versucht, diesen Herausforderungen zu begegnen. Die Wichtigkeit von modellbasierten Entwicklungsmethoden zur Unterstützung und Verbesserung der Qualität von Softwareprodukten wird im Rahmen dieses Dokumentes untersucht. Dabei werden verschiedene Qualitätsmodelle präsentiert, die zur Verbesserung der Qualität von Endprodukten bei der Entwicklung softwarebasierter Systeme eingesetzt werden können.

Anbieter: buecher.de
Stand: 16.07.2019
Zum Angebot
Test, Analyse und Verifikation von Software - g...
29,90 € *
ggf. zzgl. Versand

Das Testen, Analysieren und Verifizieren von Software hat in den letzten Jahren erheblich an Bedeutung gewonnen, da die Qualität eine immer größere Rolle beim Einsatz von Software spielt. Auch durch die Anwendung von agilen Vorgehensweisen bei der Erstellung von Software ist das Testen zunehmend relevanter geworden. Seit über 25 Jahren gibt es in der ´´Gesellschaft für Informatik e.V.´´ (GI) eine Fachgruppe, die sich mit diesem Thema auseinandersetzt: TAV - Test, Analyse und Verifikation von Software. Das 25-jährige Bestehen dieser Fachgruppe wurde im Juni 2016 auf dem 39. Treffen in Bremen gefeiert. Dieses Buch umfasst einige der Vorträge, die auf dem Treffen gehalten wurden. Es wirft nicht nur einen Blick zurück in die Vergangenheit, sondern schaut auch nach vorne. Dabei beleuchtet es in weiteren Beiträgen aktuelle und zukünftige Ausrichtungen des Testens in Theorie und Praxis. Eine Auswahl der Themen: Softwarequalität zwischen hohem Ziel und hohler Floskel Leistungsfähige neue Testverfahren Quality Engineering für das Internet der Dinge Complete Model-based Testing Modellbasiertes Security-Testen Test- und Qualitätsmanagement in agilen Projekten Testen mit automatisch bestimmten Eingabegrammatiken The Future of Software Testing

Anbieter: buecher.de
Stand: 16.07.2019
Zum Angebot
Der Systemtest
39,90 € *
ggf. zzgl. Versand

IHR WEG ZUM QUALITÄTSVORSPRUNG - Dieses Buch hilft Ihnen, besser, schneller und systematischer zu testen und - vor allem - mehr Fehler in kürzerer Zeit zu finden. - Erfahren Sie, wie Sie den Weg von den Anforderungen zum Qualitätsnachweis erfolgreich beschreiten, unterstützt durch Vorgehen und Verfahren der IEEE-Normen und des V-Modell XT. - Lernen Sie die Möglichkeiten der Testautomatisierung mit marktgängigen Produkten kennen. - Neu in der 3.A.: Modellbasierter Test von Geschäftsprozessen und Test Service-orientierter Architekturen - Im Internet: Eine Reihe von nützlichen Test-Werkzeugen. Im Rahmen des Systemtests haben Tester dafür zu sorgen, dass Fehler in einer Software gefunden werden, ehe diese an die Anwender oder Kunden ausgeliefert wird. Sie testen dabei nicht nur die Software, sondern auch die implementierten Geschäftsprozesse und das System als Ganzes. Der Systemtest ist ein sehr komplexes Vorhaben, das eigene Methoden und Werkzeuge voraussetzt. Mit diesem Buch erhalten Sie eine praktische Anleitung zur Planung, Organisation und Durchführung des Systemtests, egal ob Sie die Systeme gekauft, von Open-Source-Bibliotheken übernommen, aus Legacy Systemen migriert oder neu entwickelt haben. Die Autoren zeigen, wie man ein Testprojekt effizient aufsetzt, welche Methoden und Ansätze praktikabel sind und wie sich der Testablauf integrieren und automatisieren lässt. Außerdem lernen Sie Werkzeuge für den Systemtest, wie Datengeneratoren, Datenvalidatoren und Testmonitore sowie Werkzeuge für die automatische Ableitung von Testfällen aus den Anforderungen kennen.

Anbieter: buecher.de
Stand: 16.07.2019
Zum Angebot
Testen von Software und Embedded Systems
39,90 € *
ggf. zzgl. Versand

Das Buch stellt auf pragmatische Weise klassische und moderne Testtheorien und -verfahren vor. Dabei werden Lösungen für technische, analytische und methodische Probleme aufgezeigt, die sich sofort in der täglichen Arbeit umsetzen lassen. Ein Schwerpunkt liegt auf Realtime und Embedded Systems mit ihren besonderen Anforderungen, u.a. in Bezug auf Robustheit. Behandelt werden Themen wie: - Testmuster für den Test objektorientierter Software - UML-Diagramme für die Testfallfindung - Teststrategien - Testgetriebenes Entwickeln - Testautomatisierung - Organisatorische Faktoren für verschiedene Entwicklungsprozesse In der 2. Auflage wurden zahlreiche Inhalte aktualisiert, u.a.: - Äquivalenzklassen - Test von zustandsbehafteten Systemen - Risiken bei der objektorientierten Vererbung - Modellbasiertes Testen Beispiele für JUnit 3 und 4 sowie CppUnit und die C++-Boost-Test-Library zeigen, wie die vorgestellten Inhalte in der Praxis umgesetzt werden können. Neu hinzugekommen in der 2.Auflage sind u.a. die folgende Themen: risikoorientiertes Testen, Regressionstests sowie Reviews und Retrospektiven. Auf der Buch-Website file://www.oo-testen.de www.oo-testen.de finden sich der Quellcode der Beispiele und weitere hilfreiche Informationen zum Thema.

Anbieter: buecher.de
Stand: 16.07.2019
Zum Angebot
SPS - Modellbasierter Steuerungsentwurf für die...
28,00 € *
ggf. zzgl. Versand

SPS - Modellbasierter Steuerungsentwurf für die Praxis:Modellierungsmethoden aus der Informatik in der Automatisierungstechnik Reiner Uhlig

Anbieter: Hugendubel.de
Stand: 27.06.2019
Zum Angebot