In: Proceedings Fourteenth Annual International Computer Software and Applications Conference, 31 Oct-2 Nov 1990, Chicago, IL, USA, pages 414-419. Los Alamitos: IEEE Comput. Soc. Press,, 1990.
Abstract: A metric for concurrent software is proposed based on an abstract model (Petri nets) as an extension of T.J. McCabe's (1976) cyclomatic number. As such, its focus is on the complexity of control flow. This metric is applied to the assessment of Ada programs, and an automatic method for its direct computation based on the inspection of Ada code is provided. It is pointed out, however, that wider experimentation is needed in order to better assess its effectiveness