Kiểm thử đang đƣợc xem là giải pháp chủ yếu nhằm đảm bảo chất lƣợng cho các sản phẩm phần mềm. Tuy nhiên, các hoạt động kiểm thử hiện nay chủ yếu đƣợc thực hiện một cách thủ công và tiêu tốn khoảng 30-50% tài nguyên (thời gian, nhân lực và chi phí) của quá trình phát triển sản phẩm phần mềm. Thêm vào đó, cách thực hiện thủ công còn dễ gặp lỗi, đặc biệt là độ phức tạp của các phần mềm ngày càng tăng về quy mô cũng nhƣ nghiệp vụ. Trong môi trƣờng cạnh tranh nhƣ hiện nay đòi hỏi các công ty phần mềm phải áp dụng các phƣơng pháp và công cụ nhằm tự động hóa các hoạt động kiểm thử. Vì thế, luận văn thực hiện nghiên cứu và cài đặt công cụ hỗ trợ nhằm giải quyết vấn đề này.
Luận văn đã đạt đƣợc các kết quả chính sau:
- Thứ nhất, luận văn đã trình bày đầy đủ các kiến thức cơ sở liên quan đến vấn đề nội dung đang nghiên cứu bao gồm kiến thức về đặc tả yêu cầu phần mềm, đặc tả ca sử dụng; kỹ thuật kiểm thử dựa trên mô hình, kỹ thuật chuyển đổi mô hình; các ngôn ngữ hỗ trợ trong việc sinh tự động các ca kiểm thử từ đặc tả ca sử dụng. Chi tiết đƣợc trình bày trong Chƣơng 2 của luận văn.
- Thứ hai, luận văn nghiên cứu và đề xuất sử dụng ngôn ngữ RUCM để đặc tả ca sử dụng giúp đặc tả ca sử dụng đƣợc rõ ràng, dễ hiểu và có thể sử dụng trong tự động hóa. Luận văn đã diễn giải chi tiết các luật chuyển đổi đặc tả ca sử dụng biểu đồ UML, đây chính là đầu vào của nhiều công cụ hỗ trợ sinh tự động bộ kiểm thử đang và sẽ phát triển trong tƣơng lai. Nội dung này đƣợc đƣa ra trong Chƣơng 3 của luận văn.
- Thứ ba, luận văn trình bày phƣơng pháp sinh tự động các ca kiểm thử từ biểu đồ trạng thái (state diagram). Đây là một dạng biểu đồ UML, nó mô tả các trạng thái có thể có và sự chuyển đổi giữa các trạng thái đó khi có các sự kiện tác động của một đối tƣợng. Đối với các đối tƣợng có nhiều trạng thái thì biểu đồ trạng thái là sự lựa chọn tốt nhất giúp chúng ta có thể hiểu rõ hơn về hệ thống. Đó là lý do mà luận văn sử dụng biểu đồ trạng thái làm đầu vào cho việc sinh tự động các ca kiểm thử. Luận văn cũng đề xuất sử dụng công cụ ParTeG để thực hiện hoạt động này. Cũng trong Chƣơng 3, luận văn đã trình bày nội dung này với đầy đủ các bƣớc chuyển quan trọng.
57
- Thứ tƣ, luận văn trình bày quy trình cài đặt công cụ hỗ trợ, ParTeG là công cụ mà luận văn đã lựa chọn trong bài báo cáo này. Luận văn tiến hành thực nghiệm với bài toán thực tế và phát triển mã nguồn nhằm mục đích hỗ trợ chạy bộ dữ liệu kiểm thử đƣợc sinh ra từ công cụ. Ngoài ra, luận văn cũng đƣa ra ƣu điểm, nhƣợc điểm của công cụ ParTeG và đƣa ra đánh giá chất lƣợng bộ dữ liệu kiểm thử sinh ra so với nhiều công cụ hỗ trợ tƣơng tự khác trên nhiều tiêu chí, báo cáo thực nghiệm đƣợc trình bày trong Chƣơng 4.