Nâng cao chất lượng phần mềm bằng kỹ thuật Program Slicing

Abstract

Đồ án được trình bày như sau: Giới thiệu về bài toán PROGRAM SLICING. Chương 1: Các khái niệm cơ bản về PROGRAM SLICING. Trình bày các khái niệm cơ bản được ứng dụng trong kỹ thuật Program Slicing. Chương 2: Các kỹ thuật dùng trong phương pháp STATIC SLICING. Trong chương này trình bày về các kỹ thuật trong Static Slicing như: Phương pháp đơn thủ tục và đa thủ tục. Chương 3: Các kỹ thuật dùng trong phương pháp DYNAMIC SLICING. Trong chương này trình bày về các kỹ thuật trong Dynamic Slicing như: Phương pháp đơn thủ tục và đa thủ tục. Chương 4: Thực nghiệm các chương trình SLICER. Chương này trình bày các công cụ trợ giúp trong việc nghiên cứu và tìm hiểu các kỹ thuật Program Slicing.