Definition-Use Net and System Dependence Net Generators for Ada 2012 Programs and their Applications

摘要

Both Definition-Use Net (DUN) and System Dependence Net (SDN) are formal graph-theoretical representation models for concurrent programs. Both models are very helpful in software development activities such as program slicing, testing, debugging, and complexity measuring. Ada 2012, which is the new generation of the world's premier programming language for engineering safe, secure and reliable software, has many changes and extensions from Ada 2005. Until now, however, there has been no investigation on the DUN of Ada 2012 programs and its automated generation method, and although some new program dependences and one new interprocedural relation have been found in Ada 2012 programs, there is no report about definitions of the new program dependences and interprocedural relations of an SDN, and even their automated generation methods. For capturing Definition-Use Nets and System Dependence Nets of Ada 2012 programs automatically, we developed an ASIS-based DUN generator, and an SDN generator. This paper introduces DUNs of Ada 2012 programs, presents definitions of new types of program dependences and SDNs in Ada 2012 programs, shows example SDNs including new types of program dependences in Ada 2012 programs, presents the methods of constructing DUNs and SDNs of Ada 2012 programs, and shows various applications of DUNs and SDNs.