物件導向程式切片系統

Abstract

程式切片是一種軟體分析方法，能夠把程式中相關的部份獨立出來， 縮小問題的範圍，幫助設計者瞭解程式，適合用來除錯及維護程式。所切 出來的程式片段是可執行的，故程式切片也可以視為一種促使軟體再利用 的方法。我們針對Ｃ＋＋這套物件導向語言設計並實作出一套程式切片系 統，程式切片系統能夠刪除不相關的類別、函式、變數及敘述。本系統可 用來除錯和瞭解程式，或是當作程式碼最佳化的工具。 Program slicing is a program analysis method that can identify relevant statements of a program and help a programmer understands code. It is useful for software debugging and maintenance. A slice is an executable part that is extracted from the program. Hence program slicing can be treated as analternative method for re-using software. We designed and implemented a practical program slicing system for the object- oriented language C++. Theslicing system can eliminate irrelevant classes, functions, variables, andeven statements when slicing a program. This system can serve as a debuggingand program understanding tool and a source-code optimizer.