Kiểm chứng phần mềm

Xem 1-20 trên 440 kết quả Kiểm chứng phần mềm
  • Giới thiệu tổng quan phần mềm hướng thành phần, đưa ra các khái niệm cơ bản và cách tiếp cận để kiểm chứng phần mềm hướng thành phần. Trình bày chi tiết thuật toán học L*, giải thuật tạo giả định sử dụng thuật toán học L*. Nghiên cứu giải thuật tạo giả định tối thiểu. Đưa ra một phản ví dụ để minh hoạ rằng: giả định được tạo ra bởi giải thuật sử dụng thuật toán học L* chưa phải là giả định tối thiểu.

    pdf5p banhbeovodung 20-06-2013 24 4   Download

  • Bài giảng "Nhập môn công nghệ phần mềm - Chương 6: Kiểm chứng phần mềm" cung cấp các kiến thức giúp người học có thể Biết được qui trình kiểm tra phần mềm, biết được một số loại test cơ bản, biết được một số khái niệm liên quan đến testing, biết được công việc, công cụ thường dùng của tester.

    pdf28p thangnamvoiva20 17-09-2016 4 1   Download

  • Kiểm chứng mô hình (model checking) là một phương pháp hình thức dùng cho việc kiểm chứng hệ thống. Kiểm chứng mô hình khảo sát tất cả các trạng thái có thể của hệ thống và kiểm tra rằng chúng chứa sự đúng đắn đã được đặc tả. Việc sinh ra các trạng thái và kiểm tra có thể được thực hiện một cách tự động bằng phần mềm và Spin là một trong những bộ kiểm chứng (model checker) được sử dụng rộng rãi.

    pdf50p truongnghen 30-08-2012 83 41   Download

  • Kiểm chứng phần mềm có một vai trò quan trọng trong việc đảm bảo tính đúng đắn của hệ thống phần mềm trong suốt quá trình thực thi,kiểm chứng giúp phát hiện, tìm ra lỗi và thông báo lỗi cho nhà phát triển. Phương pháp lập trình hướng khía cạnh (AOP) cùng với công nghệ AspectJ ra đời đã tạo ra một hướng phát triển mới cho kiểm chứng phần mềm, giúp nâng cao khả năng dò tìm lỗi, thông báo lỗi mà không ảnh hưởng tới mã nguồn hệ thống....

    pdf51p truongnghen 30-08-2012 56 25   Download

  • Chương 5 trang bị cho người học những hiểu biết về giai đoạn kiểm chứng phần mềm (software testing). Thông qua chương này người học có thể hiểu được khái niệm kiểm thử phần mềm, hiểu được tại sao phải kiểm thử phần mềm, các nguyên lý trong kiểm thử phần mềm, biết được các mức độ kiểm thử và các kỹ thuật kiểm thử.

    ppt115p kiepnaybinhyen_04 24-12-2015 9 2   Download

  • Bài giảng "Công nghệ phần mềm - Chương 6: Kiểm chứng phần mềm" cung cấp cho người học các kiến thức: Qui trình kiểm tra phần mềm, kiểm tra đơn vị, phân hệ, hệ thống, giới thiệu một số loại test cơ bản, thiết kế testcase, vai trò, công cụ thường dùng của tester,... Mời các bạn cùng tham khảo.

    pdf28p thangnamvoiva20 17-09-2016 1 1   Download

  • Nghiên cứu về sự tự động hóa trong kiểm thử phần mềm gồm khái niệm, lợi ích và cách thức thực hiện tự động hóa, chỉ ra một số công cụ kiểm thử phần mềm và tập trung vào việc tìm hiểu công cụ kiểm thử TestComplete 9 - công cụ đang được sử dụng khá phổ biến hiện nay. Trình bày một phương pháp sử dụng công cụ kiểm thử TestComplete trong kiểm chứng thiết kế phần mềm.

    pdf18p banhbeovodung 20-06-2013 63 15   Download

  • Trình bày cơ sở lý luận về kiểm định phần mềm và các nhóm kiểm định phần mềm. Giới thiêu về JPF, kiến trúc của JPF, cách mở rộng, phát triển trên JPF. Ngoài ra giới thiệu về thực thi tượng trưng để sinh dữ liệu kiểm thử cho chương trình trong JPF cũng như cho phép sinh tự động dữ liệu kiểm thử chương trình Java. Tìm hiểu về SMT, Z3, các lý thuyết được hỗ trợ trên Z3, các API của Z3 để tích hợp với JPF và ứng dụng của Z3. Nghiên cứu, đánh giá các giải...

    pdf2p banhbeovodung 20-06-2013 42 10   Download

  • Bài giảng môn học Kỹ nghệ phần mềm: Bài 9 trình bày các khái niệm xác minh, thẩm định, rà soát phần mềm, kiểm thử phần mềm. Đây là tài liệu dành cho sinh viên ngành Công nghệ thông tin.

    pdf0p hoa_dai91 23-06-2014 24 4   Download

  • Với sự phát triển như vũ bão của công nghệ thông tin nói chung và công nghệ phần mềm nói riêng, việc phát triển phần mềm ngày càng được hỗ trợ bởi nhiều công cụ tiên tiến, giúp cho việc xây dựng phần mềm đỡ mệt nhọc và hiệu quả hơn.

    pdf79p anhuanhin 05-06-2011 469 177   Download

  • Ứng dụng tin học trong việc quản lí dường như không còn xa lạ với các doanh nghiệp, công ty hiện nay. Lợi ích mà các chương trình phần mềm quản lí đem lại khiến ta không thể không thừa nhận tính hiệu quả của nó. Trong thực tế, các công ty mẹ hay các đại lí lớn đều muốn có một sự quản lí các công ty con, đại lý con một cách chính xác, hiệu quả và nhanh chóng.

    doc65p phungngocchien 03-06-2010 287 148   Download

  • “Lỗi phần mềm là chuyện hiển nhiên của cuộc sống. Chúng ta dù cố gắng đến mức nào thì thực tế là ngay cả những lập trình viên xuất sắc nhất cũng không có thể lúc nào cũng viết được những đoạn mã không có lỗi. Tính trung bình, ngay cả một lập trình viên loại tốt thì cũng có từ 1 đến 3 lỗi trên 100 dòng lệnh.

    doc25p phongk2t1 20-12-2010 238 103   Download

  • Khi kết thúc kiểm thử tích hợp thì phần mềm đã hoàn toàn được rắp láp trong một gói, các sai giao diện đã được bộc lộ và chỉnh sửa và một loạt cá kiểm thử phần mềm cuố cùng vắt đầu-kiểm thử thẩm định. Thẩm định là thắng lợi nếu các chức năng phần mềm ở mọt chừng mức nào đó là có thể thỏa mã mong đợi hợp lý của người đặt hàng

    pdf0p nhuongld 03-05-2012 156 88   Download

  • Kiểm chứng mô hình (model checking) là một hướng tiếp cận hiệu quả cho việc đảm bảo chất lượng phần mềm. Kĩ thuật này được áp dụng để chứng minh một cách tự động tính đúng đắn của phần mềm hoặc chỉ ra tại sao phần mềm không chạy đúng thông qua phản ví dụ.Hiện nay có rất nhiều công cụ kiểm chứng mô hình phần mềm như NuSMV, SPIN, KRONOS ...

    pdf45p truongnghen 30-08-2012 83 38   Download

  • Trong quy trình phát triển phần mềm, kiểm chứng phần mềm đóng vai trò quan trọng trong việc đảm bảo tính đúng đắn của hệ thống trong suốt quá trình thực thi. Nó có nhiệm vụ phát hiện và dò tìm lỗi cho giai đoạn kiểm thử phần mềm. Phương pháp lập trình hướng khía cạnh (AOP) cùng với công nghệ AspectJ ra đời đã tạo ra hướng phát triển mới cho kiểm chứng phần mềm, giúp nâng cao chức năng dò tìm, sửa lỗi phần mềm mà không ảnh hưởng tới mã nguồn hệ thống....

    pdf93p truongnghen 31-08-2012 81 31   Download

  • Phần mềm ngày càng được xây dựng và phát triển mạnh mẽ. Phần mềm được tạo ra phải đảm bảo chất lượng. Kiểm chứng phần mềm là một trong những giai đoạn quan trọng trong quy trình sản xuất phần mềm. Kiểm chứng động phần mềm nhằm phát hiện và tìm lỗi trong giai đoạn kiểm thử phần mềm.

    pdf56p truongnghen 30-08-2012 68 25   Download

  • Công nghệ thông tin hiện nay là một trong những ngành phát triển mạnh mẽ nói chung, cùng với công nghệ phần mềm nói riêng. Nhằm tạo ra những sản phẩm phần mềm đảm bảo chất lượng và tính chính xác cao. Nên việc đặc tả và kiểm chứng phần mềm hết sức quan trọng trong nhiều lĩnh vực sử dụng phần mềm, đặc biệt là các ngành công nghệ cao đòi hỏi sự chính xác cao của phần mềm.

    pdf50p truongnghen 30-08-2012 76 24   Download

  • Với sự phát triển như vũ bão của Công nghệ thông tin (CNTT) nói chung và Công nghệ phần mềm nói riêng, việc phát triển phần mềm ngày càng được hỗ trợ bởi nhiều công cụ phát triển tiên tiến, làm cho việc xây dựng phần mềm đỡ mệt nhọc, nhanh hơn và hiệu quả hơn.

    pdf3p banhbeovodung 20-06-2013 24 4   Download

  • Giáo trình Nhập môn công nghệ phần mềm do Thạc Bình Cường biên soạn gồm 9 chương: Giới thiệu chung về phần mềm, công nghệ phần mềm, quản lý dự án phần mềm, yêu cầu người dùng, phân tích yêu cầu, thiết kế, kiểm thử, bảo trì, các chủ đề nâng cao trong công nghệ phần mềm. Giáo trình dành cho sinh viên ngành Công nghệ thông tin.

    pdf214p muaxuan102 26-02-2013 175 105   Download

  • Tài liệu Khai thác lỗi phần mềm giúp các bạn biết được thông tin chung cơ bản cần biết trong việc khai thác lỗi phần mềm; hướng dẫn quá trình tìm kiếm và khai thác lỗi phần mềm; các công cụ cần thiết; kiến thức về mạng và Metasploit; Shellcode; kỹ thuật Reverse; tìm hiểu sâu hơn về tràn bộ đệm (Buffer overflow); Heap Overflow; danh sách các trang web cung cấp exploit; rèn luyện updating.

     

    pdf12p iamok147 13-05-2015 49 13   Download

Đồng bộ tài khoản