摘要:

AbstractThe application of the Software Configuration Management (SCM) discipline during the maintenance process of an existing poorly documented software system is vital to bring it under control. Incremental documentation, the activity of building up the software documentation whilst it is examined during the maintenance process, has a key role in such a process. The COMFORM (COnfiguration Management FORmalization for Maintenance) system provides a framework for aiding the maintenance process through the application of the SCM discipline. In this way reliable documentation of an existing software system is obtained incrementally whilst maintaining it. Our goal in the design of the COMFORM system is to define a method for the maintenance process through the use of forms representing each phase of a software maintenance model. This approach allows traceability among the software representations throughout the software maintenance process. In this paper we describe the foregoing steps of the COMFORM system's method towards its formalization.

ISSN:1040-550X    

DOI:10.1002/smr.4360060102

出版商:John Wiley&Sons, Ltd    

年代:1994

数据来源: WILEY

摘要:

AbstractSoftware revalidation through retesting during the maintenance phase is essential for establishing confidence in the reliability of the modified programs. In this paper, we present a testing criterion and techniques for revalidating modified programs as well as the conditions to determine the necessity for revalidation of the modified program. By comparing programs and identifying the textual and semantic changes between them, it is shown that the number of test cases to be rerun can be reduced compared to the current revalidation methods. Our method is applicable to programs with different control structures from the original program with a little effort by treating the test case reuse problem as a constraint satisfaction problem. In addition, application of an zero‐one integer programming model to select the minimal set of paths to be retested is explore

ISSN:1040-550X    

DOI:10.1002/smr.4360060103

出版商:John Wiley&Sons, Ltd    

年代:1994

数据来源: WILEY

摘要:

AbstractThe accurate estimation of the resources required to implement a change in software is a difficult task. A method for doing this should include the analysis of the impact of the change on the existing system. A number of techniques for analysing the impact of a change on the source code have been described in the literature. While these techniques provide a good example of how to apply ripple effect analysis to source code, a weakness in these approaches is that they can be difficult to apply in the risk assessment phase of a project. This is because the source code is often not very well understood at this phase, and change proposals are written at a much higher level of abstraction than the code. It is therefore often the case that in practice subjective impact analysis methods are used for risk assessment and project investment appraisal. The underestimated resources for dealing with the ripple effects of a change can result in project schedules becoming so tight that only the minimal quality is achieved. This paper surveys existing ripple analysis techniques and then presents a new technique for the early detection of ripple effects based on a simple graph‐theoretic model of documentation and the themes within the documentation.The objective is to investigate the basis of a technique for analysing and measuring the impact of a change on the entire system that includes not only the source code but the specification and design documentation of a system, and an early phase in the maintenance proces

ISSN:1040-550X    

DOI:10.1002/smr.4360060104

出版商:John Wiley&Sons, Ltd    

年代:1994

数据来源: WILEY

ISSN:1040-550X    

DOI:10.1002/smr.4360060101

出版商:John Wiley&Sons, Ltd    

年代:1994

数据来源: WILEY