Nghiên cứu một số phương pháp sinh đầu vào kiểm thử tự động cho Android

Abstract

Trong vòng đời phát triển phần mềm, kiểm thử là một hoạt động quan trọng và không thể bỏ qua đối với phần mềm nói chung và các ứng dụng Android nói riêng.8 Hoạt động kiểm thử có thể tiến hành một cách thủ công tuy nhiên điều này sẽ mất thời gian, tốn chi phí và đôi khi không mang lại hiệu quả cao. Thậm chí trong một vài những phương pháp kiểm thử, hoạt động kiểm thử thủ công là không thể thực hiện được. Do đó đòi hỏi phải có một hình thức kiểm thử tự động hỗ trợ. Tuy nhiên kiểm thử tự động cũng có nhiều kỹ thuật khác nhau vớ i các mứ c đô ̣ tự đông kh ̣ ác nhau. Đối với nhiều các công cụ kiểm thử, vẫn cần có sự tham gia của kiểm thử viên vào trong quá trình. Kiểm thử viên sẽ phải xây dựng các kịch bản kiểm thử hoàn toàn thủ công để các công cụ kiểm thử có thể thực thi được từ các kịch bản đó. Đây là một công việc không hề đơn giản, tốn thời gian và nhân lực. Vậy một câu hỏi được đặt ra, làm sao để hoạt động kiểm thử hoàn toàn tự động, từ thao tác sinh ra các kịch bản kiểm thử cho đến việc thực thi những kịch bản kiểm thử đó. Đã có rất nhiều các nghiên cứu về các kỹ thuật sinh dữ liệu kiểm thử tự động. Và trong nội dung luận văn này cũng sẽ tìm hiểu về các kỹ thuật sinh dữ liệu kiểm thử tự động, và cụ thể nó được áp dụng vào quá trình kiểm tra tự động cho các ứng dụng Android ra sao.