MDAT: a multithreading debugging and testing tool

Authors:
Eric Larson;Rochelle Palting
Affiliations:
Seattle University, Seattle, WA, USA;Seattle University, Seattle, WA, USA
Venue:
Proceeding of the 44th ACM technical symposium on Computer science education
Year:
2013

Citing 6
Cited 0

A visual tool for teaching multithreading in Java

Journal of Computing Sciences in Colleges - Papers of the twelfth annual CCSC Northeastern Conference
CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs

CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Some resources for teaching concurrency

Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
Test-first Java concurrency for the classroom

Proceedings of the 41st ACM technical symposium on Computer science education
Introducing concurrency in CS 1

Proceedings of the 41st ACM technical symposium on Computer science education
Predictable and Progressive Testing of Multithreaded Code

IEEE Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

MDAT is a multithreaded testing and debugging tool designed for students learning to program with multiple threads. MDAT automatically generates random schedules to allow students to more thoroughly test their programs. The design of MDAT takes full control over the scheduling allowing a failing run to be reproduced. To assist debugging, MDAT includes an output trace that shows the status of all threads, locks, and semaphores in the program and has an interactive mode that allows students to try out their own schedules. MDAT was effective at detecting deadlock and mutual exclusion violations in student submissions of the unisex restroom problem.