DocumentCode
273955
Title
D-graphs for structural testing of concurrent and communicating Ada tasks
Author
Cantone, G. ; Esposito, A.
Author_Institution
Naples Univ., Italy
fYear
1989
fDate
18-20 Sep 1989
Firstpage
80
Lastpage
84
Abstract
Deals with the transformation of a system of concurrent and communicating Ada tasks into a d-graph so as to extend structural testing and metrication techniques, which have been widely studied in sequential environments, to concurrent environments
Keywords
Ada; graph theory; parallel programming; program testing; software tools; communicating Ada tasks; concurrent environments; d-graph; metrication; structural testing;
fLanguage
English
Publisher
iet
Conference_Titel
Software Engineering for Real Time Systems, 1989., Second International Conference on
Conference_Location
Cirencester
Type
conf
Filename
51725
Link To Document