Generation of system dependence nets for Ada 2005 programs

摘要

System dependence net is a formal model to explicitly represent program dependences in a concurrent program which consists of multiple procedures. It is useful for development and maintenance of concurrent programs, such as program slicing, testing, debugging, and complexity measuring. A system dependence net generator for Ada 95 was proposed and developed. It cannot be used for Ada 2005 programs because Ada 2005 has a lot of changes from Ada 95. There is no study about how to generate system dependence nets of Ada 2005 programs until now. This paper proposes a method to generate system dependence nets of Ada 2005 programs by improving already proposed method for Ada 95.