Software reliability growth models (SRGMs) based on the non-homogeneous Poisson process (NHPP) are quite successful tools that have been proposed to assess the software reliability. Most NHPP-SRGMs assume the detected...
详细信息
ISBN:
(纸本)9781424458479
Software reliability growth models (SRGMs) based on the non-homogeneous Poisson process (NHPP) are quite successful tools that have been proposed to assess the software reliability. Most NHPP-SRGMs assume the detected faults are immediately corrected, but it is not the case in real environments. In this paper, incorporating the testing coverage, considering imperfect debugging and correcting time lag, we propose an improved NHPP-SRGM. Experimental results show that the proposed model fits the failure data quite well and has a fairly accurate prediction capability.
Software reliability growth models (SRGMs) based on the non-bomogeneous Poisson process (NHPP) are quite successful tools that have been proposed to assess the software reliability. Most NHPP-SRGMs assume the detected...
详细信息
Software reliability growth models (SRGMs) based on the non-bomogeneous Poisson process (NHPP) are quite successful tools that have been proposed to assess the software reliability. Most NHPP-SRGMs assume the detected faults are immediately corrected, but it is not the case in real environments. In this paper, incorporating the testing coverage, considering imperfect debugging and correcting time lag, we propose an improved NHPP-SRGM Experimental results show that the propostd modd fits the failure data quite well and has a fairly accurate prediction capability.
Aspect-Oriented Programming is an emerging software engineering paradigm. It provides new constructs and tools improving separation of crosscutting concerns into single units called aspects. In fact, existing object-o...
详细信息
ISBN:
(纸本)3540340637
Aspect-Oriented Programming is an emerging software engineering paradigm. It provides new constructs and tools improving separation of crosscutting concerns into single units called aspects. In fact, existing object-oriented programming languages suffer from a serious limitation in modularizing adequately crosscutting concerns. Many concerns crosscut several classes in an object-oriented system. However, new dependencies between aspects and classes result in new testing challenges. Interactions between aspects and classes are new sources for program faults. Existing object-oriented testing methods (unit and integration testing) are not well adapted to the aspect technology. Thus, new testing techniques must be developed for aspect-oriented software. We present, in this paper, a new aspects-classes integration testing strategy. The adopted approach consists of two main phases: (1) static analysis: generating test sequences based on the dynamic interactions between aspects and classes, (2) dynamic analysis: verifying the execution of the selected sequences. We focus, in particular, on the integration of one or more aspects in the control of collaborating classes.
Web applications have become very complex and crucial, especially when combined with areas such as CRM (Customer Relationship Management) and BPR (Business Process Reengineering), the scientific community has focused ...
详细信息
ISBN:
(纸本)9781581139648
Web applications have become very complex and crucial, especially when combined with areas such as CRM (Customer Relationship Management) and BPR (Business Process Reengineering), the scientific community has focused attention to Web application design, development, analysis, and testing, by studying and proposing methodologies and tools. This paper describes techniques for semi-automatic test case definition and for user1-driven testing (based on statistical testing or coverage analysis) from Web applications reverse engineered UML models. These techniques are implemented as tools in the WAAT project. WebUml is a reverse engineering tool that generates class and state diagrams through static and dynamic Web application analysis. TestUml is a testing suite that uses generated models to define test cases, coveragetesting criteria and also reliability analysis.
coverage analysis is a structural testing technique that helps to eliminate gaps in atest suite and determines when to stop testing. To compute test coverage, this letter proposes anew concept coverage about variables...
详细信息
coverage analysis is a structural testing technique that helps to eliminate gaps in atest suite and determines when to stop testing. To compute test coverage, this letter proposes anew concept coverage about variables, based on program slicing. By adding powers accordingto their importance, the users can focus on the important variables to obtain higher test *** letter presents methods to compute basic coverage based on program structure graphs. Inmost cases, the coverage obtained in the letter is bigger than that obtained by a traditionalmeasure, because the coverage about a variable takes only the related codes into account.
A system for assisting in the testing phase of compilers is described. The definition of the language to be compiled drives an automatic sentence generator. The language is described by an extended BNF grammar which c...
详细信息
A system for assisting in the testing phase of compilers is described. The definition of the language to be compiled drives an automatic sentence generator. The language is described by an extended BNF grammar which can be augmented by actions to ensure contextual congruence, e.g. between definition and use of identifiers. For deep control of the structure of the produced sample the grammar can be described by step-wise refinements: the generator is iteratively applied to each level of refinement, producing at last compilable, complete programs. The implementation is described and some experimental results are reported concerning PLZ, MINIPL and some other languages.
暂无评论