Trong sản xuất phần mềm, rất nhiều hoạt động được thực hiện như khảo sát, phân tích, thiết kế, Trong đó kiểm thử, bảo trì phần mềm là những công việc có tầm quan trọng nhằm đảm bảo phần mềm hoạt động chính xác, hiểu quả. Tìm hiểu về Program Slicing là một trong những phương pháp nâng cao chất lượng phần mềm. Trong quá trình tìm hiểu tài liệu, em đã nghiên cứu, tìm hiểu và trình bày trong đồ án các phương pháp áp dụng trong Progam Slicing nhằm làm rõ một số kỹ thuật được áp dụng trong đó. Các tác giả như Weiser, Ottenstein, B. Korel, J. Laski, Horwitz,Reps,Binkley . Là những người tiên phong nghiên cứu về lĩnh vực này. Các tác giả đã đưa ra các khái niệm như Static Slicing, Dynamic Slicing, đồ thị phụ thuộc chương trình, đồ thị phụ thuộc luồng điều khiển,đồ thị phụ thuộc hệ thống Từ đó hình thành một lĩnh vực nghiên cứu mới trong việc đảm bảo chất lượng phần mềm. Với kiến thức như vậy, trong đồ án này em cũng chỉ bước đầu tìm hiểu các kỹ thuật đã được đề xuất để từ đó hình dung rõ hơn về một khía cạnh trong lĩnh vực sản xuất phần mềm. Do vậy, em chọn đề tài: “Nâng cao chất lượng phần mềm bằng kỹ thuật Program Slicing”. Đồ án được trình bày như sau: Giới thiệu: GIỚI THIỆU VỀ BÀI TOÁN PROGRAM SLICING Chương 1: CÁC KHÁI NIỆM CƠ BẢN TRONG 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