Bài báo nghiên cứu lĩnh vực tự động hóa quy trình phát triển phần mềm, bài toán sinh dữ liệu kiểm thử tự động, hướng giải quyết cùng các khó khăn. Đề xuất cách tiếp cận biểu diễn thuật toán dựa trên khái niệm đồ thị, ứng dụng vào giải quyết bài toán sinh dữ liệu kiểm thử tự động. | Một cách tiếp cận trong giải quyết bài toán tự động hóa sinh dữ liệu kiểm thử phần mềm CHÀO MỪNG NGÀY THÀNH LẬP TRƯỜNG 01/4/2018 MỘT CÁCH TIẾP CẬN TRONG GIẢI QUYẾT BÀI TOÁN TỰ ĐỘNG HÓA SINH DỮ LIỆU KIỂM THỬ PHẦN MỀM AN APPROACH TO AUTOMATED TEST DATA GENERATION PHẠM ĐỨC TOÀN1, PHAN NGUYÊN HẢI2, PHẠM THỊ PHƯƠNG ANH3 1 Phòng Tổ chức - Hành chính, Trường ĐHHH Việt Nam 2 Học viện Kỹ thuật Quân sự 3 Viện Khoa học và Công nghệ Quân sự Tóm tắt Bài báo nghiên cứu lĩnh vực tự động hóa quy trình phát triển phần mềm, bài toán sinh dữ liệu kiểm thử tự động, hướng giải quyết cùng các khó khăn. Đề xuất cách tiếp cận biểu diễn thuật toán dựa trên khái niệm đồ thị, ứng dụng vào giải quyết bài toán sinh dữ liệu kiểm thử tự động. Từ khóa: Tự động hóa phát triển phần mềm, sinh dữ liệu kiểm thử, biểu diễn thuật toán. Abstract In this paper, the automated software development issue and test data generation problem are presented with solutions and challenges. Approach to represent algorithms based on graph concepts is proposed and applied to solving the problem of automated test data generation. Keywords: Automated software development, test data generation, expressing algorithms. 1. Bài toán tự động hóa phát triển phần mềm và tự động hóa kiểm thử phần mềm Quy trình phát triển phần mềm thông thường gồm các giai đoạn: Xác định yêu cầu, thiết kế, lập trình, kiểm thử, tích hợp triển khai. Tùy thuộc vào từng dự án cụ thể mà các giai đoạn này có thể tuần tự hoặc lặp lại. Hiện nay trong lĩnh vực tự động hóa phát triển phần mềm, các bài toán đang được quan tâm là sinh mã nguồn tự động và sinh dữ liệu kiểm thử tự động. Với bài toán sinh mã nguồn tự động, đầu vào là bản thiết kế, đầu ra là biểu diễn của bản thiết kế bằng cú pháp của một ngôn ngữ lập trình nào đó (nói cách khác là mã nguồn). Với bài toán sinh dữ liệu kiểm thử (test data generation), đầu vào là các bản đặc tả (yêu cầu, thiết kế), mã nguồn, đầu ra là dữ liệu đầu vào của
