MộT KHUNG THứC TìM KIếM Và TáI Sử DụNG HàM API Tự ĐộNG DựA TRÊN ĐặC Tả HìNH THứC
Để giúp cho các lập trình viên phát triển nhanh hệ thống phần mềm của họ, cộng đồng nghiên cứu đã đề xuất một số cách tiếp cận cho việc tìm kiếm tự động các hàm API. Hầu hết các nghiên cứu này đều dựa trên các từ khóa được sử dụng trong các mô tả của các hàm API. Tuy nhiên, độ chính xác của các hướn...
Main Authors: | , , , |
---|---|
Format: | Article |
Language: | Vietnamese |
Published: |
Can Tho University Publisher
2013-10-01
|
Series: | Tạp chí Khoa học Đại học Cần Thơ |
Subjects: | |
Online Access: | https://ctujsvn.ctu.edu.vn/index.php/ctujsvn/article/view/1916 |
_version_ | 1797286277111873536 |
---|---|
author | Huỳnh Tấn Khải Quản Thành Thơ Bùi Hoài Thắng Nguyễn Minh Thông |
author_facet | Huỳnh Tấn Khải Quản Thành Thơ Bùi Hoài Thắng Nguyễn Minh Thông |
author_sort | Huỳnh Tấn Khải |
collection | DOAJ |
description | Để giúp cho các lập trình viên phát triển nhanh hệ thống phần mềm của họ, cộng đồng nghiên cứu đã đề xuất một số cách tiếp cận cho việc tìm kiếm tự động các hàm API. Hầu hết các nghiên cứu này đều dựa trên các từ khóa được sử dụng trong các mô tả của các hàm API. Tuy nhiên, độ chính xác của các hướng tiếp cận này vẫn còn hạn chế. Đặc tả hình thức với sự chặt chẽ trong cú pháp và ngữ nghĩa có thể được áp dụng để cải thiện kết quả của các hướng nghiên cứu này. Trong bài báo này, đầu tiên, chúng tôi trình bày một khảo sát về các kỹ thuật đặc tả hình thức cho thiết kế phần mềm. Tiếp theo, chúng tôi đề xuất một khung thức cho việc tìm kiếm và tái sử dụng các hàm API tự động dựa trên đặc tả chính thức được mô tả bởi JML. Ngoài ra, khung thức còn hỗ trợ việc tổ hợp tự động các hàm API để đáp ứng các yêu cầu phần mềm. Một số kết quả thử nghiệm cũng được trình bày để cho thấy khả năng thực tế trong hướng tiếp cận của chúng tôi. |
first_indexed | 2024-03-07T18:15:56Z |
format | Article |
id | doaj.art-806af03a627a4df7817d669c87967734 |
institution | Directory Open Access Journal |
issn | 1859-2333 2815-5599 |
language | Vietnamese |
last_indexed | 2024-03-07T18:15:56Z |
publishDate | 2013-10-01 |
publisher | Can Tho University Publisher |
record_format | Article |
series | Tạp chí Khoa học Đại học Cần Thơ |
spelling | doaj.art-806af03a627a4df7817d669c879677342024-03-02T07:32:30ZvieCan Tho University PublisherTạp chí Khoa học Đại học Cần Thơ1859-23332815-55992013-10-01CĐ Công nghệ TTMộT KHUNG THứC TìM KIếM Và TáI Sử DụNG HàM API Tự ĐộNG DựA TRÊN ĐặC Tả HìNH THứCHuỳnh Tấn KhảiQuản Thành ThơBùi Hoài ThắngNguyễn Minh ThôngĐể giúp cho các lập trình viên phát triển nhanh hệ thống phần mềm của họ, cộng đồng nghiên cứu đã đề xuất một số cách tiếp cận cho việc tìm kiếm tự động các hàm API. Hầu hết các nghiên cứu này đều dựa trên các từ khóa được sử dụng trong các mô tả của các hàm API. Tuy nhiên, độ chính xác của các hướng tiếp cận này vẫn còn hạn chế. Đặc tả hình thức với sự chặt chẽ trong cú pháp và ngữ nghĩa có thể được áp dụng để cải thiện kết quả của các hướng nghiên cứu này. Trong bài báo này, đầu tiên, chúng tôi trình bày một khảo sát về các kỹ thuật đặc tả hình thức cho thiết kế phần mềm. Tiếp theo, chúng tôi đề xuất một khung thức cho việc tìm kiếm và tái sử dụng các hàm API tự động dựa trên đặc tả chính thức được mô tả bởi JML. Ngoài ra, khung thức còn hỗ trợ việc tổ hợp tự động các hàm API để đáp ứng các yêu cầu phần mềm. Một số kết quả thử nghiệm cũng được trình bày để cho thấy khả năng thực tế trong hướng tiếp cận của chúng tôi.https://ctujsvn.ctu.edu.vn/index.php/ctujsvn/article/view/1916Tìm kiếm hàm tự độnggọi hàm tự độngtái sử dụng thành phầnđặc tả hình thứcthiết kế thoả thuận |
spellingShingle | Huỳnh Tấn Khải Quản Thành Thơ Bùi Hoài Thắng Nguyễn Minh Thông MộT KHUNG THứC TìM KIếM Và TáI Sử DụNG HàM API Tự ĐộNG DựA TRÊN ĐặC Tả HìNH THứC Tạp chí Khoa học Đại học Cần Thơ Tìm kiếm hàm tự động gọi hàm tự động tái sử dụng thành phần đặc tả hình thức thiết kế thoả thuận |
title | MộT KHUNG THứC TìM KIếM Và TáI Sử DụNG HàM API Tự ĐộNG DựA TRÊN ĐặC Tả HìNH THứC |
title_full | MộT KHUNG THứC TìM KIếM Và TáI Sử DụNG HàM API Tự ĐộNG DựA TRÊN ĐặC Tả HìNH THứC |
title_fullStr | MộT KHUNG THứC TìM KIếM Và TáI Sử DụNG HàM API Tự ĐộNG DựA TRÊN ĐặC Tả HìNH THứC |
title_full_unstemmed | MộT KHUNG THứC TìM KIếM Và TáI Sử DụNG HàM API Tự ĐộNG DựA TRÊN ĐặC Tả HìNH THứC |
title_short | MộT KHUNG THứC TìM KIếM Và TáI Sử DụNG HàM API Tự ĐộNG DựA TRÊN ĐặC Tả HìNH THứC |
title_sort | mot khung thuc tim kiem va tai su dung ham api tu dong dua tren dac ta hinh thuc |
topic | Tìm kiếm hàm tự động gọi hàm tự động tái sử dụng thành phần đặc tả hình thức thiết kế thoả thuận |
url | https://ctujsvn.ctu.edu.vn/index.php/ctujsvn/article/view/1916 |
work_keys_str_mv | AT huynhtankhai motkhungthuctimkiemvataisudunghamapituđongduatrenđactahinhthuc AT quanthanhtho motkhungthuctimkiemvataisudunghamapituđongduatrenđactahinhthuc AT buihoaithang motkhungthuctimkiemvataisudunghamapituđongduatrenđactahinhthuc AT nguyenminhthong motkhungthuctimkiemvataisudunghamapituđongduatrenđactahinhthuc |