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 | |
| State | Published - 1983 |
| Externally published | Yes |
Fingerprint
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 journal › Article
}
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 -