Title :
D-graphs for structural testing of concurrent and communicating Ada tasks
Author :
Cantone, G. ; Esposito, A.
Author_Institution :
Naples Univ., Italy
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;
Conference_Titel :
Software Engineering for Real Time Systems, 1989., Second International Conference on
Conference_Location :
Cirencester
