intTypePromotion=1
ADSENSE

Dữ liệu thử tự động

Xem 1-20 trên 2645 kết quả Dữ liệu thử tự động
  • Mục đích nghiên cứu của luận văn: Xây dựng công cụ sinh dữ liệu kiểm thử tự động cho chương trình nguồn Java. Nhằm mục đích thực hiện việc kiểm thử hộp trắng cho kiểm thử đơn vị một cách tự động và khoa học Hướng đến mục tiêu giảm chi phí về thời gian và tài chính khi thực hiện công việc kiểm thử cho các lập trình viên/kiểm thử viên.

    pdf25p quaymax8 27-09-2018 55 6   Download

  • Bài viết Sinh dữ liệu thử cho ứng dụng Lustre Scade sử dụng điều kiện kích hoạt tập trung nghiên cứu việc kiểm thử tự động cho các ứng dụng Lustre/SCADE. Bài viết đề xuất kỹ thuật sử dụng các điều kiện kích hoạt trên mạng lưới toán tử (operator network) để sinh ra các dữ liệu thử một cách tự động.

    pdf12p maiyeumaiyeu26 23-12-2016 25 1   Download

  • Các trình duyệt hiện tại đều tự động lưu lại dữ liệu: lịch sử, cookie, tìm kiếm, tải về..Người khác có thể mở lại các trang web riêng tư, lúc đấy chỉ với thao tác thủ công mới xóa sạch. Để bảo mật trên trình duyệt, tốt nhất bạn nên bật tự động xóa dữ liệu riêng tư này. Hiện nay có các trình duyệt phổ biến như: Google Chrome, Firefox, Internet Explorer, Opera đều có tính năng hoặc tiện ích tự động xóa mọi dữ liệu khi bạn lướt Web. Với các thao tác thực hiện trên mỗi trình...

    pdf15p skinny_1 15-08-2013 76 8   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.

    pdf69p hanh_tv26 04-04-2019 22 5   Download

  • Tài liệu kỹ thuật này giới thiệu phương pháp xử lý và hệ thống quản lý dữ liệu được thu thập thông qua hoạt động giám sát rừng có sự tham gia (PFM) thí điểm tại tỉnh Lâm Đồng, cho phép lưu trữ và tự động tính toán các chỉ số đa dạng sinh học trên phạm vi toàn tỉnh.

    pdf28p hanh_tv9 17-01-2019 24 0   Download

  • Đề tài tìm hiểu cơ sở lý thuyết về kiểm thử cũng như cách triển khai công cụ kiểm thử phần mềm tự động để giảm nhân lực kiểm thử và đảm bảo chất lượng phần mềm hơn với công việc kiểm thử bằng tay.

    pdf24p duongtuanptithcm 09-03-2015 322 74   Download

  • QTCN là hệ vật lý được mô tả bởi các biến trạng thái .Các biến trạng thái được đặc trưng cho định tính ( quality ) và định lượng (Quantity ) Của QTCN bởi PT toán lý hoặc số đo thực nghiệm.QTCN được điều khiển bởi các HT đo lường và ĐKTĐ hoạt động theo chương trình trên cơ sở dữ liệu thu được từ các PT cảm biến đo lường ( Tranducer) và các tính năng của các PT chấp hành (actuator ) ...

    ppt46p muathu_102 29-01-2013 96 30   Download

  • NET ứng dụng với cơ sở dữ liệu Oracle. Chúng tôi sẽ được giao dịch với khái niệm của ODP.NET và các yêu cầu của nó, làm việc với SQL, PL / SQL, và XML DB sử dụng ODP.NET, xem xét phát triển ứng dụng với ODP.NET: Các ứng dụng web, Dịch vụ Web, và ứng dụng di động. Chúng tôi cũng sẽ học cách thao tác cơ sở dữ liệu Oracle từ bên trong Visual Studio bằng cách sử dụng Oracle phát triển

    pdf21p lovecafe4 09-10-2011 66 6   Download

  • Đề tài "Nghiên cứu phương pháp nhận dạng tự động một số đối tượng và xây dựng cơ sở dữ liệu 3D bằng dữ liệu ảnh thu nhận từ thiết bị bay không người lái" được nghiên cứu với mục tiêu nhằm: xây dựng thuật toán và chương trình tạo DEM từ kết quả DSM phù hợp với một số địa hình ở Việt Nam, nhận dạng và nâng cao độ chính xác nhận dạng đối tượng trên bình đồ ảnh UAV và dữ liệu độ cao địa vật, xây dựng cơ sở dữ liệu 3D từ kết quả xử lý ảnh UAV và cơ sở dữ liệu địa lý. Để tìm hiểu rõ hơn, mời các bạn cùng xem và tham khảo.

    pdf171p kaiyuan1121 27-08-2018 40 7   Download

  • Tìm tin trong cơ sở dữ liệu đã thay đổi cơ bản với sự xuất hiện của Internet. Các tổ chức đã xây dựng cơ sở dữ liệu tư liệu đều xuất bản chúng trên Web. Người dùng chỉ cần trình duyệt để truy cập vào các biểu ghi dữ liệu. Các OPAC thư viện đã trở nên phổ biến và hữu ích. Nó cho phép truy cập từ xa tới các mục lục và cơ sở dữ liệu thư viện. Người dùng có thể tìm thông tin thư mục và truy cập nguồn tin toàn văn....

    ppt21p hoangyen999 04-05-2013 56 4   Download

  • Các trình duyệt web thường lưu dữ liệu riêng tư của bạn lịch sử, cookie, tìm kiếm, tải về… và chỉ xóa khi bạn yêu cầu. Nếu liên tục phải xóa dữ liệu riêng tư, bạn nên để trình duyệt tự động xóa. Lưu ý rằng, nếu thiết lập để tự động xóa các tập tin cookie khi trình duyệt đóng, bạn sẽ phải đăng nhập vào các website (mà bạn sử dụng) mỗi khi mở trình duyệt. Xóa các tập tin cache sẽ khiến website nạp chậm hơn sau khi khởi động lại trình duyệt. Google Chrome: Không tích...

    pdf16p qiqinn 25-07-2013 43 4   Download

  • Trình bày khái quát về an toàn bảo mật thông tin, an toàn bảo mật thông tin trong hoạt động thư viện điện tử. Giới thiệu hàm băm (hash), các ứng dụng của hàm băm trong việc đảm bảo toàn vẹn dữ liệu và việc ứng dụng thuật toán này trong hoạt động thư viện điện tử.

    pdf7p thicrom3006 31-03-2018 66 7   Download

  • Khôi phục dữ liệu bị xóa với Undelete 360 giúp khôi phục trên nhiều thiết bị lưu trữ khác nhau, từ ổ cứng máy tính, USB, các ổ cứng di động, thẻ nhớ sử dụng trên máy ảnh, điện thoại và nhiều thiết bị khác… Khôi phục dữ liệu bị xóa với Undelete 360 giúp khôi phục trên nhiều thiết bị lưu trữ khác nhau, từ ổ cứng máy tính, USB, các ổ cứng di động, thẻ nhớ sử dụng trên máy ảnh, điện thoại và nhiều thiết bị khác… Undelete 360 là một trong những phần mềm tốt nhất...

    pdf4p coca278 23-08-2013 48 2   Download

  • Kiểm thử là một phương pháp quan trọng để nâng cao chất lượng của một sản phẩm phần mềm được tạo ra bằng cách kiểm tra lỗi trong việc thực hiện chương trình theo một số chuẩn được gọi là chuẩn bao phủ. Kiểm thử sẽ rất tốn kém nếu nó không được hỗ trợ bởi một phương pháp hoặc một công cụ để tạo ra các bộ test. Bài báo này, chúng tôi đề xuất một phương pháp sinh dữ liệu kiểm thử tự động cho các đơn vị phần mềm dựa vào kỹ thuật kiểm chứng mô hình.

    pdf6p cumeo2425 02-07-2018 16 2   Download

  • Thông tư số: 19/2014/TT-BTP quy định về nhập, đăng tải, khai thác dữ liệu thủ tục hành chính trên Cơ sở dữ liệu quốc gia về thủ tục hành chính và quản lý Cơ sở dữ liệu quốc gia về thủ tục hành chính; căn cứ Nghị định số 22/2013/NĐ-CP ngày 13 tháng 3 năm 2013 của Chính phủ quy định chức năng, nhiệm vụ, quyền hạn và cơ cấu tổ chức của Bộ Tư pháp; căn cứ Nghị định số 64/2007/NĐ-CP ngày 10 tháng 4 năm 2007 của Chính phủ về ứng dụng công nghệ thông tin trong hoạt động của cơ quan nhà nước;... Mời các bạn cùng tìm hiểu và tham khảo nội dung thông tin tài liệu.

    pdf12p ngochuyen2345 21-10-2015 37 1   Download

  • Bài viết này giới thiệu sơ bộ về nguồn lực thông tin điện tử và các bộ sưu tập số của Thư viện; đồng thời làm rõ những yêu cầu đặt ra đối với việc triển khai thư viện số trong điều kiện hiện nay.

    pdf8p tangtuy01 01-03-2016 43 1   Download

  • 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.

    pdf5p vidoraemi2711 18-06-2019 8 1   Download

  • Dựa trên những đặc trưng của kỹ thuật khai phá dữ liệu và tổ chức thư viện số, bài viết trình bày các khả năng khai thác của kỹ thuật khai phá dữ liệu trong thư viện số sau đó đề xuất các áp dụng của kỹ thuật khai phá dữ liệu trong thư viện số trên khía cạnh: Cải thiện tốc độ; nâng cấp chất lượng dịch vụ thông tin của thư viện; hỗ trợ các quyết định của thư viện; dịch vụ thông tin cá nhân; tự động hóa xử lý thông tin; hỗ trợ các công việc khác nhằm nâng cao hiệu quả sử dụng cũng như khai thác thư viện số.

    pdf6p thicrom3006 31-03-2018 46 0   Download

  • Trong bài báo này, tác giả phân tích sự hội tụ của dãy lặp ishikawa đến điểm bất động của ánh xạ đơn điệu thỏa mãn điều kiện (E) trong không gian Banach lồi đều sắp thứ tự. Đồng thời, bài viết cũng đưa ra ví dụ để chứng tỏ rằng kết quả đạt được là mở rộng của một số kết quả trong tài liệu tham khảo.

    pdf13p thanhtrieung 03-09-2018 18 0   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.

    pdf11p hanh_tv27 06-04-2019 21 0   Download

CHỦ ĐỀ BẠN MUỐN TÌM

ADSENSE

p_strKeyword=Dữ liệu thử tự động
p_strCode=dulieuthutudong

nocache searchPhinxDoc

 

Đồng bộ tài khoản
2=>2