Item – Thèses Canada

​
Numéro d'OCLC
29912529
Auteur
Wang, Chang Jian,1963-
Titre
An intelligent concurrent debugger system.
Diplôme
M.A. Sc. -- University of Toronto, 1991
Éditeur
Ottawa : National Library of Canada = Bibliothèque nationale du Canada, 1992.
Description
2 microfiches.
Notes
University Microfilms order no. UMI00367142.
Includes bibliographical references.
Résumé
In concurrent programming, locating concurrent bugs not only costs lots of time but also is much more difficult. Because of the high cost of debugging, it is not surprising that attempts have been made to liberate programmers from this time consuming work. Our approach to this problem is to automate debugging, more specifically, to let the debugger system locate bugs automatically. A behavior specification language is provided such that programmers can use it to specify the desired behavior of their programs. Then the debugger system uses the knowledge provided by the behavior specifications as a reference to validate the actual behavior of these programs. If any discrepancy between the desired behavior and the actual behavior is discovered, the system will locate the bugs automatically and send an error report to the programmer. In this thesis, we introduce the notation of B-Spec language which is used to specify the desired behavior, implement the compiler for B-Spec language and the monitor which validates the actual behavior during execution time. (Abstract shortened by UMI.)
ISBN
0315742941
9780315742949