Chƣơng 4 : CÔNG CỤ VÀ THỰC NGHIỆM
4.3 nghĩa thực nghiệm
Thực thi thành công công cụ kiểm thử tự động từ biểu đồ thiết kế là bằng chứng chứng minh tính khả dụng và khả năng áp dụng thực tế cho các phƣơng pháp kiểm thử dựa trên mô hình. Hiện nay kiểm thử dựa trên mô hình vẫn là xu hƣớng chính trong nghiên cứu cải tiến thúc đẩy qui trình kiểm thử phần mềm nói chung và kiểm thử tự động nói riêng. Bằng phƣơng pháp này, các công ty phần mềm có thể tiến hành kiểm thử ngay từ khâu thiết kế, sinh ca kiểm thử tự động với độ bao phủ theo tùy ý theo các mức độ mong muốn. Hiệu quả kiểm thử cũng đã đƣợc chứng minh vƣợt trội hơn so với các phƣơng pháp khác nhƣ kiểm thử ngẫu nhiên. Giúp tiết kiệm thời gian phát triển dự án phần mềm, tiết kiệm nhân lực.
So với các nghiên cứu khác, chƣơng trình thực nghiệm sử dụng đầu vào là các biểu đồ thiết kế thực tế mà các công ty phần mềm luôn phải thực hiện. Từ đó có thể tiến hành ngay các bƣớc kiểm thử với ba độ đo kiểm thử khác nhau tùy thuộc thời gian phát triển dự án. Ở độ đo kiểm thử độ bao phủ mạnh, công cụ mang lại hiệu quả cao khi xét tới các trƣờng hợp luồn song song có chứa điểm chia sẻ dữ liệu. Việc biểu diễn trực quan đồ thị dòng điều khiển cùng với các đƣờng kiểm thử giúp kiểm thử viên có thể quan sát trực tiếp các kịch bản mà phần mềm sẽ thực thi. Dữ liệu kiểm thử đƣợc sinh tự động. Dù còn một số hạn chế về kiểu dữ liệu đầu vào nhƣng bài nghiên cứu này sẽ là tiền đề để mở rộng, áp dụng các phƣơng pháp giải khác cho các kiểu dữ liệu mảng, chuẫn kí tự, v.v. và hoàn thành một chu trình kiểm thử kín ở khâu thiết kế.