08.07.2025
938
1
0Softwareverifikation in der Industrie I Hat jemand irgendwelche Erfahrungen?
Hallo zusammen,
Ich arbeite derzeit mit einer universitären Forschungsgruppe zusammen. Wir untersuchen den praktischen Einsatz von Software-Verifikationswerkzeugen in der Industrie.
Uns interessiert insbesondere, ob es einen Markt für mathematische Werkzeuge (z. B. formal verification, model checking, static analysis) gibt und wie diese in der Praxis eingesetzt werden – beispielsweise in der Qualitätssicherung, der Softwareentwicklung oder in Compliance-intensiven Branchen wie der Automobil- oder Luft- und Raumfahrt.
Daher wollte ich fragen:
– Wie stellen Unternehmen derzeit sicher, dass Sicherheits- und Qualitätsstandards für Software eingehalten werden?
– Was sind die Beweggründe für ihren Einsatz (Sicherheit, Zertifizierungen, Kostensenkung usw.)?
Auch kurze Antworten oder anekdotische Einblicke sind sehr hilfreich. Für Referenzen oder Fallbeispiele wären wir dankbar!
Vielen Dank im Voraus,
Simon
Ich arbeite derzeit mit einer universitären Forschungsgruppe zusammen. Wir untersuchen den praktischen Einsatz von Software-Verifikationswerkzeugen in der Industrie.
Uns interessiert insbesondere, ob es einen Markt für mathematische Werkzeuge (z. B. formal verification, model checking, static analysis) gibt und wie diese in der Praxis eingesetzt werden – beispielsweise in der Qualitätssicherung, der Softwareentwicklung oder in Compliance-intensiven Branchen wie der Automobil- oder Luft- und Raumfahrt.
Daher wollte ich fragen:
– Wie stellen Unternehmen derzeit sicher, dass Sicherheits- und Qualitätsstandards für Software eingehalten werden?
– Was sind die Beweggründe für ihren Einsatz (Sicherheit, Zertifizierungen, Kostensenkung usw.)?
Auch kurze Antworten oder anekdotische Einblicke sind sehr hilfreich. Für Referenzen oder Fallbeispiele wären wir dankbar!
Vielen Dank im Voraus,
Simon
Kommentieren
Teilen
Auf Facebook teilen
Auf X (Twitter) teilen
Auf Reddit teilen
Auf Linkedin teilenBitte markiere auch die Kommentare, die zur Lösung des Beitrags beigetragen haben
Content-ID: 673741
Url: https://administrator.de/forum/software-verifikation-qualitaetssicherung-industrie-673741.html
Ausgedruckt am: 18.07.2025 um 00:07 Uhr
1 Kommentar
– Wie stellen Unternehmen derzeit sicher, dass Sicherheits- und Qualitätsstandards für Software eingehalten werden?
meinst du in der Entwicklung oder im Einkauf/Einsatz?Wir hatten diverse Tools in der CI/CD Pipeline um die Code-Qualität sicher zu stellen. Und ein Testteam das Testfälle programmiert hat um diese gegen die Software hat laufen lassen. Und ein weiteres Team für User-Stories etc basierte Tests
Grüße
