Sinh test case

"Đề cương chi tiết học phần Kiểm định chất lượng phần mềm (Software Quality Assurance & Testing)" cung cấp các thông tin như thời gian, điều kiện tiên quyết, kiến thức, mô tả tóm tắt nội dung, các kỹ năng và yêu cầu mà sinh cần đạt được.

10p hoangcanhminh_111191 23-12-2020 37 5   Download

Luận văn là một chương trình phần mềm với mục tiêu có thể sinh tự động ra một bộ Test Case dựa trên dữ liệu đầu vào là một tài liệu đặc tả yêu cầu nghiệp vụ SRS. Bộ Test Case này sẽ được sử dụng là đầu vào cho quá trình kiểm thử phần mềm trong quy trình sản xuất phần mềm.

25p tamynhan0 04-07-2020 30 5   Download

Trong khuân khổ luận văn này, tác giả mong muốn đề cập đến những khái niệm căn bản liên quan đến SRS và Test Case, các lý thuyết chung, và đưa ra những kết quả nghiên cứu bước đầu. Tác giả cũng mong muốn có thể giải quyết được vấn đề sinh Test Case từ các yêu cầu phần mềm, từ đó phát triển được bộ công cụ sinh Test Case tự động, đưa ra những giải pháp công nghệ để có thể giải quyết bài toán đặt ra.

25p hanh_tv26 05-04-2019 60 4   Download

Cấu trúc của luận văn được chia thành 5 phần chính: Giới thiệu tổng quan về bài toán và nội dung chính của luận văn, đưa ra các khái niệm tổng quan về các đối tượng liên quan, trình bày giải pháp sinh test case tự động, giới thiệu về các công nghệ sử dụng, kết luận và định hướng phát triển. Với 5 nội dung đề cập trên, tác giả mong muốn cung cấp đầy đủ thông tin để luận văn có thể trở thành một luận văn nghiên cứu với những vấn đề được giải quyết một cách triệt để và có định hướng phát triển lâu dài.

44p hanh_tv25 02-04-2019 58 7   Download

Bài báo này, chúng tôi đề xuất một phương pháp mới nhằm kiểm chứng và sinh bộ kiểm thử cho mô hình hành vi và mô hình điều khiển của ứng dụng dịch vụ web. Với phương pháp này, mô hình hành vi của ứng dụng web được chuyển đổi thành sang ngôn ngữ SMV, các chuẩn bao phủ kiểm thử được đặc tả bằng ngôn ngữ LTL, CTL, sau đó bộ công cụ kiểm chứng NuSMV được sử dụng để kiểm chứng một cách tự động mô hình hành vi và sinh ra các phản ví dụ từ đó sinh ra các bộ kiểm thử.

6p cumeo2425 02-07-2018 73 5   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.

6p cumeo2425 02-07-2018 49 3   Download

Bài viết Phương pháp sinh tự động ca kiểm thử từ mô hình ca sử dụng đề xuất một phương pháp cho đặc tả ca sử dụng bằng một mô hình và hướng dẫn sinh tự động các ca kiểm thử tự động từ mô hình này. Mời các bạn tham khảo bài viết để nắm bắt nội dung chi tiết.

10p maiyeumaiyeu26 23-12-2016 79 4   Download

Mục tiêu của bài giảng này là giúp các bạn sinh viên có thể hiểu được các khái niệm về verification, valdation, vàt testing; nắm được các nguyên lý về kiểm thử; hiểu khái niệm ca kiểm thử (test case); các phương pháp thiết kế test case; phương pháp kiểm thử chương trình và phương pháp kiểm thử hệ thống.

56p nganga_09 26-10-2015 80 6   Download

Với mục đích giúp các bạn sinh viên có thể hiểu được các khái niệm về verification, valdation, vàt esting; nắm được các nguyên lý về kiểm thử; hiểu khái niệm ca kiểm thử (test case); các phương pháp thiết kế test case; phương pháp kiểm thử chương trình và phương pháp kiểm thử hệ thống chúng tôi xin giới thiệu tới các bạn Bài giảng Kiểm chứng, thẩm định và kiểm thử. 

56p cobetocxul9 22-05-2015 97 12   Download

Đưa ra các vấn đề cần thiết và cấp bách trong việc nghiên cứu và xây dựng một kỹ thuật sinh Test case hiệu quả từ yêu cầu người dùng. Giới thiệu tổng quan về quá trình sinh test case tự động và các phương pháp sinh Test case: Sinh Test case dựa trên đặc tả, sinh test case dựa trên mô hình, sinh test case hướng đường dẫn. Trình bày các phương pháp và kỹ thuật sinh Test case tự động hiện có, từ đó đề xuất một kỹ thuật sinh Test case tự động và phân tích ưu...

3p banhbeovodung 20-06-2013 169 35   Download

Trình bày tổng quan về kiểm thử, kiểm thử tự động. Trình bày các khái niệm cơ bản về Test Case và các Phương pháp sinh Test Case tự động hiện nay. Trình bày phương pháp sinh Test Case từ giao diện và áp dụng phương pháp sinh Test Case từ giao diện với ví dụ cụ thể. Xây dựng công cụ sinh Test Case tự động bằng phương pháp sinh Test Case từ giao diện.

3p banhbeovodung 20-06-2013 98 14   Download