Predictable and Progressive Testing of Multithreaded Code

The Chess (Checker for System Software) testing tool repeatedly executes a multithreaded program while guaranteeing predictable and deterministic scheduling and progressively exploring more schedules to uncover errors quickly.

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE software 2011-05, Vol.28 (3), p.75-83
Hauptverfasser:	Ball, T, Burckhardt, S, de Halleux, P, Musuvathi, M, Qadeer, S
Format:	Artikel
Sprache:	eng
Schlagworte:	Analysis Applied sciences Chess Computer science control theory systems Computer systems performance. Reliability concurrency Concurrent computing Exact sciences and technology nondeterminism Operating systems Parallel programming Processor scheduling Product development Programming languages Programming profession Schedules Scheduling Sequential analysis sequential program Software Software engineering Software packages Software testing Studies System testing Testing threads scheduling
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	The Chess (Checker for System Software) testing tool repeatedly executes a multithreaded program while guaranteeing predictable and deterministic scheduling and progressively exploring more schedules to uncover errors quickly.
ISSN:	0740-7459 1937-4194
DOI:	10.1109/MS.2010.64