liu.seSearch for publications in DiVA
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
PARFORMAN - an Assertion Language for Specifying Behaviour when Debugging Parallel Applications
University of Latvia, Riga.
Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.ORCID-id: 0000-0002-3435-4996
1993 (engelsk)Inngår i: Parallel and Distributed Processing, 1993, IEEE , 1993, s. 150-157Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

PARFORMAN (PARallel FORMal ANnotation language) is a specification language for expressing the intended behaviour or known types of error conditions when debugging or testing parallel programs. The high-level debugging approach which is supported by PARFORMAN is model-based. Models of intended or faulty behaviour can be succinctly specified in PARFORMAN. These models are then compared with the actual behaviour in terms of execution traces of events, in order to localize possible bugs. PARFORMAN is based on an axiomatic model of target program behaviour. This model, called H-space (history-space), is formally defined through a set of general axioms about three basic relations between events. Events may be sequentially ordered, they may be parallel, or one of them might be included in another composite event. The notion of an event grammar is introduced to describe allowed event patterns over a certain application domain or language. Auxiliary composite events such as snapshots are introduced to be able to define the notion “occurred at the same time” at suitable levels of abstraction. In addition to debugging and testing, PARFORMAN can also be used to specify profiles and performance measurements

sted, utgiver, år, opplag, sider
IEEE , 1993. s. 150-157
HSV kategori
Identifikatorer
URN: urn:nbn:se:liu:diva-110091DOI: 10.1109/EMPDP.1993.336408ISBN: 0-8186-3610-6 (tryckt)OAI: oai:DiVA.org:liu-110091DiVA, id: diva2:742718
Konferanse
Euromicro Workshop on Parallel and Distributed Processing, Gran Canaria, Jan 27-29, 1993
Tilgjengelig fra: 2014-09-02 Laget: 2014-09-02 Sist oppdatert: 2014-10-01bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekst

Personposter BETA

Fritzson, Peter

Søk i DiVA

Av forfatter/redaktør
Fritzson, Peter
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 114 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf