Software System Model Viewer based on Program Analysis Information

点击翻译按钮获取中文摘要

In this research, we cope with some kids of software modeling which give consideration to static and/or dynamic aspects of software. Followings are our research results :We propose "DC Slice" algorithm which employs both static-type and dynamic-type sub-algorithms, that is to analyze program to generate software's control and data flows graphs. The results of control and data flow graphs of DC Slice algorithm is equivalence of the one of dynamic slice algorithm, however, the cost of DC slice algorithm is lower than dynamic one. We also implement a system to display the results of DC slice algorithm. Using this system, we can analyze software without having its source code.We propose "JAAT", a system for alias analysis which provides to the users to choice several alias analysis algorithms easily. JAAT's software' s alias model is extremely precise with reasonable costs.We implement an algorithm of software' s information security model for procedural programming languages, and a system for displaying information security model. We also re-define the algorithm to apply object-oriented programming languages.We propose an impact analysis algorithm that analyzes impacts of the software when some changes are committed to. We also implement a system of displaying impact analysis results.