intTypePromotion=1
ADSENSE

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

Xem 1-20 trên 538 kết quả Kiểm chứng Phần mềm
  • Bài giảng Chương 5: Kiểm chứng Phần mềm (Software Testing) trình bày về khái niệm kiểm thử phần mềm, 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, các mức độ kiểm thử, các kỹ thuật kiểm thử.

    pdf115p maiyeumaiyeu25 16-12-2016 96 14   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 39 6   Download

  • 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. Nêu lên một ví dụ cụ thể để minh hoạ cho thuật...

    pdf5p banhbeovodung 20-06-2013 45 5   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. Các bộ kiểm chứng không kiểm tra trực tiếp chương trình mà kiểm tra một...

    pdf50p truongnghen 30-08-2012 136 48   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 78 27   Download

  • Tài liệu "Công nghệ phần mềm" do TS. Lê Đức Long biên soạn trình bày về các nội dung: tổng quan về công nghệ phần mềm, phân tích hệ thống phần mềm, thiết kế phần mềm, thiết kế dữ liệu, thiết kế giao diện, thiết kế xử lý, kiểm chứng phần mềm. Để biết rõ hơn về nội dung chi tiết, mời các bạn cùng tham khảo.

    pdf50p dangthingocthuy96 11-01-2017 67 11   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 51 8   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 37 4   Download

  • Sau khi hoàn tất học phần, sinh viên có thể: Hiểu các kiến thức cơ bản về tiến trình phần mềm, các phương pháp đo độ lớn và chi phí phần mềm, ước lượng giá phần mềm, qui trình quản lý chất lượng, quản lý cấu hình phần mềm, phương pháp kiểm chứng phần mềm.

    pdf3p phongphong321 09-08-2018 21 4   Download

  • Phần mềm ngày càng đóng vai trò quan trọng trong xã hội hiện đại. Tỷ trọng giá trị phần mềm trong các hệ thống ngày càng lớn. Tuy nhiên, trong nhiều hệ thống, lỗi của phần mềm gây ra các hậu quả đặc biệt nghiêm trọng, không chỉ thiệt hại về mặt kinh tế mà còn có thể làm tổn thất trực tiếp sinh mạng con người. Do đó, nhu cầu nghiên cứu và đề xuất các phương pháp để kiểm chứng phần mềm ngày càng trở lên cần thiết.

    pdf26p tamynhan0 04-07-2020 8 0   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 127 24   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 83 15   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.

    pdf64p hoa_dai91 23-06-2014 79 15   Download

  • Đề tài tìm hiểu cơ sở lý thuyết về kiểm thử nói chung và kiểm thử trên di động nói riêng 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. Mục tiêu chính của đề tài là nghiên cứu về kiểm thử trên thiết bị di động.

    pdf79p thithizone5 12-08-2019 50 10   Download

  • Cùng nắm kiến thức trong chương này thông qua việc tìm hiểu các nội dung sau: Kiểm thử phần mềm là gì, tại sao kiểm thử phần mềm lại cần thiết, quy trình kiểm thử phần mềm, các phương pháp kiểm thử phần mềm, công cụ hỗ trợ test,...

    pdf115p phongphong321 09-08-2018 25 1   Download

  • Mục đích xây dựng tiêu chuẩn là để cung cấp một mô hình quy trình chung để kiểm thử phần mềm mà có thể được sử dụng trong bất kỳ vòng đời phát triển phần mềm nào. Mô hình này quy định các quy trình kiểm thử có thể được sử dụng để kiểm soát, quản lý và thực thi kiểm thử phần mềm trong bất kỳ tổ chức, dự án hoặc hoạt động kiểm thử phần mềm nào.

    pdf8p hanh_tv22 14-03-2019 29 1   Download

  • Bài giảng Công cụ kiểm thử phần mềm: Giới thiệu môn học giúp các bạn nắm bắt được những thông tin chung về môn học như đối tượng, mục tiêu, lịch giảng dạy, tài liệu tham khảo, phương pháp giảng dạy, cách đánh giá môn học cùng một số thông tin khác.

    pdf9p nanhankhuoctai9 20-07-2020 6 1   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. Tuy nhiên, vì độ phức tạp của phần mềm và những giới hạn về thời gian và chi phí, cho dù các hoạt động đảm bảo chất lượng phần mềm nói chung và kiểm thử nói riêng ngày càng chặt chẽ và khoa học, vẫn không đảm bảo được rằng các sản phẩm phần mềm...

    pdf79p anhuanhin 05-06-2011 542 189   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. Nắm bắt được nhu cầu đó, phần mềm quản lí các đại lí được ra đời nhằm đáp ứng các nhu cầu chung hiện nay....

    doc65p phungngocchien 03-06-2010 329 151   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. Người ta ước lượng rằng việc kiểm tra để tìm ra các lỗi này chiếm phân nửa khối lượng công việc phải làm để có được một phần mềm hoạt động được”. (Software Testing Techniques, Second Edition,...

    doc25p phongk2t1 20-12-2010 296 106   Download

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

ADSENSE

p_strKeyword=Kiểm chứng Phần mềm
p_strCode=kiemchungphanmem

nocache searchPhinxDoc

 

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