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

P. M. Lu, Sik-Sang Yau, W. Hong

Research output: Contribution to journalArticle

1 Citation (Scopus)

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 - 1983
Externally publishedYes

Fingerprint

Multiprocessing systems
Multiprocessing
System Development
Grammar
Software Development
Software engineering
Methodology
Software System
Data Flow
Model
Concurrent
Synchronization
Software
Software development
Systems software

ASJC Scopus subject areas

  • Artificial Intelligence
  • Computer Science Applications
  • Information Systems
  • Information Systems and Management
  • Statistics, Probability and Uncertainty
  • Electrical and Electronic Engineering
  • Statistics and Probability

Cite this

A formal methodology using attributed grammars for multiprocessing-system software development II. Validation. / Lu, P. M.; Yau, Sik-Sang; Hong, W.

In: Information Sciences, Vol. 30, No. 2, 1983, p. 107-123.

Research output: Contribution to journalArticle

@article{001e2f6f10e74771aae3fee201f660cd,
title = "A formal methodology using attributed grammars for multiprocessing-system software development II. Validation",
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.",
author = "Lu, {P. M.} and Sik-Sang Yau and W. Hong",
year = "1983",
doi = "10.1016/0020-0255(83)90002-6",
language = "English (US)",
volume = "30",
pages = "107--123",
journal = "Information Sciences",
issn = "0020-0255",
publisher = "Elsevier Inc.",
number = "2",

}

TY - JOUR

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

AU - Lu, P. M.

AU - Yau, Sik-Sang

AU - Hong, W.

PY - 1983

Y1 - 1983

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0020796479&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0020796479&partnerID=8YFLogxK

U2 - 10.1016/0020-0255(83)90002-6

DO - 10.1016/0020-0255(83)90002-6

M3 - Article

AN - SCOPUS:0020796479

VL - 30

SP - 107

EP - 123

JO - Information Sciences

JF - Information Sciences

SN - 0020-0255

IS - 2

ER -