Testing and debugging Message Passing programs in synergy with their specifications

• Autorzy: Tsiatsoulis Z. , Cotronis J.Y.
• Języki publikacji: EN

Abstrakty

EN

We outline Ensemble, a design and implementation methodology for composing message passing (MP) applications from program components directed by scripts. We define specification components corresponding to program components and we compose them, directed by the same scripts, obtaining formal specifications of the composed applications. We use the Petri net formalism to express component and application specifications. Petri Net composition is modelled by appropriate coupling of inscriptions on interface input and output arcs to and from a unified environment place. We elaborate on testing and debugging of MP applications based on the synergy of tools for Petri-Net simulations with tools for monitoring program executions.

Słowa kluczowe

EN

Message Passing program composition; specification composition; reuse; Petri net; error detection

• Wydawca: Polskie Towarzystwo Matematyczne
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2000
• Tom: Vol. 41, Nr 3
• Strony: 341--366
• Opis fizyczny: bibliogr. 34 poz.

Twórcy

autor

Tsiatsoulis Z.

autor

Cotronis J.Y.

• Department of Informatics, University of Athens, Athens, Greece,