Software Testing Program

we have provided an intuitive understanding of limits of software testing programmer. However,Morell has propose a theoretical model of the testing process that facilitates the proof of pessimistic theorems that clear state the limits of software testing [Morell, 1990]. Further more a, crossroads and Morell have formally state the goals of a computer software testing methodology and implicitly provided a understanding of limitations of software testing [Hamlet, 1994, Morell, 1990]. Young and Taylor have also observed that every

software testing technique must involve some trade-off between truth and computational price because the presence (or lack thereof) of defects within a program is an undecidable property [Young and Taylor,1989].

The theoretical limitations of computer software testing clear indicate at it is impossible to propose and implement a software testing methodology that is totally correct and applicable the arbitrary programs.we computer software testing is surely faced with inherent limits, there are also a number of practical considerations that can hinder the application program of a software testing technique. For example, some programming languages might not readily support a selected software testing approaching, a test automation frame work might not easy facilitate the automated execution of certain types of test suites, or there could be a lack of tool support to test with respect to a specific test adequacy criterion. Even though any testing effort

will be faced with significant essential and accidental limitations, the rigorous, consistent, and intelligent application of appropriate software testing techniques can improve the quality of the application underdevelopment.

Model of Execution-based Software Testing

The iterative process of computer program trial may continue throughout the initial development of P. However, it is also important to continue the P program testing the program application has been released and it enters the maintenance phase of program life cycle [Somerville, 2000]. Regression testing is an important activity of the computer program maintenance is to ensure that adding new functionality and debugging program programs do not adversely affect the accuracy of P. The process of regression testing of program can rely on existing check cases and adaptation measures for these tests iteratively follow all the steps referred to above [Onoma et al., 1998].

Error-based Testing

Error-based testing adequateness criterion judge a test suite to be “stronger” if it covers more of identified categories and choices. Since there is no general technique to automatically create an error-based test adequacy criterion from F, most error-based adequacy metrics, such as those used in the categorypartitionmethod, require human intervention [Zhu et al., 1997]. However, with the complete description of F and the specification of the test adequacy criterion in TSL or some other test case specification

language, you can automatically generate a set of tests that meet the criteria of adequacy. For example, the system AETG Cohen et al. PairTest system and Lei et al. allow the generation of balanced combinatorial test suites of test specifications [Cohen et al., 1996, 1997, Lei and Tai, 1998]. While combinatorial test case generation is not discussed further in this chapter, more information on the algorithms for test data generation and its relationship to the test with criterion of adequacy is engaged in inspection 3.5.

Distributed Regression Testing

that technique at attempts to distribute of execution a regression testing suite will rely upon the available computational resources during line 2, line 3, and line 5 of algorithm RTSP in Figure 15. That is,when tests are being selected, prioritized, or executed, distributed regression testing relies upon all of the available testing machines to perform the selection, prioritization, and execution in a distributed fashion.If the changes that are applied to P to produce P 0 involve the program’s environment and this violates the controlled regression testing assumption, a distribution mechanism can be used to increase regression testing cost-effectiveness. When the computational requirements of test case prioritization are particularly daunting, a distributed test execution approach can be used to make prioritizations based upon coverage levels or fault-exposing-potential more practical [Kapfhammer, 2001]. In situations where test selection and/or prioritization are possible, the distributed execution of a regression test suite can be used to further enhance the cost-effectiveness of the regression testing process. When only a single test machine is available for regression testing, the distribution mechanism can be disabled and the other testing approaches can be used to solve the regression testing problem.

Recent Software Testing Innovations

The software testing and analysis research community is actively proposing, implementing, and analyzing new software testing techniques. Recent innovations have been both theoretical and practical in nature.In this section, we summarize a selection of recent testing approaches that do not explicitly fit into the process model proposed in Section 2.2. Yet, it is important to note that many of these techniques have relationship(s) to the “traditional” phases described by our model.

Testing Spreadsheets

roof of spreadsheet languages have rarely been read in terms of software engineering properties.This is a serious omission, as these languages are used to create the software production program in which the real decisions are performing. Furthermore, research shows that many spreadsheet testing done with software languages are flawed. For these reasons, it is important to support mechanisms, such as tests that can help developers spreadsheet to determine the reliability of the values produced by their spreadsheets.

Reuse check suite is also important aspect of the check spreadsheet application for finish users often share spreadsheets & spreadsheet production must be revalidated when launching new versions of the drivers of commercial spreadsheet [Fisher et al., 2002a]. Current reuse algorithms spreadsheet similar to the techniques of selection of the regression check suite presented in Section 3.8.1. When a user modifies the spreadsheet worksheet, re-use algorithms to choose which part of the check suite must be executed to validate the program in a way that is cost-effective & practical. From WYSIWYTtools are designed to be used by a spreadsheet developer in a highly interactive, the new detailed analysis of a worksheet can often only occur in the check suite is reused intelligently. In [Fisher et al., 2002a], the authors propose specific actions for the reuse of proof to be produced when the worksheet.

developer deletes a cell, changes the formula within a spreadsheet cell, or inserts a new cell into a spreadsheet. For example, if the programmer changes the formula within a specific spreadsheet cell, thetas reuse algorithms must select all of the existing test(s) that validate the output of the modified cell and any other impacted cells. Alternatively, if the formula changes for a certain cell change cause the formulator rely upon new and different spreadsheet input cells, some test cases might be rendered obsolete[Fisher et al., 2002a].