Automatische Testvektorgenerierung in der modellbasierten Softwareentwicklung
dc.contributor.author | Hermes, Thomas | |
dc.contributor.author | Schultze, Axel | |
dc.contributor.author | Predelli, Oliver | |
dc.contributor.editor | Cremers, Armin B. | |
dc.contributor.editor | Manthey, Rainer | |
dc.contributor.editor | Martini, Peter | |
dc.contributor.editor | Steinhage, Volker | |
dc.date.accessioned | 2019-10-11T07:58:30Z | |
dc.date.available | 2019-10-11T07:58:30Z | |
dc.date.issued | 2005 | |
dc.description.abstract | Bei der IAV GmbH wurde ein modellbasierter Testfallgenerator entwickelt, mit dem es möglich ist, aus verifizierten MATLAB/Simulink-Modellen automatisch Whitebox-Testfälle in Form von Testvektoren bzw. Folgen solcher Testvektoren (Testsequenzen) zu erzeugen. Mit Hilfe dieser Testsequenzen ist es dann möglich, die Übereinstimmung des Codes in einem zeitdiskreten Zielsystem mit dem zugrundeliegenden Modell zu überprüfen. Die Testsequenzen werden auf der Basis vorgegebener Äquivalenzklassen für die einzelnen im Modell verwendeten Blocktypen erzeugt, die durch den Testvektorgenerator in Testsequenzen für das gesamte zu testende System konvertiert werden. Darüberhinaus werden redundante Testsequenzen zusammengefasst, und die Sollwerte werden unabhängig von den zur Modellierung oder Code-Generierung verwendeten Tools berechnet. | de |
dc.identifier.isbn | 3-88579-397-0 | |
dc.identifier.pissn | 1617-5468 | |
dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/28256 | |
dc.language.iso | de | |
dc.publisher | Gesellschaft für Informatik e.V. | |
dc.relation.ispartof | Informatik 2005 – Informatik Live! Band 2 | |
dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-68 | |
dc.title | Automatische Testvektorgenerierung in der modellbasierten Softwareentwicklung | de |
dc.type | Text/Conference Paper | |
gi.citation.endPage | 474 | |
gi.citation.publisherPlace | Bonn | |
gi.citation.startPage | 470 | |
gi.conference.date | 19. bis 22. September 2005 | |
gi.conference.location | Bonn | |
gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1
Lade...
- Name:
- GI-Proceedings.68-96.pdf
- Größe:
- 139.58 KB
- Format:
- Adobe Portable Document Format