Font Size: a A A

Research Of Software Slicing Technology In Specific Area Environment

Posted on:2011-12-29Degree:MasterType:Thesis
Country:ChinaCandidate:Y H SuFull Text:PDF
GTID:2178360305990599Subject:Computer application technology
Abstract/Summary:PDF Full Text Request
With the increasing scale of software systems and complex of software structure, the slicing technique is gradually becoming a research hot spot for efficiently understanding program and reasonably developing software in software engineering.Although the slicing technique has been developed rapidly, most of them are used to calculate software program slicings only according to variables. However, these slicing methods can not effectively understand the system architecture, although they improve the efficiency of understanding a variable. According to such an issue, on the basis of in-depth research on various slicing technologies and the analysis on the program structure, a new method of choosing slicing criterion is proposed, and the definition and derivation process of which are described in detail. Using this method to calculate slicing program can help software programmers more conveniently, quickly and efficiently understand the program, short cycle and reduce the complexity in the aspect of program understanding, and promote further development of software maintenance, software reverse engineering and reverse engineering.Most of researches about software slicing studied by many experts are based on the imaginary issue, but the research and application of combining slicing technology and actual problems are very fewer. In this paper, requirements and designs about the information management system of civil is researched as a background, but which is not analysed detailedly, because its scale is large and structure is complex. Thus, two of typical management subsystem those are information and aging population are selected to research as apecific areas. First, the requirements of the specific areas are accurately described by Z language, and then the system structure and source are designed. Secondly, the software slicing technique is used to obtain the system structure. Finally, the two system structures are compared and analyzed, and the experimental results show that the proposed method is effective.
Keywords/Search Tags:Program Understanding, Software Slicing Technology, Slicing Criterion, Formal Methods, Z Language, Specific Areas
PDF Full Text Request
Related items