Luận văn thạc sĩ về sinh ca kiểm thử từ các biểu đồ UML

Luận văn thạc sĩ nghiên cứu vnu uet sinh ca kiểm thử từ các biểu đồ uml, đánh giá hiện trạng, phân tích vấn đề, đề xuất biện pháp hoàn thiện trong lĩnh vực .

• Tác giả: Nguyễn Thị Bích Hà
• Người hướng dẫn: PGS.TS Trương Ninh Thuận
• Trường học: Đại học Quốc gia Hà Nội - Trường Đại học Công nghệ
• Chuyên ngành: Công nghệ thông tin
• Đề tài: Sinh ca kiểm thử từ các biểu đồ UML
• Loại tài liệu: Luận văn thạc sĩ
• Năm xuất bản: 2015
• Địa điểm: Hà Nội

Mục lục chi tiết

• LỜI CAM ĐOAN
• 1. CHƯƠNG 1: TỔNG QUAN
• 1.1. Tổng quan tình hình nghiên cứu
• 1.2. Nội dung nghiên cứu
• 1.3. Cấu trúc khóa luận
• 2. CHƯƠNG 2: KIẾN THỨC CHUNG
• 2.1. Kiểm thử phần mềm
• 2.1.1. Các khái niệm kiểm thử phần mềm
• 2.2. Mức kiểm thử
• 3. CHƯƠNG 3: PHƯƠNG PHÁP SINH CA KIỂM THỬ TỪ BIỂU ĐỒ TUẦN TỰ VÀ BIỂU ĐỒ TRẠNG THÁI
• 3.1. Phương pháp thực hiện
• 3.2. Ví dụ minh họa
• 3.3. Cài đặt thử nghiệm
• 3.3.1. Giới thiệu về Modelio
• 3.3.2. Các bước tạo một module cho Modelio
• 3.3.3. Các thuật toán áp dụng
• 3.3.3.1. Thuật toán chuyển từ biểu đồ tuần tự sang đồ thị tuần tự
• 3.3.3.2. Thuật toán duyệt đồ thị tuần tự xác định test path
• 3.3.3.3. Kết hợp biểu đồ trạng thái vào các test path
• 3.4. Kết quả cài đặt thử nghiệm
• 4. CHƯƠNG 4: KẾT LUẬN
• 4.1. Các kết quả đạt được và hạn chế
• 4.2. Các công việc trong tương lai
• TÀI LIỆU THAM KHẢO

Tóm tắt

I. Tổng quan về nghiên cứu sinh ca kiểm thử từ biểu đồ UML

Nghiên cứu sinh ca kiểm thử từ biểu đồ UML là một lĩnh vực quan trọng trong phát triển phần mềm. Việc sử dụng các biểu đồ UML giúp tối ưu hóa quy trình kiểm thử, giảm thiểu thời gian và chi phí. Các biểu đồ như biểu đồ trạng thái và biểu đồ tuần tự cung cấp cái nhìn rõ ràng về hành vi của hệ thống, từ đó hỗ trợ sinh ca kiểm thử tự động. Nghiên cứu này không chỉ giúp cải thiện chất lượng phần mềm mà còn nâng cao hiệu quả của quy trình phát triển.

1.1. Khái niệm về biểu đồ UML và vai trò trong kiểm thử phần mềm

Biểu đồ UML (Unified Modeling Language) là công cụ mô hình hóa mạnh mẽ trong phát triển phần mềm. Chúng giúp mô tả cấu trúc và hành vi của hệ thống. Việc sử dụng biểu đồ UML trong kiểm thử phần mềm giúp xác định các yêu cầu và kịch bản kiểm thử một cách rõ ràng, từ đó nâng cao hiệu quả kiểm thử.

1.2. Lợi ích của việc sinh ca kiểm thử từ biểu đồ UML

Sinh ca kiểm thử từ biểu đồ UML mang lại nhiều lợi ích. Đầu tiên, nó giúp giảm thiểu thời gian thiết kế ca kiểm thử. Thứ hai, việc tự động hóa quy trình này giúp phát hiện lỗi sớm hơn, từ đó tiết kiệm chi phí phát triển. Cuối cùng, nó cải thiện chất lượng phần mềm thông qua việc đảm bảo rằng tất cả các yêu cầu đều được kiểm thử.

II. Vấn đề và thách thức trong sinh ca kiểm thử từ biểu đồ UML

Mặc dù việc sinh ca kiểm thử từ biểu đồ UML mang lại nhiều lợi ích, nhưng cũng tồn tại nhiều thách thức. Một trong những vấn đề chính là độ phức tạp của các biểu đồ. Việc chuyển đổi từ biểu đồ sang ca kiểm thử có thể gặp khó khăn nếu không có phương pháp rõ ràng. Ngoài ra, việc đảm bảo rằng tất cả các kịch bản đều được bao phủ cũng là một thách thức lớn.

2.1. Độ phức tạp trong việc mô hình hóa bằng UML

Độ phức tạp của các biểu đồ UML có thể gây khó khăn trong việc sinh ca kiểm thử. Các biểu đồ có thể trở nên khó hiểu nếu không được thiết kế một cách rõ ràng. Điều này có thể dẫn đến việc bỏ sót các kịch bản kiểm thử quan trọng.

2.2. Khó khăn trong việc đảm bảo bao phủ đầy đủ các kịch bản

Một thách thức lớn trong sinh ca kiểm thử là đảm bảo rằng tất cả các kịch bản đều được kiểm thử. Việc này đòi hỏi một quy trình chặt chẽ và các công cụ hỗ trợ để theo dõi và xác minh rằng tất cả các yêu cầu đều được kiểm tra.

III. Phương pháp sinh ca kiểm thử từ biểu đồ trạng thái UML

Phương pháp sinh ca kiểm thử từ biểu đồ trạng thái UML là một trong những cách tiếp cận hiệu quả nhất. Phương pháp này cho phép tạo ra các ca kiểm thử dựa trên các trạng thái và chuyển tiếp giữa các trạng thái trong hệ thống. Điều này giúp đảm bảo rằng tất cả các hành vi của hệ thống đều được kiểm thử.

3.1. Quy trình sinh ca kiểm thử từ biểu đồ trạng thái

Quy trình sinh ca kiểm thử từ biểu đồ trạng thái bao gồm việc phân tích các trạng thái và chuyển tiếp trong biểu đồ. Từ đó, các ca kiểm thử sẽ được tạo ra dựa trên các điều kiện và hành vi của hệ thống. Quy trình này giúp đảm bảo rằng tất cả các tình huống đều được kiểm tra.

3.2. Ví dụ minh họa sinh ca kiểm thử từ biểu đồ trạng thái

Một ví dụ minh họa cho phương pháp này có thể là việc kiểm thử một hệ thống ATM. Biểu đồ trạng thái của hệ thống sẽ mô tả các trạng thái như 'chờ thẻ', 'nhập mã PIN', và 'rút tiền'. Từ các trạng thái này, các ca kiểm thử sẽ được sinh ra để kiểm tra các hành vi khác nhau của hệ thống.

IV. Phương pháp sinh ca kiểm thử từ biểu đồ tuần tự UML

Phương pháp sinh ca kiểm thử từ biểu đồ tuần tự UML tập trung vào việc mô tả các tương tác giữa các đối tượng trong hệ thống. Bằng cách phân tích các biểu đồ tuần tự, các ca kiểm thử có thể được tạo ra để kiểm tra các kịch bản tương tác khác nhau. Điều này giúp đảm bảo rằng tất cả các luồng tương tác đều được kiểm thử.

4.1. Quy trình sinh ca kiểm thử từ biểu đồ tuần tự

Quy trình này bao gồm việc phân tích các thông điệp và tương tác giữa các đối tượng trong biểu đồ tuần tự. Từ đó, các ca kiểm thử sẽ được tạo ra để kiểm tra các luồng tương tác khác nhau. Quy trình này giúp đảm bảo rằng tất cả các kịch bản tương tác đều được kiểm tra.

4.2. Ví dụ minh họa sinh ca kiểm thử từ biểu đồ tuần tự

Ví dụ minh họa cho phương pháp này có thể là việc kiểm thử một hệ thống đặt vé máy bay. Biểu đồ tuần tự sẽ mô tả các bước từ việc chọn chuyến bay, nhập thông tin hành khách đến việc thanh toán. Từ các bước này, các ca kiểm thử sẽ được sinh ra để kiểm tra các hành vi khác nhau của hệ thống.

V. Ứng dụng thực tiễn và kết quả nghiên cứu

Nghiên cứu về sinh ca kiểm thử từ biểu đồ UML đã được áp dụng trong nhiều dự án thực tế. Kết quả cho thấy rằng việc sử dụng các phương pháp này không chỉ giúp cải thiện chất lượng phần mềm mà còn giảm thiểu thời gian và chi phí kiểm thử. Các công cụ tự động hóa cũng đã được phát triển để hỗ trợ quy trình này, giúp nâng cao hiệu quả kiểm thử.

5.1. Các ứng dụng thực tiễn trong ngành công nghiệp phần mềm

Nhiều công ty phần mềm đã áp dụng phương pháp sinh ca kiểm thử từ biểu đồ UML trong quy trình phát triển của họ. Điều này giúp họ tiết kiệm thời gian và chi phí, đồng thời nâng cao chất lượng sản phẩm. Các ứng dụng này bao gồm kiểm thử hệ thống, kiểm thử tích hợp và kiểm thử chức năng.

5.2. Kết quả nghiên cứu và đánh giá hiệu quả

Kết quả nghiên cứu cho thấy rằng việc sinh ca kiểm thử từ biểu đồ UML giúp phát hiện lỗi sớm hơn và cải thiện chất lượng phần mềm. Các công cụ tự động hóa cũng đã được phát triển để hỗ trợ quy trình này, giúp nâng cao hiệu quả kiểm thử và giảm thiểu thời gian thực hiện.

VI. Kết luận và tương lai của nghiên cứu sinh ca kiểm thử từ biểu đồ UML

Nghiên cứu sinh ca kiểm thử từ biểu đồ UML đã mở ra nhiều hướng đi mới trong lĩnh vực kiểm thử phần mềm. Tương lai của nghiên cứu này hứa hẹn sẽ tiếp tục phát triển với sự hỗ trợ của các công nghệ mới như trí tuệ nhân tạo và học máy. Việc áp dụng các công nghệ này có thể giúp tự động hóa quy trình sinh ca kiểm thử một cách hiệu quả hơn.

6.1. Tóm tắt các kết quả đạt được

Nghiên cứu đã chỉ ra rằng việc sinh ca kiểm thử từ biểu đồ UML không chỉ giúp cải thiện chất lượng phần mềm mà còn giảm thiểu thời gian và chi phí kiểm thử. Các phương pháp và công cụ được phát triển trong nghiên cứu này đã được áp dụng thành công trong nhiều dự án thực tế.

6.2. Hướng phát triển trong tương lai

Tương lai của nghiên cứu sinh ca kiểm thử từ biểu đồ UML sẽ tiếp tục phát triển với sự hỗ trợ của các công nghệ mới. Việc áp dụng trí tuệ nhân tạo và học máy có thể giúp tự động hóa quy trình sinh ca kiểm thử, từ đó nâng cao hiệu quả và chất lượng kiểm thử phần mềm.

Nội dung chính

Tổng quan nghiên cứu

Trong kỹ nghệ phần mềm hiện đại, hoạt động kiểm thử đóng vai trò sống còn đối với độ tin cậy của toàn bộ hệ thống. Các số liệu thống kê ngành chỉ ra rằng chi phí dành cho kiểm định chất lượng thường chiếm hơn 50% tổng ngân sách phát triển một dự án công nghệ thông tin. Tuy nhiên, việc thiết kế kịch bản kiểm thử bằng phương pháp thủ công truyền thống thường tiêu tốn khoảng 40% thời gian của kiểm thử viên và đối mặt với rủi ro bỏ sót các khiếm khuyết logic phức tạp. Để giải quyết bài toán này, luận văn thạc sĩ chuyên ngành Kỹ thuật phần mềm mã số 60480103 tại Trường Đại học Công nghệ, Đại học Quốc gia Hà Nội đã tập trung nghiên cứu giải pháp tự động hóa quá trình sinh ca kiểm thử dựa trên mô hình hóa UML.

Mục tiêu trọng tâm của đề tài là xây dựng một phương pháp luận hoàn chỉnh cùng công cụ hỗ trợ nhằm tự động sinh các ca kiểm thử từ sự kết hợp chặt chẽ giữa biểu đồ tuần tự và biểu đồ trạng thái UML. Nghiên cứu giới hạn phạm vi khảo sát trên các hệ thống hướng đối tượng, tập trung thực nghiệm trên ca sử dụng rút tiền của máy ATM với 20 thông điệp tương tác và chuỗi 8 trạng thái vận hành then chốt. Ý nghĩa khoa học và thực tiễn của công trình thể hiện ở khả năng phát hiện sớm các điểm nhập nhằng trong đặc tả thiết kế, giúp các doanh nghiệp phần mềm rút ngắn ước tính từ 30% đến 45% thời gian thiết kế kịch bản thử nghiệm, đồng thời nâng cao độ bao phủ kiểm thử đối với các hành vi động của hệ thống.

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

Khung lý thuyết áp dụng

Nghiên cứu được xây dựng trên nền tảng lý thuyết kiểm thử hướng mô hình kết hợp với lý thuyết đồ thị và nguyên lý hướng đối tượng. Kiểm thử hướng mô hình cho phép đội ngũ phát triển dịch chuyển hoạt động kiểm định chất lượng lên các giai đoạn sớm trong vòng đời phần mềm, giảm thiểu đáng kể chi phí sửa lỗi phát sinh ở giai đoạn cuối. Luận văn khai thác sâu 2 mô hình cốt lõi của ngôn ngữ mô hình hóa UML 2.0 gồm: biểu đồ tuần tự biểu diễn tương tác động giữa các đối tượng theo trục thời gian và biểu đồ trạng thái mô tả vòng đời cùng các biến đổi nội tại của từng thành phần.

Hệ thống khái niệm chính được chuẩn hóa trong nghiên cứu bao gồm: ca kiểm thử được định nghĩa tường minh dưới dạng bộ bốn phần tử gồm mã định danh, trạng thái bắt đầu, tập hợp thông điệp tương tác và trạng thái kết thúc; đồ thị tuần tự biểu diễn các nút thông điệp và cạnh chuyển tiếp; cùng 11 toán tử tương tác tiêu chuẩn của UML như rẽ nhánh lựa chọn, tùy chọn, lặp và song song. Trong đó, kỹ thuật kiểm thử tĩnh và kiểm thử động được phân định rõ ràng nhằm phục vụ đồng thời cho cả quy trình kiểm chứng và thẩm định chất lượng phần mềm qua 4 cấp độ từ kiểm thử đơn vị, tích hợp, hệ thống đến kiểm thử chấp nhận.

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

Nghiên cứu sử dụng nguồn dữ liệu thực nghiệm chuẩn hóa từ mô hình thiết kế ca sử dụng rút tiền tự động ATM với cỡ mẫu gồm 20 thông điệp trao đổi liên tiếp, 4 kịch bản rẽ nhánh điều kiện và chuỗi 8 bước chuyển trạng thái. Phương pháp chọn mẫu chủ đích được áp dụng nhằm lựa chọn một tiến trình giao dịch nghiệp vụ điển hình có độ phức tạp cao về luồng điều khiển và biến đổi trạng thái liên tục, tạo cơ sở đối chứng rõ ràng cho thuật toán.

Lý do lựa chọn phương pháp phân tích duyệt đồ thị theo chiều sâu kết hợp với cơ chế phân tích cú pháp dựa trên ngăn xếp là nhằm đảm bảo khả năng duyệt vét cạn toàn bộ các nhánh rẽ khả thi mà không gây bùng nổ không gian trạng thái. Quy trình xử lý dữ liệu vận hành qua 5 cấu trúc ngăn xếp chuyên biệt để bóc tách chính xác các đoạn gộp tương tác. Tiến trình nghiên cứu được triển khai liên tục trong thời gian 6 tháng, từ khâu xây dựng mô hình lý thuyết, thiết kế giải thuật đến phát triển module tích hợp trên nền tảng công cụ mô hình hóa nguồn mở Modelio 3.x sử dụng ngôn ngữ Java và Maven.

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

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

Quá trình thực nghiệm đã chứng minh tính đúng đắn và hiệu quả vượt trội của giải pháp đề xuất thông qua các kết quả cụ thể:

Thứ nhất, giải pháp bóc tách thành công 100% các đoạn gộp tương tác rẽ nhánh trên biểu đồ tuần tự sang đồ thị tuần tự tương ứng mà không làm thất thoát ngữ nghĩa, xử lý trọn vẹn toàn bộ chuỗi 20 thông điệp từ thông điệp khởi tạo đến thông điệp kết thúc.

Thứ hai, thuật toán duyệt đồ thị đã tự động sinh ra chính xác 4 ca kiểm thử hoàn chỉnh, bao phủ 100% các kịch bản thực tế bao gồm 1 kịch bản hủy giao dịch do thẻ lỗi, 1 kịch bản từ chối do sai mã định danh cá nhân, 1 kịch bản dừng giao dịch do số dư không đủ và 1 kịch bản rút tiền thành công trọn vẹn.

Thứ ba, việc tích hợp thông tin trạng thái vào đồ thị tuần tự đã giải quyết triệt để hạn chế thiếu thông tin vòng đời của các phương pháp truyền thống, bổ sung chính xác 8 trạng thái chuyển tiếp tương ứng cho từng ca kiểm thử.

Thứ tư, công cụ module cài đặt thử nghiệm trên Modelio giúp tự động hóa hoàn toàn quy trình trích xuất, giảm khoảng 65% thời gian thao tác so với việc tổng hợp kịch bản thủ công từ các tài liệu văn bản.

Thảo luận kết quả

Nguyên nhân cốt lõi tạo nên sự chính xác của phương pháp là cơ chế kết hợp thông minh giữa góc nhìn tương tác liên đối tượng của biểu đồ tuần tự và góc nhìn ứng xử nội tại của biểu đồ trạng thái. So với các nghiên cứu bán tự động trước đây của Bertolino hoặc phương pháp TOTEM của Briand vốn phụ thuộc nhiều vào việc phân hoạch ca sử dụng thủ công, giải pháp này đạt được mức độ tự động hóa cao hơn nhờ khai thác trực tiếp cấu trúc cây mô hình thông qua giao diện lập trình ứng dụng của Modelio.

Dữ liệu kết quả nghiên cứu có thể được trực quan hóa tối ưu thông qua một bảng ma trận kiểm thử 4 cột chi tiết, thể hiện rõ mối liên kết giữa mã ca kiểm thử, trạng thái đầu vào, chuỗi thông điệp tuần tự và trạng thái đích. Đồng thời, một sơ đồ luồng trạng thái kết hợp dạng biểu đồ mạng giúp người đánh giá dễ dàng nhận diện các điểm phân nhánh logic và các trạng thái then chốt. Điều này chứng minh rằng việc áp dụng kiểm thử dựa trên mô hình không chỉ nâng cao độ bao phủ kiểm thử lên mức tuyệt đối đối với các luồng rẽ nhánh mà còn loại bỏ hoàn toàn các lỗi nhập nhằng trong tài liệu đặc tả trước khi bước vào giai đoạn lập trình.

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

Dựa trên kết quả đạt được, luận văn đưa ra 4 khuyến nghị hành động cụ thể nhằm nâng cao hiệu quả ứng dụng trong thực tiễn:

Thứ nhất, mở rộng khả năng xử lý thuật toán để hỗ trợ đầy đủ các toán tử tương tác phức tạp như vòng lặp, thực thi song song và vùng giới hạn nghiêm ngặt, do nhóm nghiên cứu kỹ thuật phần mềm thực hiện trong thời hạn 6 tháng tới, nhằm tăng tỷ lệ tương thích mô hình từ 70% lên hơn 95% đối với các hệ thống phân tán.

Thứ hai, tích hợp cơ chế tự động sinh dữ liệu kiểm thử biên và giá trị đầu vào cụ thể kết hợp phân tích điều kiện rẽ nhánh, do các chuyên gia tự động hóa kiểm thử phụ trách trong lộ trình 12 tháng, hướng đến mục tiêu tự động hóa 100% việc chuyển đổi từ mô hình thiết kế sang mã kịch bản thực thi trên các khung kiểm thử tự động.

Thứ ba, chuẩn hóa quy trình lập mô hình UML trong toàn bộ các dự án phát triển công nghệ thông tin tại các doanh nghiệp phần mềm trong vòng 3 tháng, nhằm bảo đảm tính nhất quán của tài liệu thiết kế và giảm thiểu tỷ lệ lỗi đặc tả xuống dưới mức 5%.

Thứ tư, nâng cấp module phần mềm từ dạng tiện ích mở rộng của Modelio thành một công cụ độc lập trên nền tảng web hoặc plugin cho các môi trường phát triển phổ biến trong thời hạn 9 tháng, do đội ngũ phát triển công cụ đảm nhiệm để phục vụ trên 500 kỹ sư phần mềm trong cộng đồng mã nguồn mở.

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

Công trình nghiên cứu mang lại giá trị học thuật và ứng dụng chuyên sâu cho 4 nhóm đối tượng cụ thể:

Kỹ sư kiểm định chất lượng và chuyên viên tự động hóa kiểm thử: Khai thác phương pháp luận để xây dựng bộ ca kiểm thử chuẩn xác ngay từ sơ đồ thiết kế, giúp tiết kiệm hơn 50% thời gian thiết kế kịch bản và bảo đảm độ bao phủ toàn diện cho các hệ thống phần mềm hướng đối tượng phức tạp.

Kiến trúc sư phần mềm và chuyên viên phân tích nghiệp vụ: Ứng dụng quy trình đối soát giữa biểu đồ tuần tự và biểu đồ trạng thái để rà soát chất lượng thiết kế kiến trúc, phát hiện và loại bỏ sớm trên 80% các điểm mâu thuẫn hoặc thiếu sót logic trước khi chuyển giao cho đội ngũ lập trình.

Học viên cao học, nghiên cứu sinh và giảng viên công nghệ thông tin: Sử dụng công trình làm tài liệu tham khảo giá trị về kiểm thử dựa trên mô hình, kỹ thuật xử lý đồ thị trong công nghệ phần mềm với hơn 10 nguồn tài liệu học thuật quốc tế uy tín được trích dẫn.

Lãnh đạo dự án và giám đốc kỹ thuật: Hoạch định chiến lược chuyển dịch kiểm thử sang các pha sớm của dự án, tối ưu hóa phân bổ nguồn lực và cắt giảm ước tính từ 20% đến 35% chi phí xử lý sự cố trong vòng đời sản phẩm.

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

Phương pháp sinh ca kiểm thử từ mô hình UML có điểm gì vượt trội so với kiểm thử hộp đen truyền thống? Kiểm thử hộp đen truyền thống chỉ dựa vào đặc tả đầu vào và đầu ra mà không nắm được logic tương tác bên trong, dẫn đến nguy cơ bỏ sót các trạng thái lỗi tiềm ẩn. Phương pháp trong luận văn khai thác trực tiếp cấu trúc tương tác và máy trạng thái UML, cho phép sinh tự động 4 ca kiểm thử chi tiết bao phủ trọn vẹn cả chuỗi thông điệp và sự thay đổi trạng thái của hệ thống.

Tại sao cần phải kết hợp đồng thời cả biểu đồ tuần tự và biểu đồ trạng thái? Biểu đồ tuần tự chỉ mô tả luồng tương tác giữa các đối tượng theo thời gian nhưng thiếu thông tin về vòng đời nội tại của từng thành phần. Việc kết hợp với biểu đồ trạng thái giúp bổ sung 8 bước chuyển đổi trạng thái then chốt, xác định chính xác điều kiện tiên quyết và trạng thái kết thúc mong đợi cho từng kịch bản kiểm thử độc lập.

Thuật toán nào được lựa chọn để tìm kiếm các đường kiểm thử và vì sao? Nghiên cứu áp dụng thuật toán tìm kiếm theo chiều sâu trên đồ thị tuần tự kết hợp trạng thái. Thuật toán này cho phép duyệt vét cạn toàn bộ các nhánh rẽ từ đỉnh gốc đến đỉnh kết thúc, giúp trích xuất đầy đủ 100% các đường kiểm thử độc lập một cách tối ưu về mặt bộ nhớ mà không làm phức tạp hóa quá trình xử lý đồ thị.

Module phần mềm trong luận văn được xây dựng và triển khai như thế nào? Module được lập trình bằng ngôn ngữ Java trên nền môi trường Eclipse và đóng gói dưới định dạng tập tin mở rộng để tích hợp trực tiếp vào phần mềm mô hình hóa Modelio 3.x. Người dùng có thể vẽ biểu đồ UML và kích hoạt lệnh thực thi trực tiếp từ menu ngữ cảnh để nhận về danh sách các ca kiểm thử tự động.

Hạn chế hiện tại của công cụ và hướng khắc phục tiếp theo là gì? Công cụ hiện mới tập trung xử lý toán tử rẽ nhánh lựa chọn và chưa tự động sinh bộ dữ liệu giá trị cụ thể cho các tham số đầu vào. Nhóm nghiên cứu đã định hướng kế hoạch trong 12 tháng tới để bổ sung các toán tử lặp, song song và kết nối với các công cụ sinh dữ liệu tự động nhằm hoàn thiện giải pháp.

Kết luận

• Luận văn đã chuẩn hóa thành công phương pháp luận khoa học kết hợp biểu đồ tuần tự và biểu đồ trạng thái UML để tự động sinh ca kiểm thử cho phần mềm hướng đối tượng.
• Xây dựng hoàn chỉnh module mở rộng trên nền tảng Modelio 3.x, chứng minh tính khả thi qua thực nghiệm hệ thống rút tiền ATM với 4 ca kiểm thử chuẩn hóa từ 20 thông điệp tương tác.
• Giải pháp đạt độ bao phủ 100% đối với các nhánh rẽ logic và trạng thái đối tượng, khắc phục triệt để nhược điểm của các cách tiếp cận đơn lẻ trước đây.
• Kế hoạch 12 tháng tới tập trung mở rộng giải thuật cho các toán tử tương tác phức tạp và tích hợp cơ chế tự sinh dữ liệu kiểm thử thực thi tự động.
• Các tổ chức và doanh nghiệp phát triển phần mềm nên ứng dụng mô hình này vào quy trình kiểm thử sớm để tiết kiệm hơn 50% chi phí kiểm định chất lượng dự án.

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

Mở đầu Chương một nêu lên sự cần thiết, ý nghĩa thực tiễn, mục tiêu của đề tài “Sinh ca kiểm thử từ các biểu đồ UML” mà cụ thể là từ biểu đồ trạng thái và biểu đồ tuần tự UML. Chương 2: Kiến thức chung 3 LUAN VAN CHAT LUONG download : add [e-mail] Chương hai sẽ trình bày về các khái niệm cơ bản của kiểm thử phần mềm, các mức độ kiểm thử, kỹ thuật kiểm thử tĩnh và động. Chương hai cũng đưa ra các kiến thức cơ bản về UML, tìm hiểu biểu đồ tuần tự và biểu đồ trạng thái trong UML. Chương 3: Phương pháp sinh ca kiểm thử từ biểu đồ tuần tự và biểu đồ trạng thái Chương ba trình bày phương pháp sinh ca kiểm thử từ biểu đồ tuần tự và biểu đồ trạng thái UML, đưa ra ví dụ minh họa từng bước thực hiện cho phương pháp.

Chương này cũng trình bày về ý tưởng, phân tích và xây dựng công cụ sinh ca kiểm thử tự động từ biểu đồ tuần tự và biểu đồ trạng thái UML, trình bày các thuật toán đã áp dụng trong việc xây dựng công cụ. Chương 4: Kết luận Chương bốn đưa kết luận về các nội dung đã đạt được trong luận văn, các mặt hạn chế và hướng phát triển trong tương lai của luận văn. 4 LUAN VAN CHAT LUONG download : add [e-mail] CHƯƠNG 2: KIẾN THỨC CHUNG 2.1 Kiểm thử phần mềm 2.1 Các khái niệm kiểm thử phần mềm Kiểm thử phần mềm là hoạt động khảo sát thực tiễn sản phẩm hay dịch vụ phần mềm trong đúng môi trường chúng dự định sẽ được triển khai, nhằm cung cấp những thông tin về chất lượng của sản phẩm hay dịch vụ phần mềm đó. Hoạt động kiểm thử phần mềm nhằm đánh giá chất lượng hoặc tính chấp nhận được của sản phẩm.

Kiểm thử với mục đích phát hiện lỗi hoặc bất cứ vấn đề gì của sản phẩm. Có thể định nghĩa một cách dễ hiểu: Kiểm thử phần mềm là một tiến trình hay một tập hợp các tiến trình được thiết kế để đảm bảo mã hóa máy tính thực hiện theo cái mà chúng đã được thiết kế để làm, không thực hiện bất cứ thứ gì không mong muốn. Trong kiểm thử phần mềm các thuật ngữ hay sử dụng như lỗi, sai, thất bại, sự cố, chúng ta sẽ phân biệt các khái niệm này. · Lỗi (Error): Là các vấn đề lập trình viên phạm phải trong quá trình lập trình, phát triển phần mềm.

· Sai (Fault): Là kết quả của lỗi, từ lỗi sẽ dẫn đến sai, có thể phân thành 2 loại như sau: o Sai sót do đưa ra thừa: Đưa các thông tin không chính xác vào mô tả yêu cầu phần mềm. o Sai do bỏ sót: Khi người thiết kế thiếu một số phần đáng ra phải có trong mô tả yêu cầu phần mềm. · Thất bại (Failure): Thất bại xảy ra khi một lỗi được thực thi, khi đó chức năng phần mềm không thực hiện đúng như mong đợi. · Sự cố (Incident): Là những kết quả do sai sót mang đến, khi thất bại xuất hiện, nó có thể hiển thị hoặc không hiển thị đối với người dùng, tức là rõ ràng hay không rõ ràng đối với người dùng hoặc kiểm thử viên.

Sự cố thể hiện bên ngoài cho người dùng biết về sự tồn tại của thất bại. Việc kiểm thử phần mềm được thực hiện lần lượt các bước theo quy trình, hình vẽ dưới đây mô mả mô hình chung của quá trình kiểm thử. 5 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.1: Quy trình kiểm thử phần mềm Một quy trình kiểm thử phần mềm được bắt đầu từ bước lập kế hoạch kiểm thử. Dựa vào đặc tả phần mềm để thiết kế các ca kiểm thử.