A software tool that extracts syntax-based software metrics based on the Z formalization

摘要

This paper describes a formal framework to model the design state space of programs and the Z formalization of syntax-based software metrics. We have developed the Design State Space toolkit (DSS) to extract the state and the formalized structural metrics.