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

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

doi:10.1016/0020-0255(83)90002-6

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 journal › Article › peer-review

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 language	English (US)
Pages (from-to)	107-123
Number of pages	17
Journal	Information Sciences
Volume	30
Issue number	2
DOIs	https://doi.org/10.1016/0020-0255(83)90002-6
State	Published - Aug 1983
Externally published	Yes

ASJC Scopus subject areas

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

Access to Document

10.1016/0020-0255(83)90002-6

Cite this

@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 Yau, {S. S.} and W. Hong",

note = "Funding Information: {\textquoteleft}The work reported here was supported in part by U.S. Army Research Office under Contract No. DAAC29-80-K-0092.",

year = "1983",

month = aug,

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, S. S.

AU - Hong, W.

N1 - Funding Information: ‘The work reported here was supported in part by U.S. Army Research Office under Contract No. DAAC29-80-K-0092.

PY - 1983/8

Y1 - 1983/8

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 -

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

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this