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

Bài giảng Công nghệ phần mềm - Chương 6: Kiểm tra chất lượng phần mềm trình bày các nội dung về độ tin cậy của phần mềm; Kiểm tra và các chiến lược kiểm tra phần mềm; Kỹ thuật kiểm thử phần mềm và đặc điểm; Chứng minh toán học tính đúng đắn của chương trình.

22p vihizuzen 28-04-2025 1 1   Download

Bài giảng "Phân tích yêu cầu phần mềm" Chương 4 - Duyệt và kiểm soát các yêu cầu phần mềm, được biên soạn gồm các nội dung chính sau: Các khái niệm trong Requirements Verification and Validation; Các kỹ thuật tiêu biểu;...Mời các bạn cùng tham khảo!

40p laphongdo0906 21-04-2025 1 1   Download

Trong bài viết này, kỹ thuật điều chế độ rộng xung cho cấu hình nghịch lưu bằng phương pháp SPWM được thực hiện. Giải thuật giải quyết vấn đề ngắn mạch (shoot-through) bằng cách bổ sung thêm deadtime vào quá trình chuyển mạch của các khóa công suất, tính toán chọn linh kiện, phân tích-xây dựng giải thuật điều khiển bộ nghịch lưu nối lưới cũng như kiểm chứng thông qua phần mềm mô phỏng PSIM và mô hình thử nghiệm.

13p viling 11-10-2024 8 2   Download

Bạn đang tìm kiếm tài liệu giúp ôn thi hiệu quả? Tài liệu “Đề thi học kì 1 môn Tin học lớp 9 năm 2024-2025 có đáp án - Trường THCS Chu Văn An, Núi Thành” chính là trợ thủ đắc lực giúp bạn hệ thống lại kiến thức, làm quen với cấu trúc đề thi và rèn luyện kỹ năng giải bài. Hãy cùng khám phá và nâng cao khả năng của mình ngay hôm nay!

16p gaupanda085 02-04-2025 2 1   Download

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 49 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 845 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 74 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 900 301   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 51 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 27 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 261 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 261 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 255 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 132 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 57 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 495 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 127 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 181 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 132 18   Download