Tài liệu Kiểm thử phần mềm

Kiểm thử ngẫu nhiên tự động có hướng dẫn: Cải tiến trong tạo dữ liệu kiểm thử cho các dự án C++

Improvements of directed automated random testing in test data generation for C++ projects

This paper improves the breadth-¯rst search strategy in directed automated random testing (DART) to generate a fewer number of test data while gaining higher branch coverage, namely Static DART or SDART for short. In addition, the paper extends the test data compilation mechanism in DART, which currently only supports the projects written in C, to generate test data for C++ projects. The main idea of SDART is when it is less likely to increase code coverage with the current path selection strategies, the static test data generation will be applied with the expectation that more branches are covered earlier.

34 trang

334 lượt xem

2 lượt tải

Kiểm tra SQL Server bằng Windows PowerShell

Loạt bài này chúng tôi sẽ giới thiệu cho các bạn về các phương pháp và các thủ tục để kiểm tra trạng thái hiện hành của hệ điều hành, các trường hợp của SQL Server và cơ sở dữ liệu,… bằng Windows PowerShell. Thay vì sử dụng Vbscript, các file bat, hay các thực thi sql client,… chúng tôi sẽ giới thiệu cho các bạn về sức mạnh bên của Windows PowerShell trong vấn đề kiểm tra trạng thái của SQL Servers....

46 trang

179 lượt xem

13 lượt tải

Qui trình và kế hoạch kiểm thử phần mềm

Tài liệu Qui trình và kế hoạch kiểm thử phần mềm trình bày các nội dung: giới thiệu quy trình kiểm thử phần mềm, vai trò của quy trình kiểm thử phần mềm, sơ đồ tổ chức phổ biến của đội kiểm thử, xây dựng kế hoạch kiểm thử, phân tích & thiết kế kiểm thử, nhu cầu cần phải có kế hoạch kiểm thử, Các hoạt ₫ộng chính trong việc xây dựng kế hoạch kiểm thử, cách tiếp cận & các chiến lược được dùng,...

23 trang

415 lượt xem

71 lượt tải

Kiểm thử phần mềm Software testing

Several 1985-7 deaths of cancer patients were due to overdoses of radiation resulting from a race condition between concurrent tasks in the Therac-25 software. Errors in medical software have caused deaths. Details in B.W. Boehm, "Software and its Impact: A Quantitative Assessment," Datamation,19(5), 48-59(1973). cần kinh nghiệm khiểm thử, một vài sự hiểu biệt về các pha phát triển của dự án co1 thể có ích, toán học có thể trợ giúp

31 trang

365 lượt xem

81 lượt tải

Phương pháp kiểm thử chương 9: Tổng quan và hướng dẫn chi tiết

Chương 9: Phương pháp kiểm thử

Định nghĩa kiểm thử: • Là mấu chốt của đảm bảo chất lượng phần mềm • Là tiến trình (và là nghệ thuật) nhằm phát hiện lỗi bằng việc xem xét lại đặc tả, thiết kế và mã hoá. • Kiểm thử thành công là phát hiện ra lỗi; kiểm thử không phát hiện ra lỗi là kiểm thử dở (Sue A.Conger- The New SE)

45 trang

142 lượt xem

27 lượt tải

Đảm bảo chất lượng phần mềm và kiểm thử

Khi kết thúc kiểm thử tích hợp thì phần mềm đã hoàn toàn được rắp láp trong một gói, các sai giao diện đã được bộc lộ và chỉnh sửa và một loạt cá kiểm thử phần mềm cuố cùng vắt đầu-kiểm thử thẩm định. Thẩm định là thắng lợi nếu các chức năng phần mềm ở mọt chừng mức nào đó là có thể thỏa mã mong đợi hợp lý của người đặt hàng

0 trang

357 lượt xem

94 lượt tải

Đề Tài : Kiểm Thử Phần Mềm

Để 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.

40 trang

399 lượt xem

31 lượt tải

Kiểm thử chức năng phần mềm: Kinh nghiệm và các phương pháp kiểm thử

Kiểm thử chức năng- Kiểm thử phần mềm

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....

84 trang

434 lượt xem

72 lượt tải

So sánh phần mềm: SuiteCRM và Salesforce - Đánh giá chi tiết

So sánh phần mềm Suitecrm và phần mềm Salesforce

Tài liệu so sánh phần mềm Suitecrm và phần mềm Salesforce; quản lý người liên hệ, quản lý cơ hội bán hàng, quản lý báo giá, quản lý hợp đồng, quản lý hóa đơn, quản lý servey khách hàng, quản lý gửi email marketing, quản lý các hoạt động bán hàng (gọi điện, gặp mặt, đi sự kiện, gửi email,…) tổng hợp và lên các báo cáo kinh doanh.

6 trang

92 lượt xem

3 lượt tải

Kỹ thuật đệ qui

Nội dung của tài liệu trình bày về kỹ thuật lập trình đệ qui, khái niệm về chương trình đệ qui, các dạng chương trình đệ qui, theo dõi hoạt động của chương trình đệ qui, một số bài toán đệ qui thông dụng và một số ứng dụng khác.

18 trang

137 lượt xem

6 lượt tải

Những điều cần lưu ý khi bạn học Tester

Tài liệu Những điều cần lưu ý khi bạn học Tester sau đây sẽ đưa ra những mẹo và thủ thuật khi học Tester, thông qua đó sẽ giúp các bạn hiểu rõ hơn về Tester. Đây là tài liệu hữu ích dành cho các bạn chuyên ngành Công nghệ thông tin.

8 trang

162 lượt xem

14 lượt tải

Sổ tay Smarteam: Thao tác Check In/Check Out cơ bản (Hướng dẫn chi tiết)

Sổ tay Smarteam thao tác cơ bản về Check In/Check Out

Sổ tay Smarteam thao tác cơ bản về Check In/Check Out hướng dẫn các bạn Cách login vào Smarteam, cách tìm kiếm thư mục dữ liệu đơn, cách Check In dữ liệu lên Smarteam, cách Check Out dữ liệu từ Smarteam xuống Server,... Với các bạn chuyên ngành Công nghệ thông tin thì đây là tài liệu tham khảo hữu ích.

16 trang

227 lượt xem

6 lượt tải

Hướng dẫn sử dụng Board Test nguồn Power Supply

Tài liệu Hướng dẫn sử dụng Board Test nguồn Power Supply tester v2.0 Model: PT 1114 được thực hiện nhằm cung cấp cho người học các kiến thức về cấu tạo, chức năng, hoạt động của Board Test nguồn Power Supply tester v2.0 Model: PT 1114. Đây là tài liệu tham khảo hữu ích cho các bạn.

3 trang

301 lượt xem

10 lượt tải