« Home « Kết quả tìm kiếm

Kiểm thử phần mềm


Tìm thấy 20+ kết quả cho từ khóa "Kiểm thử phần mềm"

Vai trò của kiểm thử tự động trong quy trình kiểm thử phần mềm

repository.vnu.edu.vn

Chương 2: Quy trình kiểm thử phần mềm. Chương này trình bày về mô hình phát triển phần mềm và quy trình kiểm thử trong các mô hình phát triển phần mềm. Chương 3: Các kỹ thuật kiểm thử phần mềm. Chương này trình bày sơ qua về hai kỹ thuật kiểm thử: Hộp đen (Black box), Hộp trắng (White box) và việc lựa chọn kiểu kiểm thử. kiểm thử phần mềm. Giới thiệu một số công cụ kiểm thử tự động và đi sâu vào việc tìm hiểu công cụ kiểm thử TestComplete 9.

Các kỹ thuật kiểm thử phần mềm nhúng và ứng dụng

repository.vnu.edu.vn

Các kỹ thuật kiểm thử phần mềm nhúng và ứng dụng. Kỹ thuật phần mềm. Luận văn đã trình bày khái quát về kiểm thử phần mềm nói chung, đặc biệt là nghiên cứu các kỹ thuật kiểm thử phần mềm nhúng. Từ đó áp dụng các kỹ thuật đã nghiên cứu vào kiểm thử một phần mềm nhúng cụ thể. Thiết lập môi trường kiểm thử phần mềm nhúng, tiến hành thực thi chương trình kiểm thử và báo cáo kết quả thực hiện.. Kỹ thuật kiểm thử. Phần mềm nhúng. Phần mềm. Chương 1: Trình bày tổng quan về kiểm thử phần mềm.

Tìm hiểu và Xây dựng ca kiểm thử phần mềm ứng dụng ontology.

000000273437.pdf

dlib.hust.edu.vn

11 TỔNG QUAN VỀ ỨNG DỤNG ONTOLOGY TRONG CÔNG NGHỆ PHẦN MỀMKIỂM THỬ PHẦN MỀM. Vai trò của ontology trong công nghệ phần mềm. Phân loại ontology trong quy trình phát triển phần mềm. Mô hình kiểm thử phần mềm dựa trên ontology. Sinh bộ kiểm thử. Đánh giá phương pháp sinh ca kiểm thử dựa trên ontology. Mô hình ontology kiểm thử phần mềm. Khái niệm cơ bản. Khái niệm phức hợp. Phương pháp sinh ca kiểm thử dựa trên ontology. Phương pháp sinh ca kiểm thử cho các hệ thống cố định.

Tìm hiểu và Xây dựng ca kiểm thử phần mềm ứng dụng ontology.

000000273437-tt.pdf

dlib.hust.edu.vn

Tìm hiểu và phân tích những kết quả của thế giới trong việc ứng dụng ontology trong kiểm thử phần mềm. Xây dựng một ontology trong lĩnh vực kiểm thử phần mềm. Xây dựng kịch bản minh hoạ ca kiểm thử dựa trên ontology đã thiết kế. Chương 1: Tổng quan về ứng dụng ontology trong công nghệ phần mềmkiểm thử phần mềm. Chương 2: Các nghiên cứu ontology trong việc sinh ca kiểm thử. Chương 3: Xây dựng ontology và minh hoạ ca kiểm thử phần mềm.

Nghiên cứu phương pháp sinh dữ liệu kiểm thử phần mềm dựa trên kỹ thuật kiểm chứng mô hình

repository.vnu.edu.vn

Nghiên cứu phương pháp sinh dữ liệu kiểm thử phần mềm dựa trên kỹ thuật kiểm chứng. ngành: Công nghệ phần mềm. 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.. Công nghệ phần mềm. Dữ liệu. Kiểm chứng mô hình. Phần mềm.

Phương pháp sinh bộ kiểm thử từ biểu đồ tuần tự UML 2.0 và ứng dụng cho kiểm thử phần mềm

repository.vnu.edu.vn

PHƢƠNG PHÁP SINH BỘ KIỂM THỬ TỪ BIỂU ĐỒ TUẦN TỰ UML 2.0 VÀ ỨNG DỤNG CHO KIỂM THỬ PHẦN MỀM. Tiếp theo tôi xin gửi lời cảm ơn đến các thầy cô giảng viên Trƣờng Đại học Công Nghệ - Đại học Quốc Gia Hà Nội – những ngƣời đã tận tâm truyền đạt những kiến thức quý báu làm nền tảng cho tôi suốt 2 năm học..

Nghiên cứu kiểm thử bao phủ phần mềm và ứng dụng

repository.vnu.edu.vn

Nghiên cứu kiểm thử bao phủ phần mềm và ứng dụng. Luận văn Thạc sĩ ngành: Công nghệ phần mềm. Abstract: Chương 1: Tổng quan về kiểm thử phần mềm. Chương 2: Kiểm thử phần mềm hướng đối tượng. Chương 3: Kiểm thử bao phủ phần mềm. Chương 4: Máy trạng thái và kiểm thử bao phủ máy trạng thái.. Keywords: Kiểm thử phần mềm. Công nghệ phần mềm. Máy trạng thái Content.

Nghiên cứu kiểm thử bao phủ phần mềm và ứng dụng

tainguyenso.vnu.edu.vn

Trong luận văn đã trình bày tổng quan về kiểm thử phần mềm: bao gồm các khái niệm cơ bản, các chiến lược kiểm thử, các phương pháp kiểm thử, và các vấn đề liên quan đến kiểm thử trong đảm bảo chất lượng phần mềm.. Luận văn cũng trình bày tổng quan về kiểm thử phủ và những nghiên cứu liên quan đến kiểm thử phủ trong các phần mềm phát triển theo phương pháp truyền thống, phần mềm phát triển theo hướng đối tượng, những kết quả đạt được, những khó khăn thuận lợi và những vấn đề đặt ra..

Xây dựng các ca kiểm thử tự động từ giao diện phần mềm

repository.vnu.edu.vn

Chi phí kiểm thử phần mềm thường chiếm tới 40% tổng các nỗ lực dành cho một dự án phát triển phần mềm. Vì thế, giảm chi phí cho việc tạo Test Case (thời gian, công sức) cũng là một trong những vấn đề được quan tâm trong kiểm thử phần mềm.

Nghiên cứu và đề xuất các phương pháp kiểm thử giao diện phần mềm

repository.vnu.edu.vn

Nghiên cứu và đề xuất các phương pháp kiểm thử giao diện phần mềm. Abstract: Trình bày các lý thuyết tổng quan về kiểm thử phần mềm: các khái niệm cơ bản, tiến trình kiểm thử phần mềm, các phương pháp, kỹ thuật kiểm thử phần mềm. Trình bày các kiến thức về giao diện và các vấn đề cần lưu ý khi thiết kế và kiểm thử giao diện phần mềm. Tập trung vào kiểm thử giao diện phần mềm, nêu các hướng giải quyết và các vấn đề cần kiểm thử giao diện, đi sâu vào từng loại ứng dụng phần mềm.

Xây dựng hệ thống kiểm thử tự động cho các giai đoạn cài đặt phần mềm

repository.vnu.edu.vn

Chúng tôi đã chọn đề tài “Xây dựng hệ thống kiểm thử tự động cho các giai đoạn cài đặt phần mềm”. Luận văn đi sâu nghiên cứu về kiểm thử tự động, một giải pháp góp phần nâng cao năng suất, chất lượng hoạt động kiểm thử phần mềm.. Luận văn tổng hợp lý thuyết về kiểm thử tự động, vai trò và lợi ích của nó đối với hệ thống phần mềm. Các yêu cầu cần thiết để xây dựng một hệ thống kiểm thử phần mềm cũng như các vấn đề có thể gặp phải..

Nghiên cứu - ứng dụng phương pháp và công cụ kiểm thử phần mềm tự động

311559.pdf

dlib.hust.edu.vn

Ni dung lu m u tng quan v kim th t ng và công c t ng T ng hóa kch bn kim th s dng Selenium Trin khai và kim th h thng t qu 12 PHẦN NỘI DUNG CHƯƠNG I : TÌM HIỂU TỔNG QUAN VỀ KIỂM THỬ TỰ ĐỘNG VÀ CÔNG CỤ TỰ ĐỘNG 1. Kiểm thử tự động phần mềm là gì Kim th t ng. Mô hình chung của kiểm thử tự động phần mềm Kim th t ng phn. t ng hóa quy trình kim th trong mô hình kim th thc hin các ch.

Các nguyên lý và kỹ thuật kiểm chứng chất lượng phần mềm

000000254255.pdf

dlib.hust.edu.vn

Phương pháp nghiên cứu CHƯƠNG I: TỔNG QUAN VỀ KIỂM THỬ PHẦN MỀM Kiểm thử phần mềm Các phương pháp kiểm thử phần mềm Các chiến lược kiểm thử phần mềm Các giai đoạn kiểm thử phần mềm Kiểm thử đơn vị Kiểm thử tích hợp Kiểm thử hợp thức hoá Kiểm thử chấp nhận Kiểm thử hồi quy Các vấn đề của kiểm thử phần mềm Các hạn chế của kiểm thử Các nguyên tắc kiểm thử Phân loại một số công cụ kiểm thử tự động Kiểm chứng phần mềm Phương pháp Giả lập và kiểm thử (Simulation and Testing Phương pháp Kiểm chứng suy dẫn

KIỂM CHỨNG MÔ HÌNH PHẦN MỀM SỬ DỤNG NUSMV

tainguyenso.vnu.edu.vn

Kiểm chứng mô hình cho phép khẳng định được phần mềm hoàn toàn không còn lỗi và thực hiện được đúng các chức năng đã đặt ra. 2.1.3 Sự khác nhau giữa kiểm chứng mô hình phần mềmkiểm thử phần mềm. Cả kiểm chứng mô hình và kiểm thử phần mềm đều thực hiện vai trò đảm bảo chất lượng phần mềm bằng việc tìm ra các lỗi nếu có của phần mềm. Tóm lại, kiểm chứng mô hình là một phương pháp hiệu quả nhất để kiểm chứng phần mềm.

Các nguyên lý và kỹ thuật kiểm chứng chất lượng phần mềm

000000254255-TT.pdf

dlib.hust.edu.vn

Cuối cùng là đề xuất quy trình đặc tả và kiểm chứng mô hình sử dụng MaudeChecker kiểm chứng cho phần mềm Reading Practise c) Tóm tắt cô đọng các nội dung chính và đóng góp mới của tác giả: Chương một nêu tổng quan các nguyên lý - kỹ thuật kiểm thử phần mềm và sơ bộ về phương pháp kiểm chứng mô hình. Chương hai nêu chi tiết về kỹ thuật kiểm chứng mô hình, logic thời gian - 2 - tuyến tính và ngôn ngữ lập trình Maude.

Nghiên cứu các phương pháp đảm bảo chất lượng phần mềm

repository.vnu.edu.vn

Nghiên cứu giải thuật di truyền và sinh dữ liệu kiểm thử một cách tự động sử dụng giải thuật di truyền. Chất lượng phần mềm. Phần mềm. Kiểm thử phần mềm. Chương 1: Giới thiệu tổng quan về phát triển phần mềm và chất lượng phần mềm – Các khái niệm cơ bản về hệ thống phần mềm, lỗi phần mềm, mô hình phát triển phần mềm, chất lượng phần mềmkiểm thử phần mềm. Giới thiệu một số nguyên tắc cơ bản trong kiểm thử và quy trình kiểm thử cơ bản..

Nghiên cứu thử nghiệm và ứng dụng phương pháp lalp trong đánh giá hiệu năng phần mềm

311508-tt.pdf

dlib.hust.edu.vn

Huỳnh Quyết Thắng 4.Tên đề tài (tiếng Việt): Nghiên cứu thử nghiệm và ứng dụng phương pháp PALP trong đánh giá hiệu năng phần mềm 6.Tên đề tài (tiếng Anh): Research testing and application PLAP method in evaluation performance software II. Các tổ chức Công nghệ thông tin đang phải chịu áp lực rất lớn trong việc giảm thiểu chi phí kiểm thử phần mềm, đặc biệt đối với các hệ thống lớn, khi mà chi phí kiểm thử chiếm tỷ lệ rất cao trong toàn bộ chi phí quản lý, đầu tư.

Các kỹ thuật kiểm thử cấu trúc chương trình theo hướng tiếp cận kiểm thử dựa tìm kiếm.

000000295713.pdf

dlib.hust.edu.vn

Tổng quan về kiểm thử phần mềm. Lý do kiểm thử phần mềm. Vai trò của kiểm thử phần mềm. Mục đích của kiểm thử phần mềm. Quy trình kiểm thử phần mềm. Các kỹ thuật kiểm thử phần mềm. Kỹ thuật kiểm thử hộp trắng (White-Box Testing. Kỹ thuật kiểm thử hộp đen (Black-Box Testing. Kỹ thuật kiểm thử hộp xám (Gray-Box Testing. Kiểm thử cấu trúc và các khái niệm. Khái niệm kiểm thử cấu trúc. Phủ kiểm thử cấu trúc. Các phƣơng pháp kiểm thử cấu trúc. Kiểm thử theo câu lệnh. Kiểm thử theo đƣờng dẫn.

Kiểm tra độ phủ trong kiểm thử đơn vị

repository.vnu.edu.vn

Kiểm tra độ phủ trong kiểm thử đơn vị. Luận văn Thạc sĩ ngành: Kỹ thuật phần mềm. Kỹ thuật phần mềm. Kiểm thử đơn vị. Kiểm tra độ phủ. Kiểm thử phần mềm. Trong những năm gần đây, khi công nghệ thông tin càng ngày càng phát triển, phần mềm thực sự trở thành một phần không thể thiếu trong các doanh nghiệp. Mỗi bộ phận trong mỗi doanh nghiệp đều phụ thuộc vào phần mềm để hỗ trợ việc phát triển, sản xuất, quảng cáo và tiếp thị các sản phẩm và dịch vụ của họ.

Phương pháp dựa trên giá trị phân tích chất lượng phần mềm: nghiên cứu,thử nghiệm đánh giá độ tin cậy phần mềm

271241.pdf

dlib.hust.edu.vn

Xác định các yêu cầu phần mềm. Xác định các đối tƣợng thiết kế phần mềm. Xác định các đối tƣợng kiểm thử phần mềm. Xác định các tiêu chuẩn chấp nhận cho một sản phẩm phần mềm hoàn chỉnh. Mô hình chất lượng Chất lƣợng sản phẩm phần mềm có thể đƣợc đánh giá qua một mô hình chất lƣợng cụ thể. Là khả năng của phần mềm có thể hoạt động ổn định trong những điều kiện cụ thể. Có thể học đƣợc: ngƣời sử dụng có thể học các ứng dụng của phần mềm.