Design of a system for software testing and debugging for multiprocessor avionics systems

Execution monitoring plays a central role in most software development tools for parallel and distributed computer systems. However, such monitoring may induce delays that corrupt event timing. If this corruption can be quantified it may be possible to determine the intrusion-free behavior. In this paper we describe an algorithm that, given a safe timed Petri net model of the monitored software, can determine the uncorrupted timestamp values, i.e., those that would have been observed had the delays not been present. Monitoring conditions suficient to ensure correct operation of the algorithm, and examples illustrating the algorithm's applicability to message-passing systems are also presented. This work is part of a larger effort aimed at identifying cost effective software alternatives to custom hardware monitoring.

show abstract

Using perturbation tracking to compensate for intrusion in message-passing systems

Gannon

Williams

Andersland

et al.

14th International Conference on Distributed Computing Systems

View full text Add to dashboard Cite

show abstract

Testing races in parallel programs with an OtOt strategy

Damodaran-Kamal

Francioni

1994

Proceedings of the 1994 International Symposium on Software Testing and Analysis - ISSTA '94

View full text Add to dashboard Cite

Nondeterminism makes concurrent programs difficult to test. The testing task is made more difficult by the presence of races that are deliberately introduced by a programmer. A powerful approach towards testing a concurrent program is to test all instances of its execution for a given input. The only known general purpose run-time testing technique for unrestricted message passing parallel programs} called controlled execution, has exponential complexity (O(pnkg(n))). In this paper, we present a run-time algorithm with polynomial time complexity (O(pkg(n))) for testing for the occurrence of undesired races in a class of message passing parallel programs. This algorithm improves upon the previous technique of controlled execution by using Race Expressions, Race expressions are used for the specification of race conditions based on the program's context. A One-Thread-atOne-Time (OtOt) strategy is the basis of this class of techniques for race detection. We have implemented this algorithm in a testing and debugging tool, called mdb, for the Parallel Virtual Machine (PVM) environment [25].

show abstract

scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.

Contact Info

customersupport@researchsolutions.com

10624 S. Eastern Ave., Ste. A-614

Henderson, NV 89052, USA

Blog Terms and Conditions API Terms Privacy Policy Contact Cookie Preferences Do Not Sell or Share My Personal Information

Made with 💙 for researchers

Part of the Research Solutions Family.

Design of a system for software testing and debugging for multiprocessor avionics systems

Cited by 2 publications

References 15 publications

Using perturbation tracking to compensate for intrusion in message-passing systems

Using perturbation tracking to compensate for intrusion in message-passing systems

Testing races in parallel programs with an OtOt strategy

Contact Info

Product

Resources

About