This file was created by the TYPO3 extension
bib
--- Timezone: CEST
Creation date: 2024-07-04
Creation time: 19-24-58
--- Number of references
2
article
2012-soriadustmann-pik-effizient-sde
Effizientes Auffinden von Fehlern in Verteilten Systemen mit Symbolischer Ausführung
Praxis der Informationsverarbeitung und Kommunikation (PIK Journal)
2012
11
35
4
289–295
Zum Testen verteilter bzw. vernetzter Systeme existieren zahlreiche Werkzeuge, welche für das Rapid Prototyping und die Fehler-Rekonstruktion unerlässlich sind.
Durch verschieden stark abstrahierte Modelle lassen sich auf diese Weise, bereits früh in der Entwicklung verteilter Systeme, Aussagen über Performanz, Konsistenz und Korrektheit von Netzwerkprotokollen treffen.
Diese Verfahren arbeiten auf explizit für den Testvorgang entworfenen Modellimplementierungen, welche zwar teilweise Quelltext mit der Produktionssoftware gemein haben, aber viele Aspekte und potentielle Fehlerquellen einer tatsächlichen Software unberücksichtigt lassen.
In diesem Artikel werden die Grundlagen von Testparadigmen beschrieben, welche die Ausführung unmodifizierter Software erlauben und dabei ermöglichen, eine hohe Zuversicht in die getesteten Systeme zu gewinnen.
Der Fokus liegt dabei auf der Optimierung von Algorithmen um die redundante Ausführung des Systems zu minimieren, wodurch sich die zum Testen benötigte Zeit um Größenordnungen verringert.
http://www.comsys.rwth-aachen.de/fileadmin/papers/2012/2012-soriadustmann-pik-effizient-sde.pdf
http://www.degruyter.com/view/j/piko-2012-35-issue-4/pik-2012-0043/pik-2012-0043.xml?format=INT
Print
Otto Spaniol
De Gruyter
de
0930-5157
10.1515/pik-2012-0043
OscarSoria Dustmann
inproceedings
2012-taicpart-dustmann-symbolic-time
Position Paper: Symbolic System Time in Distributed Systems Testing
2012
4
We propose an extension of symbolic execution of distributed systems to test software parts related to timing.
Currently, the execution model is limited to symbolic input for individual nodes, not capturing the important class of timing errors resulting from varying network conditions.
In this paper, we introduce symbolic system time in order to systematically find timing-related bugs in distributed systems.
Instead of executing time events at a concrete time, we execute them at a set of times and analyse possible event interleavings on demand.
We detail on the resulting problem space, discuss possible algorithmic optimisations, and highlight our future research directions.
kleenet
fileadmin/papers/2012/2012-04-taicpart-soriadustmann-symtime.pdf
TAICPART'2012
en
1
OscarSoria Dustmann
RaimondasSasnauskas
KlausWehrle