Testfallerzeugung mit einer symbolischen virtuellen Maschine und Constraint Solvern
| dc.contributor.author | Lembeck, Christoph | |
| dc.contributor.author | Müller, Roger A. | |
| dc.contributor.author | Kuchen, Herbert | |
| dc.contributor.editor | Dadam, Peter | |
| dc.contributor.editor | Reichert, Manfred | |
| dc.date.accessioned | 2019-10-11T11:37:50Z | |
| dc.date.available | 2019-10-11T11:37:50Z | |
| dc.date.issued | 2004 | |
| dc.description.abstract | Der Softwaretest wird heute als wichtiger Teil der Softwareentwicklung wahrgenommen. Da manuelles Testen teuer und unpräzise ist, werden verstärkt Werkzeuge zum Test-Management eingesetzt. Allerdings bleibt es dem Benutzer in der Re- gel selbst überlassen, die Testfälle zu erzeugen. Das Werkzeug, das wir in diesem Paper präsentieren, verwendet einen neuartigen Ansatz, um Testfälle zu vorgegebenen strukturellen Kriterien für einzelne oder mehrere Java-Methoden und Objekte zu produzieren. Dafür verwenden wir eine symbolische Java Virtual Machine, die passend zu den Kontrollflüssen in dem Programm Bedingungen generiert. Verzweigungen im Programm werden in Abhängigkeit von den aktuellen Kontrollfluss-Bedingungen, dem Testkriterium und der Verzweigungsstrategie gewählt. Der symbolischen virtuellen Maschine stehen (nicht-)lineare Constraint Solver (CS) zur Verfügung, die in einen CS Manager eingebettet sind. Dieser wählt dynamisch einen angemessenen CS aus und und bereitet die Constraints für die CS auf. | de |
| dc.identifier.isbn | 3-88579-380-6 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/28807 | |
| dc.language.iso | de | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | Informatik 2004, Informatik verbindet, Band 2, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI) | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-51 | |
| dc.title | Testfallerzeugung mit einer symbolischen virtuellen Maschine und Constraint Solvern | de |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 427 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 418 | |
| gi.conference.date | 20.-24. September 2004 | |
| gi.conference.location | Ulm | |
| gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1
Lade...
- Name:
- GI-Proceedings.51-91.pdf
- Größe:
- 312.04 KB
- Format:
- Adobe Portable Document Format