Kiểm thử tự động từ mã nguồn

Tạo dựng hệ thống liên kết thư viện số là mong muốn của các thư viện nhằm tối ưu hóa hoạt động phát triển, khai thác nguồn tin. Tuy nhiên, ở Việt Nam, việc này chưa có kết quả rõ rệt. Điều này xuất phát từ những hạn chế trong số hóa dữ liệu, xây dựng phần mềm thư viện số, thiết lập chính sách liên kết và dịch vụ liên thư viện. Nếu học tập các mô hình thành công và tận dụng được các ứng dụng nguồn mở, với chi phí đầu tư thấp, hệ thống liên kết tài nguyên số có thể đạt được hiệu quả bước đầu, tạo được động lực để thực hiện những bước phát triển kế tiếp.

6p longtimenosee09 08-04-2024 7 2   Download

"Nghiên cứu tái chế tro - xỉ từ lò đốt làm bê tông nặng" được thực hiện nhằm giảm thiểu khối lượng thải mà còn có thể thu hồi thêm được một số nguyên liệu thứ sinh và giảm nguồn gây ô nhiễm môi trường. Góp phần tiết kiệm tài nguyên khoáng sản, bảo vệ môi trường là hoạt động được khuyến khích theo chủ trương của Chính phủ. Các phương án tái sử dụng tro xỉ thải về mặt công nghệ, mang tính khả thi cao.

14p kimphuong1128 20-09-2023 16 6   Download

Phụ phẩm xương cá là nguồn thu nhận hydroxyapatite (HAp) khá dồi dào. Việc điều chế HAp từ xương cá không những góp phần nâng cao giá trị phụ phẩm mà còn giảm thiểu tác động tiêu cực đến môi trường. Trong nghiên cứu này, nano hydroxyapatite được thu nhận thành công từ xương cá chẽm Lates calcarifer thu mua từ công ty xuất khẩu thủy hải sản ở Khánh Hòa. Xương cá được xử lí kiềm và sau đó được nung ở 600oC trong các khoảng thời gian khác nhau là 1, 2 và 4 giờ.

14p vielonmusk 21-01-2022 25 1   Download

Luận văn nghiên cứu tổng quan về quy hoạch sử dụng đất; nhu cầu tra cứu, tìm kiếm thông tin quy hoạch và tham vấn ý kiến của đơn vị, tổ chức, cộng đồng dân cư về quy hoạch sử dụng đất; thiết kế hệ thống WebGIS quản lý thông tin quy hoạch trên nền tảng công nghệ phần mềm mã nguồn mở; thử nghiệm trên địa bàn quận Nam Từ Liêm nhằm thu thập ý kiến của nhân dân, doanh nghiệp về các thông tin QH, KHSDĐ tại quận Nam Từ Liêm;... Mời các bạn cùng tham khảo nội dung chi tiết.

101p guitaracoustic07 01-01-2022 24 3   Download

Mục tiêu nghiên cứu đề tài là áp dụng lý thuyết vào xây dựng công cụ ứng dụng vào việc phát sinh mã nguồn sang ngôn ngữ lập trình C nhằm tạo điều kiện để tiếp tục nghiên cứu và xây dựng việc tự động phát sinh ca kiểm thử từ ngôn ngữ mô hình hóa.

59p tomjerry007 21-12-2021 26 7   Download

Luận văn Thạc sĩ ngành Máy tính "Ứng dụng mã nguồn mở ElasticSearch vào hệ thống tìm kiếm danh bạ y tế hiệu quả" trình bày các nội dung chính sau: Nghiên cứu tổng quan về hệ thống tìm kiếm thông tin, các thành phần và nguyên lý hoạt động của hệ thống tìm kiếm thông tin; Giới thiệu bài toán và lựa chọn công nghệ; Trên cơ sở nghiên cứu về Hệ thống tìm kiếm thông tin và mã nguồn mở ElasticSearch, đề xuất xây dựng thử nghiệm hệ thống tìm kiếm Danh bạ y tế với hai thành phần chính là: Tạo chỉ mục và Tìm kiếm.

98p vinayeon2711 15-08-2021 38 4   Download

Mục tiêu nghiên cứu của đề tài là hiện nay, chưa có nhiều các nghiên cứu về các yếu tố tác động đến quyết định đầu tư của nhà đầu tư nước ngoài tại một địa phương cụ thể ở Việt Nam. Vì thế những nghiên cứu sâu để tìm ra các yếu tố tác động đến sự hài lòng của nhà đầu tư nước ngoài, từ đó tác động tích cực đến quyết định đầu tư của các nhà đầu tư nước ngoài tại địa phương là hết sức cần thiết đối với chính quyền địa phương tỉnh Long An.

75p ganuongmuoimatong 12-08-2021 27 5   Download

Bài viết trình bày thiết kế và kiểm nghiệm thử một Robot trợ lý giảng dạy hoạt động như một trợ lý ảo nhưng có khả năng giao tiếp bằng giọng nói, không cần kết nối mạng như các trợ lý ảo hiện tại và sử dụng mã nguồn mở Pocketsphinx để nhận dạng giọng nói.

7p angicungduoc11 18-04-2021 28 6   Download

Bài viết sử dụng mô hình tăng trưởng độ tin cậy NHPP (Non-Homogeneous Poisson Process) để đánh giá, xác định độ tin cậy của các ứng dụng di động thông qua việc áp dụng các kỹ thuật, phương pháp kiểm thử và kiểm thử tự động đã được chúng tôi công bố ở các nghiên cứu trước như (1) kỹ thuật tối ưu mã nguồn, (2) kiểm thử hướng ngữ cảnh One2explore, (3) ứng dụng Heuristics và Machine learning trong kiểm thử, (4) sinh kiểm thử tự động từ user stories và acceptance criteria.

23p trinhthamhodang1218 04-03-2021 37 2   Download

Luận văn cũng đã tiến hành xây dựng công cụ hỗ trợ và áp dụng thử nghiệm với các chương trình đơn giản nhằm minh chứng cho tính đúng đắn và tính hiệu quả của phương pháp đề xuất. Tuy nhiên, công cụ cài đặt chưa được hoàn thiện và cần được tiếp tục phát triển nhằm có một công cụ hỗ trợ giáo viên như đã nêu ở trên.

60p tamynhan0 04-07-2020 51 7   Download

Luận án này có những đóng góp tiên phong về mặt lý thuyết và thực tiễn thông qua việc hình thành và kiểm định mô hình thành công hệ thống ERP chỉ dành cho các chuyên gia kế toán. Cụ thể hơn, nó cung cấp bằng chứng thực nghiệm về chuỗi giá trị kế toán của Hunton(2002). Thêm vào đó, nó phát hiện và chứng minh rằng sử dụng hữu hiệu là khái niệm sử dụng hệ thống thích hợp nhất từ trước đến nay. Hơn nữa, luận án đã nỗ lực điều tra các kết quả có thể thu được từ lợi ích kế toán nhận được từ hệ thống ERP, điều mà các nghiên cứu trước chưa làm rõ.

29p kequaidan6 15-07-2020 59 4   Download

Hội nhập càng sâu rộng, luật chơi càng thay đổi, các doanh nghiệp càng phải chú trọng vào việc hoạch định tài chính doanh nghiệp để chuẩn bị sẵn sàng các nguồn lực; từ đó kịp thời nắm bắt cơ hội và tạo đà phát triển. Để làm được điều này không nhất thiết phải đến từ những kế hoạch lớn lao, mà bắt nguồn từ công tác thực hiện đầy đủ và đồng bộ các nghiệp vụ kế toán đơn giản như quản lý nguồn thu, nguồn chi; kiểm soát công nợ đến quản lý tồn kho, tài sản cố định,...

9p lanxichen 20-04-2020 87 3   Download

Kiểm thử là quá trình kiểm tra chương trình với mục đích phát hiện lỗi. Kiểm thử phần mềm cần nhiều thời gian và chi phí của dự án, thông thường chiếm 50% chi phí của dự án và 35% tổng thời gian phát triển phần mềm. Bài viết này tóm tắt các kỹ thuật chính trong việc sinh dữ liệu kiểm thử tự động từ mã nguồn và một số hướng nghiên cứu cải tiến.

9p videshiki2711 21-02-2020 70 1   Download

Mục đích nghiên cứu: Đề xuất thuật toán mới nhằm cân bằng điện áp trên các tụ điện một chiều trung gian, đề xuất thuật toán điều chế và chuyển mạch cho bộ biến đổi DC-AC-AC với khâu trung gian tần số cao và khâu AC-AC điều khiển chuyển mạch kiểu biến tần ma trận. Nghiên cứu khả năng áp dụng một số phương pháp điều khiển như điều khiển PI, cộng hưởng, tựa thụ động và tựa thụ động có khâu thích nghi tham số để kiểm chứng khả năng làm việc của bộ biến đổi.

27p manhinh999 10-12-2019 42 3   Download

Bài viết này sẽ tổng hợp cơ sở pháp lý về quản lý thuế với các doanh nghiệp có GDLK, phân tích thực trạng hoạt động kiểm soát GCN của Nhà nước trong các cuộc thanh tra, kiểm tra GCN tại doanh nghiệp, các biện pháp khác để quản lý vấn đề GCN trong GDLK và cuối cùng, đưa ra những đề xuất cho Cơ quan Thuế và doanh nghiệp Việt Nam, nhằm tạo ra một môi trường hoạt động kinh doanh minh bạch, lành mạnh, đem đến hiệu quả tối đa không chỉ đối với nguồn thu của Nhà nước mà còn đối với các công ty đã và sẽ có nhu cầu đầu tư vào Việt Nam.

8p vicross2711 26-06-2019 34 1   Download

Luận văn tập trung giải quyết các bài toán, và đề xuất kĩ thuật sinh dữ liệu kiểm thử đầu tiên dựa trên thông tin phân tích mã nguồn thay vì áp dụng kĩ thuật sinh ngẫu nhiên truyền thống trong kĩ thuật kiểm thử tự động định hướng. Để giảm thiểu số lượng bộ dữ liệu kiểm thử trong khi vẫn đạt độ phủ cao, thuật toán LDFS được đề xuất. Để chứng minh tính hiệu quả của phương pháp đề xuất, công cụ CFT4Cpp được xây dựng dựa trên phương pháp đề xuất và tiến hành so sánh với các phương pháp kiểm thử khác gồm KLEE, PathCrawler, CAUT, CREST.

11p hanh_tv27 06-04-2019 78 2   Download

Luận văn hướng đến xây dựng một giải pháp kiểm thử tự động mức đơn vị cho các dự án C/C++. Tuy vậy, các vấn đề còn tồn tại cần giải quyết của kĩ thuật kiểm thử tự động định hướng gồm vấn đề sinh dữ liệu kiểm thử đầu tiên chưa đủ tốt, sinh tập dữ liệu kiểm thử có số lượng nhỏ nhưng đạt độ phủ cao. Do đó, luận văn tập trung giải quyết các bài toán này. Cụ thể, luận văn đề xuất kĩ thuật sinh dữ liệu kiểm thử đầu tiên dựa trên thông tin phân tích mã nguồn thay vì áp dụng kĩ thuật sinh ngẫu nhiên truyền thống trong kĩ thuật kiểm thử tự động định hướng.

69p hanh_tv26 04-04-2019 59 10   Download

Luận văn có kết cấu gồm 3 chương trong đó: Chương 1 trình bày tổng quan về hệ điều hành Android bao gồm các tầng trong Android và cấu trúc tập tin Manifest là tập tin kê khai những thông tin thiết yếu về ứng dụng với hệ thống, chương 2 đi sâu vào tìm hiểu hai phương pháp sinh đầu vào kiểm thử tự động là phương pháp kiểm thử Fuzz (Fuzzing) và phương pháp kiểm thử dựa trên mô hình (model-based testing), chương 3 tìm hiểu hai công cụ kiểm thử tự động cho Android đại diện cho hai phương pháp kiểm thử Fuzz và kiểm thử dựa trên mô hình là Monkey và DroidBot, chương 4tiến hành nghiên cứu thực ngh...

65p hanh_tv25 02-04-2019 77 9   Download

Thuế nhập khẩu là một loại thuế mà một quốc gia hay vùng lãnh thổ đánh vào hàng hóa có nguồn gốc từ nước ngoài trong quá trình nhập khẩu. Khi phương tiện vận tải đến cửa khẩu biên giới thì các công chức hải quan sẽ tiến hành kiểm tra hàng hóa so với khai báo trong tờ khai hải quan đồng thời tính số thuế nhập khẩu phải thu theo các công thức tính thuế nhập khẩu đã quy định trước. Mời các bạn cùng tìm hiểu về loại thuế này qua nội dung tài liệu được chia sẻ dưới đây.

51p thuongdanguyetan10 09-03-2019 59 7   Download

Bài viết nghiên cứu thành công màng sinh học collagen với kết quả khả quan đã mở ra một cơ hội mới đem lại một dòng sản phẩm xanh tạo nguồn lợi cho xã hội không chỉ về mặt kinh tế, mà còn góp phần tìm kiếm những sản phẩm tốt để điều trị và bảo vệ sức con người.

8p sieunhansoibac3 12-04-2018 81 9   Download