Statische Analyse und Dynamischer Test: Wo liegen die Stärken und Schwächen?

Veröffentlicht Veröffentlicht in Deutsche Blogs, Validation und Verifikation

Statische Analyse und Dynamischer Test: Von garantiert fehlerfreier Software sind wir auch nach mehreren Jahrzehnten an Software Engineering gefühlt immer noch unendlich weit entfernt. Auch für die nach den höchsten Sicherheitsstandards entwickelte Software kann niemand absolute Fehlerfreiheit garantieren. Alle Funktionalen Sicherheitsstandards erkennen an, dass eine garantiert fehlerfreie Software (mit dem heutigen Stand der Technik) nicht […]

Risikobasiertes Testen: Methode für die Identifikation der richtigen Testfälle

Veröffentlicht Veröffentlicht in Deutsche Blogs, Validation und Verifikation

Eine fehlerfreie Software gibt es nicht! Trotzdem wird Software erfolgreich auch in sehr kritischen Systemen eingesetzt. Die Software Entwicklungsprozesse sind aber inzwischen so ausgereift, daß es möglich ist die Fehleranzahl in der Software verlässlich so weit zu reduzieren, dass die Anzahl von Systemfehlern welche Ihre Ursache in der Software haben, so selten geworden sind, dass […]

Gegenüberstellung und Bewertung verschiedener Testentwurfsverfahren

Veröffentlicht Veröffentlicht in Deutsche Blogs, Validation und Verifikation

Testentwurfsverfahren: Die Komplexität von technischen Systemen steigt seit Jahren und ein Ende ist nicht absehbar. Der entscheidende Innovationstreiber ist dabei die Software. Sehr leistungsfähige Hardware in Kombination mit komplexer Software sind die Grundlage für Trends wie Industrie 4.0, autonomes Fahren, Smart Home und MKS Mensch-Roboter Kollaboration, um nur einige zu nennen. Software ermöglicht heute die […]

Implizites Testen – Eine gute Idee (Teil 1)?

Veröffentlicht 1 KommentarVeröffentlicht in Deutsche Blogs, Validation und Verifikation

In größeren sicherheitskritischen Projekten begegnet mir immer wieder mal der Ausspruch: „Naja, das Requirement A wird mit dem Test XY indirekt oder implizit nachgewiesen!“. Ist Ihnen das auch schon mal passiert? Haben Sie auch schon mal erlebt, was in späten Projektphasen passieren kann, wenn man viele Requirements indirekt getestet hat? Der Blog definiert im Teil […]

Strukturelle Source Code Coverage und Requirements – Gibt’s da einen Zusammenhang?

Veröffentlicht Schreibe einen KommentarVeröffentlicht in Deutsche Blogs, Validation und Verifikation

Strukturelle Source Code Coverage: Wenn Sie neu in dem Bereich der Funktionalen Sicherheit tätig sind, dann werden Ihnen die Begriffe strukturelle Source Code Coverage und Requirements ziemlich schnell begegnen. Die Spezifikation von technischen Systemen mittels Requirements ist natürlich auch im nicht sicherheitskritischen Bereich sehr verbreitet. Dagegen spielt das Thema strukturelle Source Code Coverage außerhalb der […]

Psychologie des Testers

Veröffentlicht Schreibe einen KommentarVeröffentlicht in Deutsche Blogs, Validation und Verifikation

Die Psychologie des Testers ist ein oft stark unterschätzter Aspekt. Welche Eigenschaften kennzeichnen gute Leute die im Testbereich arbeiten? Naja, man kann da einige Kriterien definieren: Fachliche Kompetenz und Methoden Know-How sind sicher unabdingbare Eigenschaften. Darüber hinaus müssen sie Managementfähigkeiten besitzen und Sozialkompetenz mitbringen. Das alles sind sicher notwendige Fähigkeiten. Es fehlt aber ein wichtiger […]

Testing of platforms

Testen von Plattformen: Eine spannende Herausforderung!

Veröffentlicht Schreibe einen KommentarVeröffentlicht in Deutsche Blogs, Validation und Verifikation

Entwickeln Sie auch Plattformen in Embedded Systemen, um mehreren Kunden Lösungen anbieten zu können ohne für jedes Kundenprojekt eine komplette Neuentwicklung machen zu müssen? Oder haben Sie vielleicht schon mal ein Embedded Betriebssystem eingesetzt, um möglichst unabhängig von der Hardware Ihre Applikation entwickeln zu können? Für die Entwicklung der Systeme haben Sie vermutlich durch dieses […]

Managementaspekte des Testens

Veröffentlicht Schreibe einen KommentarVeröffentlicht in Deutsche Blogs, Validation und Verifikation

Managementaspekte des Testens : Validation und Verifikation von Embedded Systemen begleitet mich bereits mein ganzes Berufsleben lang. Oft ist das ja eher ein lästiges Thema – die Zeit ist knapp, die Anzahl der zu bewältigenden Tests, Review und Analysen ist hoch. Die Mitarbeiter sind für das Thema nicht wirklich zu motivieren. Die technischen Ressourcen sind […]