Kỹ thuật kiểm thử phần mềm

Tóm tắt Luận án Tiến sĩ Kỹ thuật "Cải tiến chất lượng kiểm thử đột biến bậc cao" được nghiên cứu với mục tiêu: Nghiên cứu tổng quan về kiểm thử đột biến và các kỹ thuật kiểm thử đột biến; Nâng cao kỹ thuật kiểm thử đột biến, đặc biệt là kiểm thử đột biến bậc cao; Đánh giá chất lượng của toán tử đột biến sử dụng để tạo ra các đột biến; Đề xuất giải pháp, mô hình để dự báo chất lượng kiểm thử đột biến sử dụng các thuật toán học máy Logistic Regression, Random Forest Classifier, XGBoost và LightGBM để thực hiện huấn luyện, dự báo tỷ lệ đột biến MS.

33p viyamanaka 04-02-2025 12 2   Download

Lưu đồ thuật toán là công cụ dùng để biểu diễn thuật toán, việc mô tả nhập (input), dữ liệu xuất (output) và luồng xữ lý thông qua các ký hiệu hình học. Bài tập cơ bản 1. Nhập vào hai số x, y. Xuất ra màn hình tổng, hiệu, tích, thương của hai số trên. 2. Nhập vào số nguyên n, kiểm tra xem n chẵn hay lẻ và xuất ra màn hình. 3. Nhập vào ba cạnh a, b, c của tam giác. Xuất ra màn hình tam giác đó thuộc loại tam giác gì? (Thường, cân, vuông, đều hay vuông cân). 4....

83p rjcky90 19-02-2012 824 123   Download

Trong phần đầu tiên của loạt bài này, các bạn đã được hướng dẫn cách cài đặt, mềm Apache 2.0 hỗ trợ SSL/TLS. Bây giờ, phần hai sẽ tiếp tục thảo luận vấn đ để đạt được mức an toàn cao nhất và sự thực thi tối ưu. Đồng thời các bạn cũn thế nào để tạo ra một Quyền hạn chứng chỉ (Certification Authority) nội bộ và trên thư viện nguồn mở OpenSSL.

24p wiwinn 27-07-2013 73 11   Download

"Phần mềm quản lý tòa nhà chung cư, khối cao ốc văn phòng cho thuê Landsoft Building" của DIP Vietnam là công cụ đắc lực giúp thực hiện và kiểm soát toàn bộ quả trình sử dụng các dịch vụ của tòa nhà, quản lý quá trình hoạt động của bộ phận lễ tân, bộ phận dịch vụ khách hàng, bộ phận kỹ thuật, bộ phận kế toán thu ngân,... Mời các bạn cùng tham khảo.

50p dipvietnam 15-09-2015 417 84   Download

Ngày nay, cùng với sự phát triển của khoa học kỹ thuật, nhu cầu ứng dụng tin học trong công tác quản lí cũng ngày càng gia tăng. Việc xây dựng các phần mềm quản lí nhằm đáp ứng nhu cầu trên là rất cần thiết. Quản lý thư viện cũng không phải là ngoại lệ. Việc phần mềm quản lí thư viện ra đời sẽ giúp cho các thủ thư đỡ mất công tìm kiếm một cách thủ công trong với một khối lượng tài liệu đồ sộ, giúp việc quản lí sách và đọc giả dễ dàng, thuận tiện hơn và đặc biệt là giúp cho đọc giả tiện hơn trong việc tra cứu sách. Hi vọng tài liệu sẽ cung cấp những kiến thức bổ ích cho bạn đọc.

39p nguyenthithanhhang_1 17-06-2011 893 300   Download

Nội dung của luận án được trình bày trong ba chương. Chương 1 trình bày tổng quan về quá trình phát triển hệ phổ kế đa kênh và hệ phổ kế trùng phùng ở trong nước và trên thế giới. Chương 2 trình bày các thực nghiệm thiết kế, chế tạo và thử nghiệm các khối điện tử; phát triển phần mềm ứng dụng thu nhận dữ liệu và điều khiển thiết bị. Chương 3 trình bày các kết quả kiểm tra và áp dụng thử nghiệm thực tế các khối điện tử đã chế tạo.

26p cumeo2009 24-07-2018 50 4   Download

Mục đích nghiên cứu sáng kiến "Sử dụng phương pháp sinh test để kiểm thử chương trình lập trình trong dạy học và bồi dưỡng học sinh THPT" nhằm tạo ra nguồn tài liệu tham khảo cho giáo viên giảng dạy bộ môn tin học về phương pháp tạo test để kiểm thử chương trình; Góp phần nâng cao kết quả kết quả học tập và dạy học của giáo viên và học sinh; Giúp giáo viên, học sinh tự đánh giá các chương trình mình viết, tạo hưng phấn trong lập trình, tìm ra được giải thuật tối ưu, đáp ứng yêu cầu bài toán.

24p matroicon0804 21-11-2022 24 5   Download

Công nghệ phần mềm hướng đối tượng. Công nghệ phần mềm hướng đối tượng là việc sử dụng kỹ thuật đối tượng (object technologies) trong xây dựng phần mềm. Kỹ nghệ đối tượng thường được sử dụng để biểu diễn tất cả các khía cạnh của cách nhìn đối tượng và bao gồm các phương pháp phân tích.

31p suatuoiconbo 29-07-2011 257 23   Download

Khái niệm Polling: Dùng phần mềm để kiểm tra các trạng thái @ IO Ports quyết định trao đổi số liệu hay không. Nhanh, đơn giản, thường dùng trong các hệ nhỏ, đơn nhiệm, ít thiết bị IO, Để thử nghiệ,: Dùng với các thiết bị ngoại vi tần suất truy nhập thấp, tốc độ chậm, ví dụ các kênh đo nhiệt độ....

34p dohongpro 06-10-2011 254 18   Download

Trong khoa học máy tính, thuật toán tìm kiếm nhị phân là một thuật toán dùng để tìm kiếm phần tử trong một danh sách đã được sắp xếp. Thuật toán hoạt động như sau. Trong mỗi bước, so sánh phần tử cần tìm với phần tử nằm ở chính giữa danh sách. Nếu hai phần tử bằng nhau thì phép tìm kiếm thành công và thuật toán kết thúc.

76p anhkhachayemkhac 09-11-2011 251 111   Download

Kiểm nghiệm là mấu chốt của đảm bảo chất lượng phần mềm, là tiến trình nhằm phát hiện lỗi bằng việc xem xét lại đặc tả, thiết kế và mã hóa. Kiểm nghiệm thành công là phát hiện ra lỗi, kiểm nghiệm không phát hiện ra là kiểm nghiệm dở.

0p nhuongld 09-05-2012 130 12   Download

Các phần tử HTML trong lập trình ASP.NET file được xử lý là chuỗi thông thường . Các phần tử này không thể truy xuất qua lập trình. Nếu muốn chúng ta phải chỉ ra các phần tử HTML được phân tích và xử lý như là một điều khiển server

36p can_loc 25-07-2012 54 7   Download

•Buffer(bộ đệm) là một vùng dữ liệu (trên RAM) được cấp phát trong quá trình thực thi ứng dụng. •Buffer OverFlow (BoF –tràn bộ đệm) là lỗi của phần mềm khi ghi khối dữ liệu quá lớn so với kích thước thực của Buffer. •Lỗ hổng tràn bộ đệm là lỗi tràn bộ đệm của phần mềm cho phép Hacker lợi dụng cài đặt mã độc và kiểm soát hệ thống. •Giới thiệu về Shellcode: –Là một đoạn mã máy dùng để thực hiện một việc gì đó khi được gọi đến như: mở cmd, bind port, load dll…...

36p vanlidochanhxg 27-05-2012 494 203   Download

Mảng thực chất là một biến được cấp phát bộ nhớ liên tục và bao gôm̀ nhiều biến thành phần.Cać thành phần của mảng la ̀ tập hợp các biến có cùng kiểu dư ̃ liệu và cùng tên. Do đó để truy xuất các biến thành phần, ta dùng cơ chế chỉ mục.TH1: kiểm tra tồn tại một phần tử trong mảng thỏa điều kiện nào đó cho trước tìm phần tử thỏa điều kiện để kết luận. *TH2: kiểm tra tất cả các phần tử thỏa điều kiện nào đó cho trước tìm phần tử không thỏa điều kiện để kết luận mảng không thỏa điều...

30p minhtuyenhcm2009 10-07-2012 126 17   Download

Một số nguyên lý XP đặc nền tảng trên: Phần mềm đã phát triển trong những giai đoạn đã được cập nhật thường xuyên. Simple Design .Hiện thực code cần đạt kết quả khách hàng mong đợi khôg nhấn mạnh đến version tương lai. Testing .Hoàn tất qua toàn bộ qui trình phát triển. Kiểm thử là thiết kế đầu tiên trước khi viết phần mềm.

50p teouit 05-01-2013 177 26   Download

Kiểm tra các thiết bị hardware sử dụng như thế nào? Việc sắp xếp tài nguyên hardware được lưu ý để phân phối tốt Sử dụng tài nguyên hiệu quả để tăng tốc độ vận hành cho mỗi thiết bị phần cứng Thiết bị dùng nhiều hơn một giai đoạn nhất định thường gây ra vấn đề Xem xét việc thay thế thiết bị - kiểm tra vấn đề phát sinh dựa trên dữ liệu thu thập: Tốc độ phản hồi Khả năng xử lý (số thành phần theo giờ)

45p teouit 05-01-2013 126 18   Download

Để khám phá lỗi sai hay thiếu sót trong phần mềm mà do đó phần mềm tiến hành xử lý không đúng hay không tuân thủ theo đặc tả của nó. Một test thành công là một test làm cho hệ thống thi hành của phần mềm không đúng và do đó lộ ra thiếu sót,hai sai trong hệ thống.

40p nguyenhoanghn 22-01-2013 176 25   Download

Kiểm thử chức năng: các test cases dẫn xuất từ các đặc tả chương trình. Chức năng đề cập đến nguồn gốc của thông tin được sử dụng để thiết kế trường hợp kiểm thử, không phải để kiểm thử như thế nào. Còn được gọi là: Kiểm thử dựa trên đặc tả (từ đặc tả). kiểm tra hộp đen (không có mã nguồn). Đặc tả chức năng mô tả hành vi chương trình dự định. Hình thức hoặc không hình thức....

84p lequangvudl 03-05-2013 362 71   Download

Khái niệm kiểm thử phần mềm.Một số đặc điểm của kiểm thử phần mềm Tại sao kiểm thử lại cần thiết? Quy trình kiểm thử. Các mức độ test. Kỹ thuật thiết kế test. Vai trò của Tester.

37p tranducanh_it_vn 24-12-2013 64 9   Download

Bài 06:Kiểm tra module thuộc bài giảng Lý thuyết kiểm tra phần mềm, có cấu trúc nội dung cần tìm hiểu gồm: Giới thiệu; Kiểm thử đơn vị; Thiết kế kịch bản kiểm thử; Kiểm tra gia tăng; Phương pháp Top-Down và Bottom-Up. Mời các bạn cùng tham khảo và nắm nội dung kiến thức cụ thể trong bài học này.

26p luongmylm 25-03-2014 81 6   Download