PARFORMAN(ID:5537/par028)

for PARallel FORMal ANnotation language

language for expressing intended behavior or known types of error conditions when debugging or testing parallel programs

People:
Related languages
FORMAN => PARFORMAN   Extension of
References:
  • Auguston, M.; P. Fritzson, "PARFORMAN -- an Assertion Language for Specifying Behavior when Debugging Parallel Applications", pp609-640 view details External link: Citeseer Abstract: PARFORMAN (PARallel FORMal ANnotation language) is a high-level specification language for expressing intended behavior or known types of error conditions when debugging or testing parallel programs. Models of intended or faulty target program behavior can be succinctly specified in PARFORMAN. These models are then compared with the actual behavior in terms of execution traces of events, in order to localize possible bugs. PARFORMAN can also be used as a general language for expressing computations over target program execution histories.

    PARFORMAN is based on a precise axiomatic model of target program behavior. This model, called H-space (History-space), is formally defined through a set of general axioms about three basic relations, which may or may not hold between two arbitrary events: they may be sequentially ordered (SEQ), they may be parallel (PAR), or one of them might be included in another composite event (IN). The general notion of composite event is exploited systematically
          in International Journal of Software Engineering and Knowledge Engineering 6(4) 1996 view details
  • Mikhail Auguston, Clinton Jeffery, Scott Underwood: A Framework for Automatic Debugging NMSU-CS-2002-004. view details Abstract: This paper presents an application framework for the development of automatic debugging tools. Declarative specifications of debugging actions are translated into execution monitors that can automatically detect bugs in programs written in the Unicon programming language. Using the FORMAN assertion language on top of the Unicon virtual machine, automatic debugging tools for assertion checking, profiling, and other debugging queries are implemented in a uniform way. The approach is non-intrusive with respect to program source code and provides a high level of abstraction for debugging activities. The framework supports formalization of typical bug descriptions and debugging rule design.
          in International Journal of Software Engineering and Knowledge Engineering 6(4) 1996 view details