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

Bài viết chỉ ra những thách thức mà công tác tuyển dụng gặp phải khi cách mạng công nghiệp 4.0 làm thay đổi cơ cấu lao động và phương thức tìm kiếm nhân sự. Từ đó, tác giả đề xuất giải pháp đổi mới quy trình, công cụ và kỹ thuật tuyển dụng để nâng cao tính thích nghi của doanh nghiệp trong môi trường số. Mời các bạn cùng tham khảo bài viết để biết thêm nội dung chi tiết!

9p hoatrongguong05 26-05-2025 1 1   Download

Tài khoản này dùng để phản ánh giá trị hiện có và tình hình biến động tăng, giảm các loại đầu tư dài hạn khác (ngoài các khoản đầu tư vào công ty con, vốn góp vào các cơ sở kinh doanh đồng kiểm soát, đầu tư vào công ty liên kết), như: Đầu tư trái phiếu, đầu tư cổ phiếu, hoặc đầu tư vào đơn vị khác mà chỉ nắm giữ dưới 20% vốn chủ sở hữu (dưới 20% quyền biểu quyết),. . . và thời hạn thu hồi hoặc thanh toán trên 1 năm. ...

100p conrepcon 13-04-2012 409 98   Download

Nguồn vốn này được huy động từ số tiền nhàn rỗi của các cá nhân, doanh nghiệp, tổ chức kinh tế. Do những thành phần này họ có thu nhập cao, muốn tiết kiệm để đầu tư cho tương lai, phòng ngừa rủi ro. Nguồn vốn này được huy động dưới các hình thức sau: +Tiền gửi không kỳ hạn: Đây là loại tiền gửi mà khách hàng gửi vào ngân hàng nhưng có thể rút ra bất kỳ lúc nào và ngân hàng sẵn sàng đáp ứng nhu cầu của khách hàng. Mục đích chính của khách hàng gửi không kỳ hạn là đảm bảo an...

78p hongphuocidol 03-04-2013 157 40   Download

Mã hóa nhằm đảm bảo các yêu cầu sau: Tính bí mật (confidentiality): dữ liệu không bị xem bởi “bên thứ 3” Tính toàn vẹn (Integrity): dữ liệu không bị thay đổi trong quá trình truyền Tính không khước từ (Non-repudiation): là cơ chế người thực hiện hành động không thể chối bỏ những gì mình đã làm, có thể kiểm chứng được nguồn gốc hoặc người đưa tin

50p metan0112 07-01-2013 324 130   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 28 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 29 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 50 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 32 6   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 54 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 68 4   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 45 3   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 83 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 63 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 81 9   Download

p 01-01-1970   Download

p 01-01-1970   Download

p 01-01-1970   Download

p 01-01-1970   Download

p 01-01-1970   Download

p 01-01-1970   Download