tailieunhanh - Báo cáo nghiên cứu khoa học: "PHÂN TÍCH KHẢ NĂNG KIỂM THỬ CÁC ĐƠN VỊ PHẦN MỀM"

Bài báo trình bày phương pháp phân tích khả năng kiểm thử các đơn vị phần mềm để đánh giá và tiên lượng những khó khăn gặp phải trong quá trình kiểm thử phần mềm. Để phân tích khả năng kiểm thử, chúng tôi đề xuất giải pháp sử dụng kỹ thuật biểu diễn gán đơn tĩnh SSA bằng cách chuyển các đơn vị kiểm thử sang một dạng biểu diễn luồng dữ liệu. Kết quả phân tích một mặt giúp người kiểm thử phân bổ tài nguyên kiểm thử hợp lí hơn, một mặt giúp người thiết kế khắc. | PHÂN TÍCH KHẢ NĂNG KIÊM THỬ CÁC ĐƠN VỊ PHẦN MỀM TESTABILITY ANALYSIS OF SOFTWARE COMPONENTS NGUYỄN THANH BÌNH Trường Đại học Bách khoa Đại học Đà Nang TÓM TẮT Bài báo trình bày phương pháp phân tích khả năng kiểm thử các đơn vị phần mềm để đánh giá và tiên lượng những khó khăn gặp phải trong quá trình kiểm thử phần mềm. Để phân tích khả năng kiểm thử chúng tôi đề xuất giải pháp sử dụng kỹ thuật biểu diễn gán đơn tĩnh SSA bằng cách chuyển các đơn vị kiểm thử sang một dạng biểu diễn luồng dữ liệu. Kết quả phân tích một mặt giúp người kiểm thử phân bổ tài nguyên kiểm thử hợp lí hơn một mặt giúp người thiết kế khắc phục những sự cố mất mát thông tin và có thể sửa đổi lại chương trình nguồn. ABSTRACT This paper presents the result of testability analysis of software components to evaluate and predict some difficulties encountered in the testing phase. In our solution we concentrate on testability analysis of software components. We propose the use of the Static Single Assignment SSA form to transform a software component into a data-flow representation and testability analysis is based on this SSA form. This results helps designers during the specification phases of the components and testers during the testing phases to evaluate and eventually modify the components. 1. Đặt vấn đề Trong tiến trình phần mềm giai đoạn kiểm thử testing đóng vai trò quan trọng. Phần mềm càng lớn và càng phức tạp thủ tục kiểm thử càng đòi hỏi nhiều thời gian và công sức. Để nâng cao hiệu quả sản phẩm những người tham gia xây dựng phần mềm cần có sớm thông tin về hệ thống chương trình cần kiểm thử. Những thông tin này có được nhờ phân tích khả năng kiểm thử PTKNKT phần mềm. Một mặt kết quả phân tích cho phép phát hiện ra những phần chương trình nào vừa chứa đựng nhiều lỗi vừa khó kiểm thử những đơn vị chương trình nào thì nên đầu tư nhiều công sức. Mặt khác PTKNKT giúp phân bổ tài nguyên kiểm thử tốt hơn hoặc có thể yêu cầu người thiết kế sửa đổi lại nội dung thiết kế để cải thiện khả năng .