tailieunhanh - Báo cáo nghiên cứu khoa học: " GIẢI PHÁP NÂNG CAO CHẤT LƯỢNG PHẦN MỀM HƯỚNG ĐỐI TƯỢNG"

Bài báo trình bày những vấn đề về thiết kế theo hợp đồng, kiểm thử đơn vị cũng như những điểm mạnh và những hạn chế của chúng; từ đó đề ra giải pháp kết hợp thiết kế theo hợp đồng và kiểm thử đơn vị. Công cụ csUnit được sử dụng để kiểm thử đơn vị cho các chương trình viết bằng ngôn ngữ C#. Một thư viện được phát triển để hỗ trợ cho thiết kế theo hợp đồng cho các ngôn ngữ | TẠP CHÍ KHOA HỌC VÀ CÔNG NGHỆ ĐẠI HỌC ĐÀ NẴNG - SỐ 5 28 .2008 GIẢI PHÁP NÂNG CAO CHẤT LƯỢNG PHẦN MỀM HƯỚNG ĐỐI TƯỢNG A SOLUTION TO IMPROVE THE QUALITY OF OBJECT-ORIENTED SOFTWARE NGUYỄN THANH BÌNH-ĐẶNG THỊ LỆ THU Trường Đại học Bách khoa Đại học Đà Nang TÓM TẮT Bài báo trình bày những vấn đề về thiết kế theo hợp đồng kiểm thử đơn vị cũng như những điểm mạnh và những hạn chế của chúng từ đó đề ra giải pháp kết hợp thiết kế theo hợp đồng và kiểm thử đơn vị. Công cụ csUnit được sử dụng để kiểm thử đơn vị cho các chương trình viết bằng ngôn ngữ C . Một thư viện được phát triển để hỗ trợ cho thiết kế theo hợp đồng cho các ngôn ngữ .NET. Bài báo đề xuất giải pháp kết hợp hai phương pháp này nhằm nâng cao chất lượng phần mềm hướng đối tượng. ABSTRACT In this paper we present some issues on contract design unit testing as well as the advantages and disadvantage. Hence we propose a combination of design by contract and unit testing. The csUnit tool is used to test units implemented in C language. A library is developed to support the design by contract for .NET languages. The paper shows how the quality of object oriented software is improved when combining the design by contract and unit testing. 1. Đặt vấn đề Trong lĩnh vực công nghệ phần mềm phát triển phần mềm ngày càng phức tạp yêu cầu chất lượng ngày càng cao hơn. Để nâng cao chất lượng phần mềm cần phải cải tiến tất cả các giai đoạn phân tích thiết kế lập trình kiểm thử bảo trì. Trong bài báo này chúng tôi tập trung nghiên cứu các giai đoạn thiết kế lập trình và kiểm thử. Một trong những công nghệ hỗ trợ cho giai đoạn thiết kế nhằm đảm bảo tính tin cậy cho phần mềm là thiết kế theo hợp đồng Design by Contract - DbC . Công nghệ này được dùng cho hệ thống phần mềm phát triển theo hướng đối tượng. Tuy nhiên thiết kế theo hợp đồng có những hạn chế nhất định. Những hạn chế này sẽ được trình bày cụ thể sau và sẽ được khắc phục khi dùng kết hợp với kiểm thử đơn vị. Còn hạn chế của kiểm thử đơn vị chính là kiểm thử đơn vị .