Title :
A tool for assessing the quality of distributed software designs
Author :
Cheung, To-yat ; Ren, Shenyu ; Mak, Wai
Author_Institution :
Dept. of Comput. Sci., City Polytech. of Hong Kong, Kowloon, Hong Kong
Abstract :
This paper reports a software tool for computing McCabe´s cyclomatic complexity measure of a distributed system design specified in LOTOS, without presenting the underlying theory and algorithms in detail. Such a measure can be used to assess the quality of the design and determine the maximum number of independent cycles in an all-path test coverage. The tool accepts as an input a LOTOS specification in either textual or graphical form. It provides two modes for computation, the first one based on an actual transformation of the entire LOTOS specification to a Petri-net and the second one based on a set of formulas for computing the cyclomatic values constructively
Keywords :
Petri nets; multiprocessing programs; software metrics; software quality; software tools; specification languages; LOTOS; LOTOS specification; Petri-net; all-path test coverage; cyclomatic complexity measure; distributed software design quality assessment tool; Automatic testing; Cities and towns; Distributed computing; Phase measurement; Programming; Software design; Software measurement; Software quality; Software testing; Software tools;
Conference_Titel :
Software Education Conference, 1994. Proceedings.
Conference_Location :
Dunedin
Print_ISBN :
0-8186-5870-3
DOI :
10.1109/SEDC.1994.475316
