摘要:

AbstractA formal approach to software design in the form of transformations is shown to be useful for the redesign of existing systems. A design transformation maps a given design into an alternative design. Transformations are based on a model that consists of program blocks and the input and output data of these blocks. The result of a transformation may be a rearrangement of the blocks, splitting of blocks or a combination of existing blocks. Typically, software design concepts are applicable to designs that stem from specifications, they are less capable when applied to existing systems. A transformational scheme is inherently iterative. The redesign of existing systems is, therefore, the application of transformations starting from an iteration that happens to be the existing system. A real‐life example, in which a function in a distributed system was first designed and then redesigned, both intuitively, is the basis of the case study. We show that the redesign process that was undertaken in order to enhance a function can be achieved with the design transformations proposed. Through the example, we demonstrate that the transformational scheme is not difficult to apply, precise, and capable of reusing program components not affected by the redesig

ISSN:1040-550X    

DOI:10.1002/smr.4360020402

出版商:John Wiley&Sons, Ltd    

年代:1990

数据来源: WILEY

摘要:

AbstractDespite the existence of global variables in many software systems, testing global variables has traditionally been overlooked by the testing community. This state of the practice leads to the release of some software systems with untested properties. In this paper, we present some insights into the problem of testing and regression testing global variables. A basis set of testing problems for parameters will be identified and the testing problem of global variables will be mapped onto a combination of these basis cases. It will be shown that global variables can be treated as parameters and can be tested accordingly. Testing strategies and regression testing strategies for unit, integration, and system testing global variables are described.

ISSN:1040-550X    

DOI:10.1002/smr.4360020403

出版商:John Wiley&Sons, Ltd    

年代:1990

数据来源: WILEY

摘要:

AbstractSoftware maintenance is an important activity, but is often perceived as less challenging than software development. By following a management‐led discipline of data collection and reporting, maintenance control and visibility can be achieved. The discipline aims to promote the maintenance function within an organization and show that it is as demanding as software development.This paper describes a maintenance data collection scheme (MDCS) which was implemented at an industrial site, as a case study. This implementation resulted in: an increase in management control, promotion of maintenance to senior management, systematic recording of faults, and the successful application of a statistical model to the weekly number of maintenance incidents. An incident form was developed to record data on the effort necessary to resolve incidents, the elapsed time, status, category and severity of incidents. It turned out that maintenance incident effort was highly variable. Maintenance reports were prepared for management based on the results of data analysis. These reports addressed the following questions: Is the maintenance effort increasing or decreasing? How fast are maintenance problems being dealt with? Which systems are demanding the most effort? Statistical techniques were used to model maintenance activities. Multivariate techniques were found to be inappropriate for the type of data collected. A log‐normal distribution was fitted to the weekly number of maintenance incidents. This distribution gave a confidence interval of practical use for managem

ISSN:1040-550X    

DOI:10.1002/smr.4360020404

出版商:John Wiley&Sons, Ltd    

年代:1990

数据来源: WILEY

ISSN:1040-550X    

DOI:10.1002/smr.4360020401

出版商:John Wiley&Sons, Ltd    

年代:1990

数据来源: WILEY