No abstract

Trong hoạt động kiểm thử phần mềm, các ca kiểm thử thường được tạo ra một cách thủ công, gây tốn kém về chi phí cũng như thời gian để hoàn thành công đoạn này. Thực thi tượng trưng (Symbolic execution) được biết đến là một kỹ thuật nổi tiếng với khả năng tự động sinh những bộ test case có độ bao phủ cao với các tiêu chí kiểm thử nhằm phát hiện những lỗi sâu trong các hệ thống phần mềm phức tạp. Bài báo trình bày các vấn đề tổng quan và một số kết quả của các nghiên cứu gần đây về kỹ thuật thực thi tượng trưng. Bài báo cũng đưa ra những thách thức cần giải quyết trong lĩnh vực này như: sự bùng nổ đường thực thi của chương trình, khả năng giải các ràng buộc, mô hình hóa bộ nhớ, các vấn đề về tương tranh vv.. đồng thời đưa ra một số đánh giá từ những kết quả đã công bố.

Từ khóa-thuật toán ACO, tìm kiếm địa phương, (r|p)-trung tâm. I. GIỚI THIỆUBài toán | )-trung tâm ( | )-centroid) lần đầu tiên được Hakimi [11] nghiên cứu dưới dạng bài toán rời rạc, có thể phát biểu như sau. Cho một tập hữu hạn các địa điểm có thể chọn để đặt các cơ sở dịch vụ và một tập hữu hạn của các vị trí của khách hàng, ma trận ) là khoảng cách từ khách hàng tới cơ sở , các giá trị xác định lợi nhuận của một cơ sở thu được trong việc phục vụ khách hàng . Hai công ty/người chơi Trước và Sau sẽ mở các cơ sở kinh doanh tại các điểm của tập . Đầu tiên, người chơi Trước mở cơ sở. Biết được quyết định của Trước, Sau sẽ chọn để mở ra cơ sở. Mỗi khách hàng sẽ chọn ra cơ sở gần họ nhất trong số cơ sở của cả hai người chơi đã mở ra như là nhà cung cấp cho mình. Kết quả là tập khách hàng sẽ được chia thành hai phần: tập khách hàng lựa chọn Trước và tập khách hàng lựa chọn Sau. Bài toán đặt ra là tìm ra vị trí đặt cơ sở cho Trước để đạt tối đa nhất lợi nhuận dưới sự phản ứng mạnh mẽ nhất có thể của Sau.Hiện nay, các nghiên cứu cơ bản của bài toán này có thể được phát triển thêm nhiều biến thể [8] Tabu Search) giải gần đúng nhanh bài toán của Trước, trong đó họ dùng phần mềm CPLEX (một phần mềm của IBM cung cấp nhằm giải các bài toán quy hoạch tuyến tính) để tìm lời giải tối ưu cho Sau mỗi khi biết các cơ sở của Trước; Alekseeva cùng các cộng sự [2] phát triển thuật toán IM giải đúng bài toán Trước, trong đó cũng sử dụng phần mềm CPLEX cho toán Sau. Kết quả thực nghiệm cho thấy ưu điểm của các thuật toán này so với các thuật toán đã biết trước đó.Trong bài báo này, chúng tôi đề xuất thuật toán t m kiếm địa phương dựa trên giải thuật tối ưu đàn kiến CO) để giải bài toán ( | ) trung tâm đồng thời cho cả Trước và Sau mà không dùng CPLEX. Kết quả thực nghiệm so sánh với các thuật toán VNS và STS [9], IM [2] trên bộ dữ liệu Euclidean và Uniform [19] cho thấy ưu điểm nổi trội của thuật toán mới.Ngoài phần kết luận, phần còn lại của bài báo được tr nh bày như sau: mục II phát biểu bài toán ( | )-trung tâm và một số vấn đề liên quan; thuật toán đề xuất được giới thiệu trong mục III; mục IV, chúng tôi tr nh bày kết quả các thử nghiệm so sánh với các thuật toán đã nêu với các bộ dữ liệu khác nhau theo các công bố tương ứng) lấy từ thư viện [19]. Xét một đồ thị hai phía đầy đủ có trọng số , trong đó tập đỉnh biểu diễn tập hợp các địa điểm cơ sở tiềm năng mà 2 người chơi Trước và Sau có thể lựa chọn để mở cơ sở, tập đỉnh biểu diễn tập khách hàng, là tập các cạnh có độ đo khoảng cách tương ứng , mỗi có trọng số ( ) ứng với doanh thu mà cơ sở nhận được nếu khách hàng này chọn cơ sở làm nhà cung cấp. Biết rằng

This paper describes a literature review of automatic speech processing for Vietnamese. Our work also presents what research has been done around for dealing with the problem of Vietnamese speech processing. The main objective of this review paper is to provide the information of the progress made for speech processing of Vietnamese language. We intend to describe distinctive and novel features of selected systems and their relative merits and demerits.