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

fYear

1994

fDate

22-25 Nov 1994

Firstpage

42

Lastpage

49

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Education Conference, 1994. Proceedings.

Conference_Location

Dunedin

Print_ISBN

0-8186-5870-3

Type

conf

DOI

10.1109/SEDC.1994.475316

Filename

475316