Lecture "Software testing and quality assurance - Lecture 9: Web-Base application testing" trình bày các kiến thức: Test browser, môi trường web, performance testing, performance testing, webservice testing, regresstion testing, coverage testing, automation test,... Mời các bạn cùng tham khảo.

22p bautroibinhyen13 10-01-2017 68 2   Download

Lecture "Software testing and quality assurance - Lecture 10: Model-Based testing; model based testing; model based testing; a testing workbench; acceptance test; kiểm thử beta; kiểm thử hệ thống; thống kê kiểm thử;... Mời các bạn cùng tham khảo nội dung chi tiết.

16p bautroibinhyen13 10-01-2017 37 1   Download

Bài giảng Chương 5: Kiểm chứng Phần mềm (Software Testing) trình bày về khái niệm kiểm thử phần mềm, tại sao phải kiểm thử phần mềm, các nguyên lý trong kiểm thử phần mềm, các mức độ kiểm thử, các kỹ thuật kiểm thử.

115p maiyeumaiyeu25 16-12-2016 207 18   Download

Chương 1 giới thiệu chung về kiểm tra phần mềm. Chương này sẽ thảo luận một số nội dung chủ yếu như: Phần mềm ở mức độ nào thì cần kiểm tra? Vai trò của ngoại ngữ đối với việc kiểm thử phần mềm? Kiểm tra phần mềm dễ hay khó? Các tố chất để thành một kiểm thử viên? Mời các bạn cùng tham khảo.

22p tangtuy16 02-07-2016 55 7   Download

Chương này trang bị cho người học những kiến thức về qui trình kiểm thử phần mềm. Nội dung chính trong chương gồm: Test plans và test cases, regression và kiểm thử chức năng mới, tiêu chuẩn bắt đầu/kết thúc kiểm thử, kiểm soát phiên bản, theo vết lỗi. Mời tham khảo.

29p tangtuy16 02-07-2016 59 7   Download

Chương 3 cung cấp những kiến thức cơ bản về tạo test case trong kiểm tra phần mềm. Chương này trình bày một số nội dung sau: Thiết kế Test case, giới thiệu Use-case, luồng cơ sở đăng kí khóa học, luồng ngoài cơ sở tương ứng. Mời các bạn cùng tham khảo.

29p tangtuy16 02-07-2016 69 6   Download

Chương 4 cung cấp cho người học những kiến thức về môi trường kiểm thử. chương này gồm có những nội dung cơ bản sau: Tổng quan về môi trường kiểm thử, giả lập - simulation, lấy điểm chuẩn, môi trường kiểm thử,... Mời các bạn cùng tham khảo.

16p tangtuy16 02-07-2016 49 6   Download

Toàn hệ thống xem như là tập các hệ thống con được xác định trong suốt quá trình thiết kế hệ thống và đối tượng. Chiến lược kiểm thử là thứ tự mà các hệ thống con được chọn để kiểm và tích hợp. Trong chương này chúng ta sẽ cùng tìm hiểu một số kiến thức về chiến lược kiểm thử phần mềm. Mời các bạn cùng tham khảo.

28p tangtuy16 02-07-2016 70 9   Download

Chương này đề cập đến kiểm thử tự động trong kiểm tra phần mềm. Nội dung chính trong chương này gồm có: Khái niệm về kiểm thử tự động, mục đích, phân loại kiểm thử tự động, quy trình kiểm thử tự động, giới thiệu công cụ kiểm thử tự động. Mời tham khảo.

24p tangtuy16 02-07-2016 51 8   Download

Bài giảng "Công nghệ phần mềm: Software Testing - Nguyễn Thị Cẩm Hương" presentation of content: Why should we test, terminologies, functional testing, equivalence class testing, decision table based testing, levels of coverage,... Invite you to reference.

109p doinhugiobay_15 25-02-2016 72 4   Download

The objective of this chapter is to introduce the range of software verification and validation (V&V) activities and a rationale for selecting and combining them within a software development process, view the “big picture'' of software quality in the context of a software development project and organization.

6p allbymyself_09 23-02-2016 50 2   Download

This chapter describes the nature of those trade-offs and some of their consequences, and thereby a conceptual framework for understanding and better integrating material from later chapters on individual techniques.

3p allbymyself_09 23-02-2016 39 1   Download

This chapter advocates six principles that characterize various approaches and techniques for analysis and testing: sensitivity, redundancy, restriction, partition, visibility, and feedback. Some of these principles, such as partition, visibility, and feedback, are quite general in engineering.

3p allbymyself_09 23-02-2016 51 1   Download

Symbolic execution builds predicates that characterize the conditions under which execution paths can be taken and the effect of the execution on program state. Extracting predicates through symbolic execution is the essential bridge from the complexity of program behavior to the simpler and more orderly world of logic. This chapter presents the symbolic execution and proof of properties.

6p allbymyself_09 23-02-2016 44 3   Download

After studying this chapter you will be able to understand the role of quality is the development process, build an overall picture of the quality process, identify the main characteristics of a quality process (visibility, anticipation of activities, feedback).

6p allbymyself_09 23-02-2016 27 2   Download

This chapter presents some basic concepts in models of software and some families of models that are used in a wide variety of testing and analysis techniques. The fundamental concepts and trade-offs in the design of models is necessary for a full understanding of those test and analysis techniques, and is a foundation for devising new techniques and models to solve domain-specific problems.

5p allbymyself_09 23-02-2016 36 1   Download

Learning objectives in this chapter: Understand basics of data-flow models and the related concepts (def-use pairs, dominators…), understand some analyses that can be performed with the data-flow model of a program, understand basic trade-offs in modeling data flow.

9p allbymyself_09 23-02-2016 42 1   Download

In this chapter you will learn: Understand the purpose and appropriate uses of finite-state verification (fsv), understand modeling for fsv as a balance between cost and precision, distinguish explicit state enumeration from analysis of implicit models.

13p allbymyself_09 23-02-2016 53 3   Download

In lecture Software testing and analysis - Chapter 10, you will: Understand the rationale for systematic (nonrandom) selection of test cases; understand why functional test selection is a primary, base-line technique; distinguish functional testing from other systematic testing techniques.

5p allbymyself_09 23-02-2016 38 3   Download

This chapter include objectives: Understand rationale and basic approach for systematic combinatorial testing, learn how to apply some representative combinatorial approaches, understand key differences and similarities among the approaches.

14p allbymyself_09 23-02-2016 39 2   Download