A formal methodology using attributed grammars for multiprocessing-system software development II. Validation

P. M. Lu, S. S. Yau, W. Hong

Research output: Contribution to journalArticle

1 Scopus citations

Abstract

Validation of large-scale software is frequently complicated by the need to ensure proper synchronization among concurrent processes in multiprocessing systems. The validation method presented is based on the use of a model using attributed grammars for specifying the control and data flows of the system. In paper I, a method of deriving the model was presented. In this paper, the model is used for generation of test cases and for validation of the implemented software system. This approach is especially significant because a common model is used for both design analysis and validation for multiprocessing-system software.

Original languageEnglish (US)
Pages (from-to)107-123
Number of pages17
JournalInformation Sciences
Volume30
Issue number2
DOIs
StatePublished - Aug 1983
Externally publishedYes

ASJC Scopus subject areas

  • Software
  • Control and Systems Engineering
  • Theoretical Computer Science
  • Computer Science Applications
  • Information Systems and Management
  • Artificial Intelligence

Fingerprint Dive into the research topics of 'A formal methodology using attributed grammars for multiprocessing-system software development II. Validation'. Together they form a unique fingerprint.

  • Cite this