Roper, M. Software Testing. McGraw-Hill, 1994.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....associated view of quality that we use the terms verification and validation for the process rather than testing to indicate the wide life cycle view of defect detection. Such a process is more than applying some form of test data selection technique like white, or black box testing [1, 34] to achieve a specific level of code (white box) or requirements (black box) coverage. The process actively involves system users. The final point to make is the importance of structured quality checks throughout development. Technologies like the Internet introduce many non functional ....

ROPER, M.: "Software Testing" (McGraw-Hill International Quality Assurance Series, 1994)

.... At the time of regulatory assessment, the stage of testing assessment is one of the most important where efforts of experts should be concentrated [49] The methods and criteria of testing are traditionally divided into structural (or white box) and functional (or black box) aspects [35] [41]. Structural testing criteria, i.e. criteria which take into account an internal structure of the program, are in turn divided into data flow and control flow criteria, although the combination of the two has been considered [38] 45] Data flow criteria are based on the investigation of the ways ....

....where the value of a decision is directly correlated with the value of a condition. This means, a decision changes when a condition changes. The hierarchy of the mentioned control flow criteria is given in Figure 1. The definitions and analysis of these criteria are considered in [35] 37] [41], 46] 55] In addition to those mentioned above, other control flow criteria has been introduced (for example, LCSAJ [54] DDstatement coverage decision coverage condition coverage decision condition coverage full predicate coverage multiple condition coverage # # # # # # # ## # ....

Roper, M. Software Testing. McGraw-Hill, 1994.

....own specific features. In the time of regulatory assessment, the stage of testing assessment is the most important where basic e#orts of experts should be concentrated [31] The methods and criteria of testing are traditionally divided into structural (or whitebox) and functional (or black box) [20, 26]. Structural testing criteria, i.e. criteria which take into account an internal structure of the program, are in turn divided into data flow 1 and control flow criteria, although the combination of the two has been considered too [23, 30] Data flow criteria are based on the investigation of the ....

.... has been considered too [23, 30] Data flow criteria are based on the investigation of the ways in which values are associated with variables and how these associations can a#ect the execution of the program [34] This group contains so called all uses, all defs, all p uses and other criteria [12, 26]. Control flow criteria examine logical expressions, which determine the branch and loop structure of the program. This group of criteria is considered in this paper. The paper is structured as follows. Section 2 presents a brief review of control flow criteria. Well known criteria statement ....

Roper, M. Software Testing. McGraw-Hill, 1994.

....and benefits. At the time of regulatory assessment, the stage of testing assessment is one of the most important where efforts of experts should be concentrated [33] The methods and criteria of testing are traditionally divided into structural (or white box) and functional (or black box) aspects [21, 27]. Structural testing criteria, i.e. criteria which take into account an internal structure of the program, are in turn divided into data flow and control flow criteria, although the combination of the two has been considered [24, 31] Data flow criteria are based on the investigation of the ways ....

.... the two has been considered [24, 31] Data flow criteria are based on the investigation of the ways in which values are associated with variables and how these associations can affect the execution of the program [36] This group contains so called all uses, all defs, all p uses and other criteria [14, 27]. Control flow criteria examine logical expressions, which determine the branch and loop structure of the program. This group of criteria is considered in this paper. The paper is structured as follows. Section 2 presents a brief review of control flow criteria. Well known criteria like statement ....

Roper, M. Software Testing. McGraw-Hill, 1994.

....just that condition while holding fixed all other possible conditions. The maximum number of required tests for a decision with n conditions is 2n . The place of MC DC in the hierarchy of control flow criteria is given in Figure 1. The definitions and analysis of these criteria are considered in [13 15, 19, 22]. The first part of the MC DC definition (every point of entry and exit in the program has been invoked at least once) is just the standard statement coverage criterion. This part is traditionally added to all control flow criteria and is not directly connect with the main point of MC DC. The ....

Roper, M. Software Testing. McGraw-Hill, 1994.

....approach for software testing 2.1 Software testing techniques Software testing has become the accepted method for detecting and removing errors and has played a dominant role in error detection. Existing software testing techniques are divided into two categories (Ould and Unwin, 1986; Roper, 1994): static and dynamic testing. Static testing techniques are concerned with the analysis and the checking of system representations such as the requirements documents, design diagrams and the software source code, either manually or automatically, without actually executing the software ....

Roper, M. (1994). Software Testing. (McGraw--Hill Book Company, London).

.... Note that the idea of comparing path spectra to identify possible execution errors is a completely different use of path profiling in program testing from another use that has been proposed for path profiles in program testing, namely as a criterion for evaluating the coverage of a test suite [21,13,7,15]. The remainder of the paper is organized into six sections: Section 2 provides background on the Y2K problem. Section 3 describes the use of run time profiling to locate date dependent paths and their shortest distinguishing prefixes. Section 4 summarizes the key insights behind recent work that ....

....along which control diverges in the different runs. The path spectrum comparison technique is a completely different way of using path profiling in the context of program testing from another use that has been proposed in the past, namely as a criterion for evaluating the coverage of a test suite [21,13,7,15]. The question of whether there is any hope of using the path coverage criterion in practice has often been raised. The published results of Ball and Larus suggest that the answer to this question is no . They report that some of the SPEC benchmarks had approximately 10 9 10 11 paths, of ....

Roper, M., Software Testing, McGraw-Hill, New York, NY (1994).

....STATISTICAL APPROACH FOR SOFTWARE TESTING 2.1 Software Testing Techniques Software testing has become the accepted method for detecting and removing errors and has played a dominant role in error detection. Existing software testing techniques are divided into two categories (Ould and Unwin, 1986; Roper, 1994): static and dynamic testing. Static testing techniques are concerned with the analysis and the checking of system representations such as the requirements documents, design diagrams and the software source code, either manually or automatically, without actually executing the software ....

Roper, M. (1994). Software Testing. (McGraw--Hill Book Company, London).

....Criterion Techniques under Evaluating Software Testing Strategy 3.1 3.2 3.3 3.4 3.5 Reliability Measurement Report of Evaluation 3.1 Classification Historically there have emerged different classifications of testing techniques. Existing software testing techniques are divided into two categories [11, 12]: static and dynamic testing. Static testing techniques were those that examined the software without executing it and encompassed activities such as inspection, symbolic execution and verification. Dynamic testing techniques are those that examined the software with a view to generating test data ....

....9 and validated using white box testing. Other terms have been introduced over the years and now the black box testing method is sometimes called functional or specification based while white box testing method may be referred to as structural or code based or even glass box [12]. It is important to examine why this distinction appeared. Black box testing is frequently a vague formalization of good testing practice. Its drawback is that without examining the code in some way you do not know how much of it is being tested. Black box testing is typically used to check if ....

ROPER, M.: `Software testing' (McGraw--Hill, 1994)

....with testing hardware failures relies to a large extent on single stuck at (0 1) fault models on the boundary of the box. The community concerned with testing computer programs and specifications considers the single stuck at fault models inadequate and attempts to derive alternative strategies [2]. Some of such strategies also consider notions of mutation faults. In the context of the black box with k input pins and p output pins, one may thus consider two extremes: between 2(k p) single stuck at faults and 2 (p2 k ) Gamma 1 mutation faults. Consider an example with k = 4; p = 2 and ....

M. Roper. Software Testing. McGraw Hill, UK, 1994.

....Keywords: Dynamic analysis, testing, maintenance, object oriented programming, C . 1 Introduction Dynamic analysers are a class of tool that provide feedback on the execution history of a piece of software. To date, the majority of these have been developed with reference to the testing domain [8]. In this paper we present a tool which has been developed to analyse C . The output is a set of data which traces the execution of the software and may be used to provide feedback for a number of uses. For example, as well as giving test coverage information, it may also be used by maintenance ....

....) BProbe( 55683 , currentnode =0 previous= 0 ) As can be seen the calls to BVProbe pass over the individual conditions (but return no result) and the call to BProbe evaluates and records the result of the compound condition. This allows measuring of multiple condition coverage (see [8] for details) All other structures involving conditions (do. while s for s, switch s etc) are similarly handled. linkedlist.cc Probe functions and incorporated header file deleted main( VProbe( 0 , list people ) list people; VProbe( 0 , student stu ) student ....

Marc Roper. Software Testing. McGraw-Hill, 1994.

No context found.

Roper, M. Software Testing. McGraw-Hill, 1994.

No context found.

Roper, M. Software Testing. McGraw-Hill, 1994.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC