Xem 1-20 trên 760 kết quả Software analysis
  • Before considering individual aspects and techniques of software analysis and testing, it is useful to view the “big picture” of software quality in the context of a software development project and organization. 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.

    pdf22p allbymyself_09 23-02-2016 5 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

  • Content Chapter 03 Analysis and Design Process: Process lab, Project Management, Software Development Management; Analysis & Design Process, Software Analysis & Design - SAD; Tools, Enterprise Architecture.

    ppt27p xaydungk23 18-04-2015 5 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 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

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

  • 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

  • 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

  • The essential characteristics of system testing are that it is comprehensive, based on a specification of observable behavior, and independent of design and implementation decisions. Independence in system testing avoids repeating software design errors in test design. Acceptance testing abandons specifications in favor of users, and measures how the final system meets users' expectations. Regression testing checks for faults introduced during evolution.

    pdf8p allbymyself_09 23-02-2016 8 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

  • 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. Others, notably sensitivity, redundancy, and restriction, are specific to A&T and contribute to characterizing A&T as a discipline.

    pdf10p allbymyself_09 23-02-2016 2 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

  • Models of data flow and dependence in software have many applications in software engineering, from testing to refactoring to reverse engineering,... Moreover, the basic algorithms used to construct data flow models have even wider application and are of particular interest because they can often be quite efficient in time and space.

    pdf33p allbymyself_09 23-02-2016 5 1   Download

  • When you finish this chapter, you should: 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.

    pdf49p allbymyself_09 23-02-2016 2 1   Download

  • A key problem in software testing is selecting and evaluating test cases. This chapter introduces basic approaches to test case selection and corresponding adequacy criteria. It serves as a general introduction to the problem and provides a conceptual framework for functional and structural approaches described in subsequent chapters.

    pdf16p allbymyself_09 23-02-2016 9 1   Download

  • The structure of the software itself is a valuable source of information for selecting test cases and determining whether a set of test cases has been sufficiently thorough. 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.

    pdf38p allbymyself_09 23-02-2016 5 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

  • Whereas test design, even when supported by tools, requires insight and ingenuity in similar measure to other facets of software design, test execution must be sufficiently automated for frequent reexecution without little human involvement. This chapter describes approaches for creating the run-time support for generating and managing test data, creating scaffolding for test execution, and automatically distinguishing between correct and incorrect test case executions.

    pdf15p allbymyself_09 23-02-2016 16 1   Download

Đồng bộ tài khoản