Xem 1-20 trên 370 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 27 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 4 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 4 1   Download

  • Testing and analysis activities occur throughout the development and evolution of software systems, from early in requirements engineering through delivery and subsequent evolution. Quality depends on every part of the software process, not only on software analysis and testing; no amount of testing and analysis can make up for poor quality arising from other activities.

    pdf24p allbymyself_09 23-02-2016 4 1   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.

    pdf19p allbymyself_09 23-02-2016 4 1   Download

  • Mature software processes include documentation standards for all the activities of the software process, including test and analysis activities. Documentation can be inspected to verify progress against schedule and quality goals and to identify problems, supporting process visibility, monitoring, and replicability.

    pdf18p allbymyself_09 23-02-2016 6 1   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 4 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 3 1   Download

  • There are no perfect test or analysis techniques, nor a single “best” technique for all circumstances. Rather, techniques exist in a complex space of trade-offs, and often have complementary strengths and weaknesses. 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.

    pdf11p allbymyself_09 23-02-2016 4 1   Download

  • Systematic testing of object-oriented software is fundamentally similar to systematic testing approaches for procedural software. 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.

    pdf62p allbymyself_09 23-02-2016 8 1   Download

  • After studying this chapter you will be able to: 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).

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

    pdf6p allbymyself_09 23-02-2016 4 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 5 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 5 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 9 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 2 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 4 1   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 2 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 3 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 2 1   Download

Đồng bộ tài khoản