Chƣơng 4 : CÔNG CỤ VÀ THỰC NGHIỆM
4.1 Giới thiệu công cụ và môi trƣờng thực nghiệm
Hình 4.1 biểu diễn cấu trúc công cụ thực nghiệm của luận văn. iểu đồ tuần tự đƣợc thiết kế trên phần mềm Enterprise Architect là phần mềm chuyên dụng đƣợc dùng phổ biến trong các công ty ngày nay. Phần mềm có hỗ trợ tính năng xuất tệp xmi sau khi thiết kế. Tệp xmi là dữ liệu đầu vào dùng để nghiên cứu trong suốt quá trình kiểm thử. Qua quá trình phân tích, dữ liệu từ tệp xmi đƣợc chuyển đổi để sinh ra đồ thị dòng điều khiển. Từ đồ thị dòng điều khiển áp dụng kỹ thuật quét theo chiều sâu để sinh ra đƣờng kiểm thử và các ca kiểm thử tƣơng ứng.
ATDS
(Automation Test Data Synthesis) Enterprise Architect Software
Write JAVA source code UML
Sequence diagram
XMI File Execution
Module SMT Solve
JRE System Library Jeval Library Jxl Library Swing2swt Linary Z3 Test coverage Test case (excel file) OUTPUT
Đƣờng kiểm thử là đặc tả chính xác hoạt động của đồ thị dòng điều khiển cũng nhƣ biểu đồ tuần tự đƣợc thiết kế trên UML. Chúng ta cũng bóc tách đƣợc dữ liệu từ tệp xmi và biến đổi sinh ra hệ ràng buộc là đầu vào của công cụ SMT-Solver. Hệ ràng buộc đƣợc giải để sinh ra các bộ dữ liệu kiểm thử cho các ca kiểm thử tƣơng ứng. Bộ kiểm thử này đƣợc dùng để kiểm tra xem việc lập trình có đúng với thiết kế hay không đồng thời kiểm tra tính đúng đắn của thiết kế. Nếu một hệ ràng buộc đƣợc giải ra cho kết quả là vô nghiệm thì khi đó hoặc là đặc tả hay thiết kế sai, hoặc là các ràng buộc có mâu thuẫn dẫn tới ca kiểm thử không thể tồn tại. Điều đó nói lên chƣơng trình (ca sử dụng) sẽ không bao giờ đƣợc thực thi nếu nhƣ mã nguồn đƣợc tạo ra là đúng với thiết kế. Trong trƣờng hợp thu đƣợc kết quả từ việc giải hệ ràng buộc trên đƣờng kiểm thử, kết quả đó sẽ đƣợc dùng làm dữ liệu đầu vào trong ca kiểm thử và thực thi. Kết quả đầu ra đƣợc so sánh với kết quả mong đợi. Nếu kết quả đầu ra khác với kết quả mong đợi cho thấy thiết kế là sai và có lỗi. Nếu kết quả đầu ra đúng với kết quả mong đợi cho thấy thiết kế đã đảm bảo tính đúng đắn so với đặc tả hệ thống.
Dƣới đây là các công đoạn hoạt động của công cụ:
1. Sinh đồ thị dòng điều khiển là chuyển đổi tƣơng ứng của biểu đồ tuần
tự.
2. Sinh kịch bản kiểm thử từ đồ thị dòng điều khiển.
3. Sinh các bộ dữ liệu kiểm thử tƣơng ứng cho các ca kiểm thử.
4. Lƣu giữ kịch bản ra tệp excel phục vụ cho quá trình kiểm thử.
ảng 4.1 Môi trƣờng thử nghiệm công cụ sinh ca kiểm thử từ thiết kế
Vi xử lý Intel(R) Core(TM) i3/i7-2120 CPU @ 3.30GHz, 3300
Mhz, 2 Core(s), 4 Logical Processor(s)
ộ nhớ vật lý (RAM) 4GB
Hệ điều hành Microsoft Windows 10 Professional
Phiên bản IDE Eclipse Java EE IDE Version 4.5.1
Phiên bản Java Platform 1.8 _ Product 1.8.0_56
Công cụ ATDS đƣợc phát triển trên nền tảng Java và đƣợc thiết kế để hoạt động trên môi trƣờng window. Công cụ sử dụng đầu vào là biểu đồ tuần tự lƣu trữ dƣới định dạng xmi. Với giao diện trực quan, công cụ cho phép vẽ đồ thị dòng điều khiển và hiển thị ra màn hình. Đồ thị dòng điều khiển là dẫn xuất biến đổi tƣơng ứng từ biểu đồ tuần tự theo các qui luật biến đổi đƣợc đề xuất trong chƣơng 3. Sau khi vẽ đồ thị dòng điều khiển,
công cụ tìm kiếm và thực thi tất cả các đƣờng kiểm thử có thể đi qua để sinh các ca kiểm thử và dữ liệu kiểm thử tƣơng ứng cho từng ca kiểm thử. Các ca kiểm thử đƣợc sinh ra theo 3 cấp độ kiểm thử đã trình bày ở chƣơng 2 phần 2.4. Ngƣời dùng có thể chọn vào từng ca kiểm thử để kiểm tra đƣờng đi. Đƣờng đi của ca kiểm thử đƣợc hiển thị trực tiếp trên đồ thị dòng điều khiển tƣơng ứng với ca kiểm thử đang đƣợc chọn. Cuối cùng, sau khi hoàn thành tất cả các khâu, ngƣời dùng có thể thực hiện xuất ra tệp excel để phục vụ cho mục đích kiểm thử. Bảng 4.1 trình bày các thông số về môi trƣờng thực nghiệm công cụ.