Testing and analysis

Xem 1-20 trên 356 kết quả Testing and analysis
  • Software error detection is one of the most challenging problems in software engineering. Now, you can learn how to make the most of software testing by selecting test cases to maximize the probability of revealing latent errors. Software Error Detection through Testing and Analysis begins with a thorough discussion of test-case selection and a review of the concepts, notations, and principles used in the book.

    pdf271p caucaphung 04-02-2013 29 8   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.

    pdf5p allbymyself_09 23-02-2016 9 1   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.

    pdf5p allbymyself_09 23-02-2016 9 1   Download

  • p 01-01-1970   Download

  • p 01-01-1970   Download

  • p 01-01-1970   Download

  • In this chapter, we begin with functional tests based on specification of intended behavior, add selected structural test cases based on the software structure, and work from unit testing and small-scale integration testing toward larger integration and then system testing.

    pdf16p allbymyself_09 23-02-2016 9 1   Download

  • In this chapter you will: Understand how automated program analysis complements testing and manual inspection; understand fundamental approaches of a few representative techniques (Lockset analysis, pointer analysis, symbolic testing, dynamic model extraction; recognize the same basic approaches and design trade-offs in other program analysis techniques).

    pdf8p allbymyself_09 23-02-2016 11 2   Download

  • p 01-01-1970   Download

  • p 01-01-1970   Download

  • p 01-01-1970   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.

    pdf6p allbymyself_09 23-02-2016 6 2   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.

    pdf6p allbymyself_09 23-02-2016 11 1   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.

    pdf3p allbymyself_09 23-02-2016 10 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.

    pdf3p allbymyself_09 23-02-2016 17 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.

    pdf9p allbymyself_09 23-02-2016 6 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.

    pdf13p allbymyself_09 23-02-2016 10 2   Download

  • Learning objectives in this chapter: Understand the purpose of defining test adequacy criteria, and their limitations; understand basic terminology of test selection and adequacy; know some sources of information commonly used to define adequacy criteria; understand how test selection and adequacy criteria are used.

    pdf4p allbymyself_09 23-02-2016 9 1   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.

    pdf14p allbymyself_09 23-02-2016 5 1   Download

  • Learning objectives of this chapter: Understand rationale for structural testing, recognize and distinguish basic terms, recognize and distinguish characteristics of common structural criteria, understand practical uses and limitations of structural testing.

    pdf10p allbymyself_09 23-02-2016 6 1   Download


Đồng bộ tài khoản