Luận văn thạc sĩ về kỹ thuật kiểm thử phần mềm dựa trên mô hình UML

Chuyên đề kỹ thuật kiểm thử phần mềm với mô hình UML, tiếp cận liên ngành, kết quả nghiên cứu có giá trị ứng dụng cao trong công nghệ

• Tác giả: Văn Thị Hồng Phúc
• Người hướng dẫn: PGS.TS Đặng Văn Đức
• Trường học: Đại học Quốc gia Hà Nội
• Chuyên ngành: Công nghệ thông tin
• Đề tài: Nghiên Cứu Kỹ Thuật Kiểm Thử Phần Mềm Với Mô Hình UML
• Loại tài liệu: luận văn thạc sĩ
• Năm xuất bản: 2009
• Địa điểm: Hà Nội

Mục lục chi tiết

• LỜI CẢM ƠN
• LỜI CAM ĐOAN
• 1. CHƯƠNG 1: GIỚI THIỆU
• 1.1. Giới thiệu nhiệm vụ chính của đề tài
• 1.2. Tình hình nghiên cứu trong và ngoài nước
• 1.3. Mục tiêu của luận văn
• 2. CHƯƠNG 2: MỘT SỐ KHÁI NIỆM CƠ BẢN
• 2.1. Phần mềm sử dụng cấu phần
• 2.2. Chuẩn kết hợp
• 2.3. Vòng đời phát triển phần mềm trên cơ sở cấu phần
• 2.4. Các mô hình cấu phần và dịch vụ cấu phần
• 2.4.1. Mô hình cấu phần
• 2.4.2. Sự cài đặt mô hình cấu phần và các dịch vụ
• 2.5. UML trong phát triển phần mềm
• 2.5.1. Mục tiêu của UML
• 2.5.2. Vai trò, vị trí của các lược đồ UML trong vòng đời phần mềm
• 2.5.3. Các công cụ xây dựng UML
• 2.6. Lý thuyết kiểm thử
• 2.6.1. Tại sao kiểm thử là cần thiết?
• 2.6.2. Nguyên nhân gây lỗi phần mềm
• 2.6.3. Vai trò của kiểm thử trong phát triển phần mềm
• 3. CHƯƠNG 3: KIỂM THỬ TRÊN CƠ SỞ CÁC MÔ HÌNH UML
• 3.1. Các thành phần của cấu phần
• 3.2. UML và kiểm thử
• 3.3. Kiểm thử phần mềm trên cơ sở cấu phần
• 3.4. Các khía cạnh kiểm thử
• 3.4.1. Khía cạnh cấu trúc của kiểm thử
• 3.4.2. Khía cạnh hành vi của kiểm thử
• 3.5. Mô hình kiểm thử trong phần mềm cấu phần
• 3.5.1. Mô hình tương tác
• 3.5.2. Mô hình hành vi
• 3.5.3. Cấu trúc điều khiển
• 3.5.4. Các quan hệ về tương tác dữ liệu
• 3.6. UML trong pha kiểm thử tích hợp
• 3.6.1. Mô hình áp dụng cho kiểm thử tích hợp phần mềm cấu phần
• 3.7. Các tiếp cận kiểm thử tích hợp trên cơ sở UML
• 4. CHƯƠNG 4: THỰC NGHIỆM KIỂM THỬ PHẦN MỀM
• 4.1. Sử dụng cấu phần Text trong Java
• 4.2. Quy trình xây dựng tài liệu kiểm thử dựa trên mô hình UML
• 4.3. Mô hình xây dựng use-case với bài toán thực tế
• 4.3.1. Xây dựng luồng nghiệp vụ trên cơ sở cách tiếp cận mô hình cộng tác/tuần tự
• 4.4. Xây dựng chương trình
• 4.5. Các bước thực hiện chương trình
• 4.6. Xây dựng các tình huống kiểm thử
• TÓM TẮT KẾT QUẢ CHÍNH ĐÃ ĐẠT ĐƯỢC
• TỒN TẠI VÀ HƯỚNG PHÁT TRIỂN
• TÀI LIỆU THAM KHẢO

Tóm tắt

I. Giới thiệu

Kiểm thử phần mềm là một giai đoạn quan trọng trong quy trình phát triển phần mềm. Kiểm thử phần mềm không chỉ giúp phát hiện lỗi mà còn đảm bảo rằng sản phẩm cuối cùng đáp ứng được yêu cầu của khách hàng. Nghiên cứu này tập trung vào việc áp dụng mô hình UML trong kiểm thử phần mềm, nhằm nâng cao hiệu quả và chất lượng của quy trình kiểm thử. Mô hình UML cung cấp các biểu đồ và ký pháp giúp hình dung rõ ràng các thành phần và mối quan hệ trong phần mềm, từ đó hỗ trợ cho việc kiểm thử. Việc áp dụng UML trong kiểm thử giúp giảm thiểu chi phí và thời gian phát triển phần mềm, đồng thời tăng cường khả năng phát hiện lỗi trong các giai đoạn khác nhau của quy trình phát triển.

1.1 Tình hình nghiên cứu trong và ngoài nước

Nghiên cứu về kiểm thử phần mềm đã được thực hiện rộng rãi trên thế giới. Các nghiên cứu trước đây đã chỉ ra rằng việc áp dụng UML trong kiểm thử có thể cải thiện đáng kể hiệu quả của quy trình này. Các nhà nghiên cứu như Freed Brooks đã chỉ ra rằng khủng hoảng phần mềm có thể được giảm thiểu thông qua việc áp dụng các phương pháp kiểm thử hiệu quả. Kiểm thử tự động và kiểm thử chức năng là hai trong số các phương pháp được nghiên cứu nhiều nhất. Việc áp dụng UML trong kiểm thử không chỉ giúp hình dung rõ ràng các yêu cầu mà còn hỗ trợ trong việc phát hiện lỗi sớm hơn trong quy trình phát triển.

II. Các khái niệm cơ bản

Để hiểu rõ hơn về kiểm thử phần mềm, cần nắm vững một số khái niệm cơ bản liên quan đến mô hình UML và quy trình phát triển phần mềm. Phân tích yêu cầu và thiết kế phần mềm là hai giai đoạn quan trọng trong quy trình phát triển. Mô hình hóa phần mềm thông qua UML giúp xác định các yêu cầu và chức năng của phần mềm một cách rõ ràng. Các biểu đồ như biểu đồ lớp, biểu đồ trạng thái và biểu đồ hoạt động đều có vai trò quan trọng trong việc mô tả hành vi và cấu trúc của phần mềm. Việc sử dụng UML trong kiểm thử giúp tạo ra các kịch bản kiểm thử rõ ràng và dễ hiểu, từ đó nâng cao khả năng phát hiện lỗi và cải thiện chất lượng phần mềm.

2.1 Phần mềm sử dụng cấu phần

Trong bối cảnh phát triển phần mềm hiện đại, công nghệ phần mềm trên cơ sở cấu phần (CBSE) đã trở thành một xu hướng quan trọng. Kiểm thử phần mềm dựa trên cấu phần giúp tối ưu hóa quy trình phát triển và giảm thiểu chi phí. Các cấu phần phần mềm có thể được phát triển và kiểm thử độc lập, sau đó được tích hợp vào hệ thống lớn hơn. Việc áp dụng UML trong quy trình này giúp xác định rõ ràng các giao diện và tương tác giữa các cấu phần, từ đó hỗ trợ cho việc kiểm thử tích hợp. Các phương pháp kiểm thử như kiểm thử hệ thống và kiểm thử chấp nhận cũng được cải thiện nhờ vào việc sử dụng UML.

III. Kiểm thử trên cơ sở các mô hình UML

Kiểm thử phần mềm trên cơ sở mô hình UML mang lại nhiều lợi ích cho quy trình phát triển. Các biểu đồ UML như biểu đồ tương tác và biểu đồ trạng thái giúp mô tả hành vi của phần mềm một cách trực quan. Việc áp dụng các mô hình này trong kiểm thử giúp xác định các kịch bản kiểm thử một cách hiệu quả. Kiểm thử chức năng và kiểm thử hiệu suất có thể được thực hiện dựa trên các mô hình UML, từ đó nâng cao khả năng phát hiện lỗi và cải thiện chất lượng phần mềm. Hơn nữa, việc sử dụng UML trong kiểm thử giúp giảm thiểu rủi ro và tăng cường khả năng đáp ứng yêu cầu của khách hàng.

3.1 Các khía cạnh kiểm thử

Các khía cạnh kiểm thử bao gồm kiểm thử cấu trúc và kiểm thử hành vi. Kiểm thử cấu trúc tập trung vào việc kiểm tra các thành phần bên trong của phần mềm, trong khi kiểm thử hành vi chú trọng đến cách mà phần mềm tương tác với người dùng và các hệ thống khác. Việc áp dụng UML giúp mô tả rõ ràng các khía cạnh này, từ đó hỗ trợ cho việc phát hiện lỗi và cải thiện chất lượng phần mềm. Các biểu đồ UML như biểu đồ lớp và biểu đồ hoạt động có thể được sử dụng để xác định các kịch bản kiểm thử và đảm bảo rằng phần mềm hoạt động đúng như mong đợi.

IV. Thực nghiệm kiểm thử phần mềm

Thực nghiệm kiểm thử phần mềm là một phần quan trọng trong nghiên cứu này. Việc áp dụng UML trong thực nghiệm kiểm thử giúp xác định rõ ràng các yêu cầu và chức năng của phần mềm. Các cấu phần phần mềm được phát triển và kiểm thử dựa trên các mô hình UML, từ đó nâng cao khả năng phát hiện lỗi và cải thiện chất lượng phần mềm. Quy trình xây dựng tài liệu kiểm thử dựa trên mô hình UML cũng được thực hiện để đảm bảo rằng các kịch bản kiểm thử được xác định rõ ràng và dễ hiểu. Kết quả thực nghiệm cho thấy việc áp dụng UML trong kiểm thử phần mềm mang lại nhiều lợi ích cho quy trình phát triển.

4.1 Quy trình xây dựng tài liệu kiểm thử

Quy trình xây dựng tài liệu kiểm thử dựa trên mô hình UML bao gồm các bước như phân tích yêu cầu, thiết kế kịch bản kiểm thử và thực hiện kiểm thử. Việc sử dụng UML giúp xác định rõ ràng các yêu cầu và chức năng của phần mềm, từ đó hỗ trợ cho việc xây dựng các kịch bản kiểm thử. Các biểu đồ UML như biểu đồ trạng thái và biểu đồ tương tác có thể được sử dụng để mô tả hành vi của phần mềm, từ đó nâng cao khả năng phát hiện lỗi và cải thiện chất lượng phần mềm. Kết quả thực nghiệm cho thấy quy trình này giúp giảm thiểu rủi ro và tăng cường khả năng đáp ứng yêu cầu của khách hàng.

Nội dung chính

Tổng quan nghiên cứu

Trong bối cảnh phát triển phần mềm hiện đại, kiểm thử phần mềm đóng vai trò thiết yếu nhằm đảm bảo chất lượng và độ tin cậy của sản phẩm. Theo ước tính, hơn 70% hệ thống phần mềm mới được phát triển dựa trên công nghệ phần mềm trên cơ sở cấu phần (CBSE), trong đó các cấu phần thường được phát triển theo hướng đối tượng và có thể chạy trên nhiều môi trường khác nhau. Tuy nhiên, việc kiểm thử các hệ thống này gặp nhiều thách thức do tính phân tán, đa ngôn ngữ và không có mã nguồn mở của các cấu phần. Luận văn tập trung nghiên cứu kỹ thuật kiểm thử phần mềm dựa trên mô hình UML (Unified Modeling Language) nhằm nâng cao hiệu quả kiểm thử trong phát triển phần mềm cấu phần.

Mục tiêu chính của nghiên cứu là khảo sát các kỹ thuật kiểm thử phần mềm, áp dụng mô hình UML vào kiểm thử phần mềm trên cơ sở cấu phần, đồng thời thực nghiệm kiểm thử một thiết kế phần mềm cụ thể. Phạm vi nghiên cứu tập trung vào các kỹ thuật kiểm thử đơn vị, tích hợp, hệ thống và chấp nhận, với trọng tâm là kiểm thử tích hợp dựa trên các biểu đồ UML. Nghiên cứu được thực hiện trong bối cảnh phát triển phần mềm tại Việt Nam, với dữ liệu và ví dụ thực tế từ các cấu phần Java và mô hình giao dịch ATM.

Ý nghĩa của nghiên cứu thể hiện qua việc giảm chi phí phát triển, rút ngắn vòng đời phần mềm, tăng tính mềm dẻo và khả năng bảo trì hệ thống. Việc ứng dụng mô hình UML trong kiểm thử giúp chuẩn hóa quy trình, nâng cao độ chính xác và khả năng phát hiện lỗi sớm, từ đó cải thiện chất lượng sản phẩm phần mềm.

Cơ sở lý thuyết và phương pháp nghiên cứu

Khung lý thuyết áp dụng

Luận văn dựa trên hai khung lý thuyết chính: công nghệ phần mềm trên cơ sở cấu phần (CBSE) và ngôn ngữ mô hình hóa thống nhất UML.

• Công nghệ phần mềm trên cơ sở cấu phần (CBSE): CBSE là phương pháp phát triển phần mềm bằng cách thu thập, tái sử dụng và tích hợp các cấu phần phần mềm độc lập. CBSE bao gồm các giai đoạn phân tích, thiết kế, phát triển, kiểm thử, triển khai và bảo trì cấu phần. Các khái niệm quan trọng gồm đặc tả cấu phần, giao diện cung ứng và yêu cầu, chuẩn tương tác và chuẩn kết hợp, vòng đời phần mềm cấu phần (CSLC). CBSE giúp giảm chi phí, tăng tốc độ phát triển và nâng cao chất lượng phần mềm.

• Ngôn ngữ mô hình hóa thống nhất (UML): UML là chuẩn công nghiệp để mô hình hóa các hệ thống hướng đối tượng, cung cấp các biểu đồ như biểu đồ lớp, biểu đồ trạng thái, biểu đồ hoạt động, biểu đồ use case và biểu đồ tuần tự. UML hỗ trợ mô tả cấu trúc, hành vi và tương tác của phần mềm, được sử dụng xuyên suốt vòng đời phát triển phần mềm từ phân tích, thiết kế đến kiểm thử và bảo trì. Hồ sơ kiểm thử UML mở rộng siêu mô hình UML để mô tả các tình huống kiểm thử, điều kiện trước và sau, tham số đầu vào/ra.

Các khái niệm chuyên ngành được sử dụng bao gồm: cấu phần phần mềm, mô hình cấu phần, chuẩn tương tác, chuẩn kết hợp, vòng đời phần mềm cấu phần (CSLC), kiểm thử đơn vị, kiểm thử tích hợp, kiểm thử hệ thống, kiểm thử chấp nhận, lược đồ UML, hồ sơ kiểm thử UML, mô hình tương tác cấu phần (CIG).

Phương pháp nghiên cứu

Nghiên cứu sử dụng phương pháp kết hợp giữa khảo sát lý thuyết, phân tích mô hình và thực nghiệm kiểm thử phần mềm.

• Nguồn dữ liệu: Tài liệu lý thuyết về CBSE và UML, các chuẩn công nghiệp như CORBA, COM, JavaBeans; dữ liệu thực nghiệm từ việc kiểm thử cấu phần Text trong Java và mô hình giao dịch ATM.

• Phương pháp phân tích: Phân tích các mô hình UML để xây dựng các tình huống kiểm thử, áp dụng hồ sơ kiểm thử UML để mô tả ca kiểm thử, sử dụng mô hình tương tác và mô hình hành vi để kiểm thử tích hợp cấu phần. So sánh vòng đời phát triển phần mềm truyền thống và CBSE để đánh giá hiệu quả kiểm thử.

• Timeline nghiên cứu: Nghiên cứu lý thuyết và khảo sát tài liệu trong giai đoạn đầu, xây dựng mô hình kiểm thử dựa trên UML trong giai đoạn giữa, thực nghiệm kiểm thử phần mềm cấu phần và đánh giá kết quả trong giai đoạn cuối.

• Cỡ mẫu và chọn mẫu: Thực nghiệm kiểm thử tập trung vào các cấu phần phần mềm có sẵn trong Java (ví dụ JTextComponent) và mô hình bài toán thực tế quản lý giao dịch ATM, lựa chọn dựa trên tính đại diện và khả năng áp dụng mô hình UML.

Phương pháp nghiên cứu đảm bảo tính khoa học, khả thi và ứng dụng thực tế trong phát triển phần mềm cấu phần tại Việt Nam.

Kết quả nghiên cứu và thảo luận

Những phát hiện chính

1. Hiệu quả của mô hình UML trong kiểm thử phần mềm cấu phần: Việc sử dụng các biểu đồ UML như biểu đồ use case, biểu đồ tuần tự, biểu đồ trạng thái giúp xây dựng các tình huống kiểm thử rõ ràng, có cấu trúc. Ví dụ, mô hình use case quản lý giao dịch ATM được sử dụng để xác định các ca kiểm thử chức năng như rút tiền, gửi tiền, kiểm tra số dư. Kết quả thực nghiệm cho thấy việc xây dựng tình huống kiểm thử dựa trên UML giúp phát hiện lỗi sớm và giảm thiểu sai sót trong quá trình tích hợp cấu phần.

2. Tăng tính chính xác và bao phủ kiểm thử: Hồ sơ kiểm thử UML mở rộng cung cấp các điều kiện trước, điều kiện sau và tham số đầu vào/ra cho từng ca kiểm thử, giúp tăng độ chính xác và khả năng bao phủ kiểm thử. So với phương pháp kiểm thử truyền thống, việc áp dụng UML giúp giảm thiểu các lỗi lặp lại và tăng khả năng phát hiện lỗi mới.

3. Giảm chi phí và thời gian kiểm thử: So với vòng đời phát triển phần mềm truyền thống, vòng đời phát triển CBSE rút ngắn thời gian phát triển và kiểm thử do tái sử dụng cấu phần. Chi phí sửa lỗi giảm đáng kể khi lỗi được phát hiện sớm qua kiểm thử dựa trên mô hình UML. Ví dụ, chi phí sửa lỗi tăng gấp nhiều lần khi lỗi được phát hiện muộn trong giai đoạn bảo trì.

4. Khó khăn trong việc áp dụng UML cho kiểm thử: Một số mô hình UML thiếu chi tiết cần thiết cho việc xây dựng tình huống kiểm thử, đòi hỏi kiểm thử viên có kiến thức sâu rộng để hiểu và chỉnh sửa mô hình. Ngoài ra, việc tự động hóa kiểm thử dựa trên UML còn hạn chế do thiếu công cụ tích hợp hoàn chỉnh.

Thảo luận kết quả

Nguyên nhân của các phát hiện trên xuất phát từ bản chất của CBSE và UML. CBSE tập trung vào tái sử dụng cấu phần, do đó kiểm thử tích hợp trở thành khâu then chốt để đảm bảo tính tương thích và chính xác khi các cấu phần kết hợp. UML cung cấp ngôn ngữ mô hình hóa chuẩn, giúp mô tả rõ ràng các yêu cầu và hành vi phần mềm, từ đó hỗ trợ xây dựng các ca kiểm thử có hệ thống.

So sánh với các nghiên cứu trong ngành, kết quả phù hợp với báo cáo của các tổ chức công nghiệp về lợi ích của CBSE và UML trong kiểm thử. Việc áp dụng mô hình UML giúp giảm chi phí sửa lỗi và tăng chất lượng phần mềm, đồng thời nâng cao khả năng bảo trì và mở rộng hệ thống.

Ý nghĩa của kết quả nghiên cứu là tạo ra một phương pháp luận kiểm thử phần mềm dựa trên mô hình UML phù hợp với thực tế phát triển phần mềm cấu phần tại Việt Nam, góp phần nâng cao chất lượng sản phẩm và hiệu quả phát triển.

Dữ liệu có thể được trình bày qua các biểu đồ chi phí sửa lỗi theo giai đoạn phát triển, bảng so sánh các loại kiểm thử và mức độ hỗ trợ của UML, cũng như sơ đồ mô hình use case và mô hình tuần tự cho bài toán thực nghiệm.

Đề xuất và khuyến nghị

1. Xây dựng quy trình kiểm thử dựa trên mô hình UML: Đề xuất các tổ chức phát triển phần mềm áp dụng quy trình kiểm thử tích hợp sử dụng các biểu đồ UML như use case, tuần tự, trạng thái để xây dựng tình huống kiểm thử. Mục tiêu là tăng độ chính xác và bao phủ kiểm thử, giảm thiểu lỗi tích hợp. Thời gian triển khai: 6-12 tháng. Chủ thể thực hiện: các phòng phát triển và kiểm thử phần mềm.

2. Đào tạo nâng cao năng lực kiểm thử viên về UML: Tổ chức các khóa đào tạo chuyên sâu về mô hình hóa UML và kỹ thuật kiểm thử dựa trên mô hình cho đội ngũ kiểm thử viên và lập trình viên. Mục tiêu nâng cao kiến thức chuyên môn, giảm rủi ro do thiếu hiểu biết mô hình. Thời gian: 3-6 tháng. Chủ thể: các trung tâm đào tạo, doanh nghiệp phần mềm.

3. Phát triển và tích hợp công cụ hỗ trợ kiểm thử UML: Khuyến khích nghiên cứu và phát triển các công cụ tự động hóa kiểm thử dựa trên mô hình UML, tích hợp với môi trường phát triển hiện có như IDE, hệ thống quản lý cấu hình. Mục tiêu tăng hiệu quả kiểm thử, giảm thời gian và chi phí. Thời gian: 12-18 tháng. Chủ thể: các viện nghiên cứu, doanh nghiệp công nghệ.

4. Xây dựng kho lưu trữ và quản lý cấu phần: Thiết lập hệ thống lưu trữ, quản lý và cập nhật các cấu phần phần mềm đã kiểm thử, kèm theo tài liệu đặc tả giao diện và tình huống kiểm thử. Mục tiêu hỗ trợ tái sử dụng cấu phần hiệu quả, giảm chi phí phát triển. Thời gian: 6-12 tháng. Chủ thể: các tổ chức phát triển phần mềm, trung tâm công nghệ.

Đối tượng nên tham khảo luận văn

1. Nhà phát triển phần mềm cấu phần: Luận văn cung cấp kiến thức về kỹ thuật kiểm thử dựa trên mô hình UML, giúp họ xây dựng quy trình kiểm thử hiệu quả, giảm lỗi tích hợp và nâng cao chất lượng sản phẩm.

2. Kiểm thử viên phần mềm: Tài liệu giúp kiểm thử viên hiểu rõ các phương pháp kiểm thử dựa trên mô hình UML, cách xây dựng tình huống kiểm thử chi tiết và áp dụng trong thực tế, từ đó nâng cao năng lực kiểm thử.

3. Quản lý dự án phần mềm: Giúp các nhà quản lý hiểu rõ lợi ích của CBSE và kiểm thử dựa trên UML trong việc giảm chi phí, rút ngắn thời gian phát triển, từ đó đưa ra quyết định chiến lược phù hợp cho dự án.

4. Giảng viên và sinh viên ngành Công nghệ phần mềm: Luận văn là tài liệu tham khảo quý giá cho việc giảng dạy và nghiên cứu về kiểm thử phần mềm, mô hình hóa UML và phát triển phần mềm cấu phần, cung cấp kiến thức lý thuyết và thực tiễn.

Câu hỏi thường gặp

1. Tại sao kiểm thử phần mềm trên cơ sở cấu phần lại khó khăn hơn so với phần mềm truyền thống?
   Do các cấu phần thường được phát triển độc lập, sử dụng ngôn ngữ và môi trường khác nhau, không có mã nguồn mở, nên việc kiểm thử tích hợp và tương tác giữa các cấu phần phức tạp hơn nhiều so với phần mềm truyền thống.

2. UML hỗ trợ kiểm thử phần mềm như thế nào?
   UML cung cấp các biểu đồ mô tả cấu trúc và hành vi phần mềm như biểu đồ use case, tuần tự, trạng thái, giúp xây dựng các tình huống kiểm thử chi tiết, xác định điều kiện trước/sau và tham số đầu vào/ra, từ đó nâng cao hiệu quả kiểm thử.

3. Kiểm thử dựa trên mô hình UML có thể tự động hóa được không?
   Hiện nay, một số công cụ hỗ trợ tự động hóa kiểm thử dựa trên UML đã được phát triển, nhưng vẫn còn hạn chế về tính toàn diện và tích hợp. Việc tự động hóa hoàn toàn vẫn là thách thức và cần nghiên cứu thêm.

4. Chi phí sửa lỗi thay đổi như thế nào theo giai đoạn phát triển phần mềm?
   Chi phí sửa lỗi tăng dần theo thời gian phát hiện lỗi. Lỗi phát hiện sớm trong giai đoạn thiết kế có chi phí thấp, trong khi lỗi phát hiện muộn ở giai đoạn bảo trì hoặc sau bàn giao có chi phí cao gấp nhiều lần.

5. Làm thế nào để quyết định kiểm thử bao nhiêu là đủ?
   Quyết định dựa trên đánh giá rủi ro kỹ thuật và nghiệp vụ, ngân sách, thời gian dự án và mức độ ưu tiên các chức năng. Kiểm thử cần tập trung vào các phần có rủi ro cao và ảnh hưởng lớn đến chất lượng sản phẩm.

Kết luận

• Kiểm thử phần mềm trên cơ sở cấu phần là bước quan trọng để đảm bảo chất lượng và tính ổn định của hệ thống phần mềm hiện đại.
• Mô hình UML cung cấp công cụ mô hình hóa hiệu quả, hỗ trợ xây dựng các tình huống kiểm thử chi tiết và có hệ thống.
• Việc áp dụng kỹ thuật kiểm thử dựa trên UML giúp giảm chi phí sửa lỗi, rút ngắn thời gian phát triển và nâng cao chất lượng phần mềm.
• Thách thức chính là thiếu công cụ tự động hóa hoàn chỉnh và yêu cầu kiến thức chuyên sâu của kiểm thử viên.
• Các bước tiếp theo bao gồm phát triển công cụ hỗ trợ, đào tạo nhân lực và xây dựng quy trình kiểm thử chuẩn dựa trên mô hình UML.

Hành động ngay: Các tổ chức phát triển phần mềm nên bắt đầu áp dụng mô hình UML trong quy trình kiểm thử để nâng cao hiệu quả và chất lượng sản phẩm, đồng thời đầu tư đào tạo và phát triển công cụ hỗ trợ kiểm thử dựa trên mô hình.

Trích đoạn nội dung tài liệu

Chương 1: Giới thiệu 1. Giới thiệu nhiệm vụ chính của đề tài Kiểm thử là một khâu không thể thiếu trong quá trình phát triển phần mềm. Nhiều hệ thống phần mềm thất bại là do không tìm ra lỗi. Nguồn lực sử dụng cho khâu kiểm thử là một yêu cầu khá lớn trong quá trình phát triển phần mềm.

Quá trình kiểm thử yêu cầu một số pha kết hợp gồm: kiểm thử đơn vị, kiểm thử tích hợp, kiểm thử hệ thống, và kiểm thử chấp nhận. Quy trình kiểm thử được xây dựng nhằm đạt các mục tiêu chính như sau:  Xem xét các yêu cầu đưa ra bởi khách hàng, đối chiếu với sản phẩm phần mềm được lập trình bởi lập trình viên.  Phát hiện các sai sót hoặc lỗi trong phần mềm mà ở đó hành vi phần mềm là không đúng, hoặc không tuân theo các đặc tả của nó. Phương pháp hướng đối tượng (Object-Oriented) đã thể hiện rõ tính ưu việt trong phát triển phần mềm.

Trong đó, tính đóng gói, trừu tượng hóa và tính sử dụng lại làm tăng chất lượng phần mềm. Theo Paul Allen thì hiện nay có đến hơn 70% hệ thống phần mềm mới được phát triển dựa trên cơ sở cấu phần. Các cấu phần thường được phát triển theo hướng đối tượng và được viết bằng các ngôn ngữ khác nhau, chạy trên các môi trường khác nhau, có thể phân tán khắp nơi và người phát triển phần mềm mới không được cung cấp các mã nguồn. Các đặc tính này là nguyên nhân gây nhiều khó khăn trong việc kiểm thử hệ thống phần mềm.

Để tăng tính mềm dẻo khi nhìn nhận các chức năng, đặc điểm phần mềm xây dựng, chúng ta sử dụng ngôn ngữ mô hình hóa chuẩn UML. Ngôn ngữ mô hình hóa thống nhất (UML – Unified Modeling Language) được công nhận là chuẩn công nghiệp cho việc phân tích và thiết kế các hệ thống hướng đối tượng. UML cung cấp các ký pháp biểu đồ thể hiện các thông tin thiết kế dưới các góc độ nhìn hệ thống. Trong những năm gần đây, đã có nhiều nghiên cứu sử dụng mô hình UML như nguồn thông tin đầu vào cho kiểm thử phần mềm.

Thí dụ, biểu đồ trạng thái UML được sử dụng biểu diễn hành vi bên trong của các đối tượng thành phần, các biểu đồ tương tác được được ứng dụng trong kiểm thử tương tác các lớp trong cấu phần. Biểu đồ hoạt động biểu diễn quan hệ giữa các thành phần trong cấu phần. Thực tế cho thấy phương pháp Phát triển phần mềm theo cấu phần đã làm giảm chi phí của dự án phát triển phần mềm. So với công nghệ truyền thống chuẩn, công nghệ phần mềm trên cơ sở cấu phần quan tâm đến cách xây dựng phần mềm nhiều hơn.

Thông qua việc sử dụng lại các cấu phần, vòng đời phát triển phần mềm được rút ngắn lại, đồng thời tăng tính mềm dẻo khi sử dụng và z 2 bảo trì phần mềm. Hơn nữa, phát triển phần mềm có khả năng làm tăng chất lượng phần mềm. Với tầm quan trọng như trên, đã có nhiều kết quả nghiên cứu lý thuyết và sản phẩm công cụ hỗ trợ phát triển phần mềm trên cơ sở cấu phần. Nội dung luận văn này nhằm mục tiêu khảo sát các vấn đề cơ bản và kỹ thuật phát triển phần mềm theo cấu phần.

Đặc biệt luận văn tập trung vào kỹ thuật kiểm thử phần mềm phát triển dựa theo cấu phần với mục đích hướng tới ứng dụng thực tế tại Việt Nam. Tình hình nghiên cứu trong và ngoài nước Năm 1975 Freed Brooks, một nhà quản lý dự án IBM, viết cuốn The Mythical Man-month. Bài luận ngắn trong trong cuốn sách này mô tả những khó khăn khi phát triển phần mềm phức tạp, Brooks viết một chương với tiêu đề là “No Silver Bullet” giải thích rằng các hệ thống phần mềm là phức tạp. Ông dự đoán sẽ không có kỹ thuật nào là duy nhất – no silver bullet – mà nó có thể cải thiện năng suất theo danh sách yêu cầu cho mọi hệ thống.

Trong chương này, Brooker trích dẫn ra các lý do gây nên “khủng hoảng phần mềm”, và khủng hoảng này sẽ còn tiếp tục cho đến khi một kỹ thuật mới như công nghệ phần mềm trên cơ sở cấu phần (CBSE – Component based software engineering) trở nên có tính khoa học và nó thực sự dựa trên tính khoa học. Và như thế, CBSE đã đưa ra được “Những bài học hay nhất” về sản phẩm công nghệ phần mềm trong suốt 30 năm tiếp theo. Brooks trình bày 2 phương pháp khả thi giúp giảm mức độ phức tạp của phần mềm đó là “Buy before Build” và “Reuse before Buy”. Các khái niệm mấu chốt được đưa ra nhằm giúp giảm được chi phí trong công nghệ phát triển phần mềm.

Trong hội nghị thảo luận năm 1968, NATO đã tham gia tranh luận về thuật ngữ khủng hoảng phần mềm. Thêm nhiều thuật ngữ khó hiểu như kẽ hở phần mềm, … các thuật ngữ này dần dần được làm rõ khi trong quá trình phát triển công nghệ phần mềm. Theo David và Fraser phát biểu năm 1968, “ Kẽ hở được phát hiện tại thời điểm khi mà hậu quả việc hỏng hóc phần mềm tăng theo mọi mức độ nghiêm trọng”. Để phát triển phần mềm trên cơ sở cấu phần chúng ta phải học cách xây dựng các cấu phần đó dựa vào các yêu cầu, hoặc dựa trên việc thiết kế các module thành phần hay các thiết kế trực tiếp các cấu phần.

Các khách hàng đặt hàng (các cấu phần) và việc tích hợp các cấu phần cung cấp bởi nhà sản xuất sẽ đảm bảo rằng nó đáp ứng được yêu cầu khách hàng với các mong muốn họ đưa ra. Khái niệm về mô hình của cấu phần phần mềm được phát triển rộng rãi bởi BradCox và đặt nền móng cho việc tạo một hạ tầng phát triển các cấu phần này z 3 dựa trên ngôn ngữ lập trình C (Nội dung được đúc kết trong cuốn sách Object- Oriented Programming – An Evolution Approach 1986) IBM tiên phong mở ra lối nghiên cứu về Mô hình đối tượng hệ thống ngay đầu những năm 1990. Một số các đóng góp được ứng dụng trong phần mềm cấu phần đó là OLE và COM. Mô hình cấu phần phần mềm vẫn tiếp tục thu được những thành quả đáng kể.

Mục tiêu của luận văn Luận văn này nhằm mục tiêu nghiên cứu khảo sát sơ bộ các kỹ thuật kiểm thử phần mềm, với giải pháp áp dụng các mô hình UML vào kiểm thử phần mềm trên cơ sở cấu phần. Từ đó, áp dụng các kết quả nghiên cứu lý thuyết vào thực nghiệm kiểm thử một thiết kế phần mềm cụ thể mà luận văn đưa ra. Nội dung nghiên cứu tập trung vào một số vấn đề sau: 1) Tổng quan về các vấn đề cơ bản của kiểm thử phần mềm, các nguyên tắc kiểm thử. Tổng quan về phát triển phần mềm dựa trên cấu phần, bao gồm các khái niệm cơ bản như cấu phần, chuẩn tương tác, chuẩn kết hợp, cài đặt mô hình cấu phần, các mô hình cấu phần - dịch vụ cấu phần, tiếp cận UML, và vai trò của UML đặc tả thiết kế, ứng dụng vào kiểm thử.

2) Nghiên cứu phương pháp luận kiểm thử phần mềm trên cơ sở cấu phần, bao gồm mô hình kiểm thử đối với phần mềm dựa trên cấu phần, kiểm thử tích hợp trên cơ sở các mô hình UML đối với phần mềm phát triển trên cấu phần. Xây dựng các biểu đồ UML hỗ trợ ca kiểm thử tích hợp. 3) Phát triển thực nghiệm kiểm thử phần mềm trên cơ sở sử dụng các cấu phần có sẵn dựa trên bài toán ứng dụng được đưa ra; xây dựng các pha phân tích, thiết kế và kiểm thử. z 4 Chương 2: Một số khái niệm cơ bản Lập trình hướng cấu phần (COP – Component oriented programming) và công nghệ phần mềm trên cơ sở cấu phần (CBSE – Component based software engineering) đôi khi có thể hiểu là một.

Tuy nhiên, CBSE là thuật ngữ rộng hơn, và COP chỉ là một phần trong đó. CBSE = COA + COD + COP + COM Trong đó COA (component oriented analysis), COD (Component oriented design) và COM (Component oriented management) thể hiện các thuật ngữ về phân tích hướng cấu phần, thiết kế hướng cấu phần và quản lý hướng cấu phần. Mục tiêu của CBSE là phát triển phần mềm một cách nhanh chóng, và giảm chi phí bằng cách xây dựng các hệ thống thông qua việc thu thập các cấu phần có sẵn. Thiết kế, phát triển, và duy trì các cấu phần nhằm mục đích sử dụng lại là một quy trình rất phức tạp, với các yêu cầu ở mức cao không chỉ đáp ứng được tính chức năng và mềm dẻo cấu phần mà còn đáp ứng việc phát triển phần mềm một cách có tổ chức.

CBSE bao gồm rất nhiều các nguyên tắc công nghệ phần mềm và các kỹ thuật khác nhau. Trong công nghệ phần mềm truyền thống, quy trình phát triển phần mềm bao gồm các hoạt động hoặc các trạng thái tuần tự, cách đặt tên, phân tích, thiết kế, ngôn ngữ lập trình, kiểm thử, và tích hợp. Trong CBSE, các giai đoạn phát triển chính vẫn tuân thủ theo các bước thực hiện như quy trình phát triển truyền thống, và bổ sung thêm bước tập hợp và lắp ghép các cấu phần. Ta có thể nhận thấy rằng, điểm nổi bật trong CBSE so với công nghệ phần mềm truyền thống chính nằm ở hướng thiết kế, bước thu thập và lắp ghép các cấu phần vào việc xây dựng một hệ thống hoàn thiện.

Dưới cách nhìn về các cấu phần, có 2 loại hoạt động căn bản đó là: Phát triển cấu phần để sử dụng lại (DF – Developing for reuse) và sử dụng lại các cấu phần đã có sẵn (DW - Developing with reuse). Với việc phát triển cấu phần để sử dụng lại có thể được tổ chức theo cách tiếp cận công nghệ phần mềm truyền thống, nhấn mạnh vào các chuẩn cấu phần. Mỗi cấu phần cung cấp 2 loại giao diện: (1) giao diện cung ứng – định nghĩa các dịch vụ quảng bá cấu phần này sẽ cung ứng và (2) giao diện yêu cầu – đặc tả các dịch vụ mà cấu phần cần đến để thể hiện khả năng làm việc. z 5 Theo các nhìn hướng quy trình công nghệ, có 5 cách định nghĩa khác nhau trong CBSE: 1.

Đặc tả cấu phần (Component specification): Nó thể hiện đơn vị đặc tả của phần mềm, mô tả hành vi của tập các đối tượng cấu phần và định nghĩa một đơn vị thực hiện. Hành vi được định nghĩa dưới dạng tập các giao diện. Một đặc tả cấu phần được nhận diện dưới dạng một thực thi cấu phần. Giao diện cấu phần (Component interface): Giao diện thể hiện định nghĩa tập các hành vi có thể được cung ứng thông qua một đối tượng cấu phần.