I. Giới thiệu
Phần giới thiệu của luận văn thạc sĩ tập trung vào việc giải thích lý do chọn đề tài và bối cảnh nghiên cứu. Công nghệ thông tin đã trở thành một phần không thể thiếu trong nhiều lĩnh vực, giúp tự động hóa các công việc và tiết kiệm thời gian, chi phí. Tuy nhiên, rủi ro từ lỗi phần mềm vẫn là một thách thức lớn. Phát triển phần mềm dựa trên thành phần (Component-Based Software Development) là một phương pháp hiệu quả để tái sử dụng mã nguồn, giảm thời gian và chi phí phát triển. Một vấn đề quan trọng trong phương pháp này là việc thực thi thành phần không tuân theo đặc tả PSM (Protocol State Machine), dẫn đến lỗi hệ thống. Đề tài nghiên cứu nhằm kiểm tra sự tuân thủ giữa thực thi và đặc tả PSM trong mô hình dựa trên thành phần.
1.1 Lý do chọn đề tài
Lý do chọn đề tài xuất phát từ nhu cầu đảm bảo chất lượng phần mềm trong quá trình phát triển. Việc sử dụng lại các thành phần phần mềm giúp tiết kiệm thời gian và chi phí, nhưng nếu thực thi không tuân theo đặc tả, hệ thống có thể gặp lỗi nghiêm trọng. Ví dụ, một thành phần DBaccessor cung cấp các dịch vụ như connect, open, update, và close. Nếu thứ tự gọi các dịch vụ không tuân theo đặc tả PSM, hệ thống sẽ gặp lỗi. Do đó, việc kiểm tra sự tuân thủ giữa thực thi và đặc tả là rất cần thiết.
II. Mục tiêu và đối tượng nghiên cứu
Phần này trình bày mục tiêu nghiên cứu và đối tượng nghiên cứu của luận văn. Mục tiêu chính là đưa ra phương pháp kiểm tra xem thực thi của một thành phần phần mềm có tuân theo đặc tả PSM hay không. Các mục tiêu cụ thể bao gồm tìm hiểu về thành phần phần mềm, quy trình phát triển phần mềm dựa trên thành phần, mô hình thành phần phần mềm, đặc tả PSM, và cách kiểm tra sự tuân thủ. Đối tượng nghiên cứu chính bao gồm thành phần phần mềm, thực thi của thành phần, đặc tả PSM, và thuật toán kiểm tra sự tuân thủ.
2.1 Mục tiêu nghiên cứu
Mục tiêu nghiên cứu chính của đề tài là phát triển một phương pháp kiểm tra sự tuân thủ giữa thực thi và đặc tả PSM. Các mục tiêu cụ thể bao gồm tìm hiểu về thành phần phần mềm, quy trình phát triển phần mềm dựa trên thành phần, mô hình thành phần phần mềm, đặc tả PSM, và cách kiểm tra sự tuân thủ. Phương pháp này sẽ giúp đảm bảo rằng các thành phần phần mềm được thực thi đúng theo đặc tả, từ đó giảm thiểu lỗi hệ thống.
2.2 Đối tượng nghiên cứu
Đối tượng nghiên cứu chính của đề tài bao gồm thành phần phần mềm, thực thi của thành phần, đặc tả PSM, và thuật toán kiểm tra sự tuân thủ. Thành phần phần mềm là các đơn vị phần mềm độc lập có thể tái sử dụng. Thực thi của thành phần là quá trình thực hiện các dịch vụ mà thành phần cung cấp. Đặc tả PSM là các ràng buộc về thứ tự thực hiện các hành vi của thành phần. Thuật toán kiểm tra sự tuân thủ là phương pháp để xác định xem thực thi có tuân theo đặc tả hay không.
III. Phương pháp nghiên cứu
Phần này trình bày phương pháp nghiên cứu được sử dụng trong luận văn. Nghiên cứu lý thuyết bao gồm việc tìm hiểu cấu trúc bytecode, kỹ thuật xây dựng đồ thị luồng điều khiển (CFG), và kỹ thuật giản lược CFG thành đồ thị lời gọi phương thức (CG). Nghiên cứu thực nghiệm bao gồm việc cài đặt các thuật toán, chuẩn bị dữ liệu thử nghiệm, và phân tích kết quả thực nghiệm. Phương pháp kiểm tra sự tuân thủ giữa thực thi và đặc tả PSM được thực hiện thông qua việc chuyển đổi đặc tả PSM về dạng đồ thị và so sánh với đồ thị thực thi.
3.1 Nghiên cứu lý thuyết
Nghiên cứu lý thuyết tập trung vào việc tìm hiểu cấu trúc bytecode, kỹ thuật xây dựng đồ thị luồng điều khiển (CFG), và kỹ thuật giản lược CFG thành đồ thị lời gọi phương thức (CG). Đặc tả PSM được chuyển đổi về dạng đồ thị, trong đó các đỉnh là các lời gọi phương thức và các cạnh có hướng biểu diễn trình tự lời gọi phương thức. Đồ thị thực thi của thành phần được biểu diễn dưới dạng CFG, sau đó được giản lược thành CG, chỉ giữ lại các đỉnh là các lệnh gọi phương thức.
3.2 Nghiên cứu thực nghiệm
Nghiên cứu thực nghiệm bao gồm việc cài đặt các thuật toán trong nghiên cứu lý thuyết, chuẩn bị dữ liệu thử nghiệm, và phân tích, đánh giá kết quả thực nghiệm. Các thuật toán được cài đặt để kiểm tra sự tuân thủ giữa đồ thị thực thi và đồ thị giao thức. Dữ liệu thử nghiệm được chuẩn bị để đánh giá hiệu quả của phương pháp. Kết quả thực nghiệm được phân tích để xác định tính khả thi và hiệu quả của phương pháp kiểm tra sự tuân thủ.
IV. Kết luận và hướng phát triển
Phần kết luận tổng hợp các kết quả nghiên cứu và đưa ra các hướng phát triển tiếp theo. Luận văn đã đề xuất một phương pháp kiểm tra sự tuân thủ giữa thực thi và đặc tả PSM trong mô hình dựa trên thành phần. Phương pháp này đã được thử nghiệm và cho thấy hiệu quả trong việc đảm bảo chất lượng phần mềm. Các hướng phát triển tiếp theo bao gồm cải tiến thuật toán, mở rộng phạm vi nghiên cứu, và tích hợp phương pháp vào các công cụ phát triển phần mềm hiện có.
4.1 Kết luận
Kết luận của luận văn khẳng định rằng phương pháp kiểm tra sự tuân thủ giữa thực thi và đặc tả PSM là cần thiết và hiệu quả trong việc đảm bảo chất lượng phần mềm. Phương pháp này giúp phát hiện và ngăn chặn các lỗi hệ thống do thực thi không tuân theo đặc tả. Kết quả nghiên cứu đã chứng minh tính khả thi và hiệu quả của phương pháp trong thực tế.
4.2 Hướng phát triển
Hướng phát triển tiếp theo của đề tài bao gồm cải tiến thuật toán để tăng hiệu suất và độ chính xác, mở rộng phạm vi nghiên cứu để áp dụng cho các loại thành phần phần mềm khác, và tích hợp phương pháp vào các công cụ phát triển phần mềm hiện có. Việc tích hợp phương pháp vào các công cụ phát triển phần mềm sẽ giúp các nhà phát triển dễ dàng kiểm tra sự tuân thủ trong quá trình phát triển phần mềm.
