ISSN:0960-0833    

DOI:10.1002/stvr.4370040202

出版商:John Wiley&Sons, Ltd    

年代:1994

数据来源: WILEY

摘要:

AbstractTestability measures have been defined on flowgraphs modelling the control flow through a program. These measures attempt to quantify aspects of the structural complexity of code that might give useful information about the testing stage of software production. This paper shows how two such metrics, theNumber of Trailsmetric and the Mask [k= 2] metric, can be calculated axiomatically.

ISSN:0960-0833    

DOI:10.1002/stvr.4370040203

出版商:John Wiley&Sons, Ltd    

年代:1994

数据来源: WILEY

摘要:

AbstractThe testing of a compiler is a difficult process, since often a very high quality product is expected by the user, particularly with respect to the compiler's correctness. This paper seeks to review the main methods that have been proposed for the automation of part of this process, using the automatic generation of test cases and the automatic checking of the results. It then summarizes the advantages and disadvantages of the general approach and highlights several areas for further research.

ISSN:0960-0833    

DOI:10.1002/stvr.4370040204

出版商:John Wiley&Sons, Ltd    

年代:1994

数据来源: WILEY

摘要:

AbstractDespite dramatic changes in computing in the two decades since the termsoftware engineeringwas coined, problems of deficient quality and unmanageable costs continue to afflict the software industry. Improvements in the software engineering process are vital to bringing software quality and costs under control.Module interface specificationis a mature software engineering technology that, like many other proposed methodological improvements, has not significantly penetrated industrial practice. Theinspectiontechnique is well accepted for dealing with program code and pseudo‐code, but its potential for application to other work products is largely unrealized. This paper describes a successful pilot project in jointly transferring these two technologies to the software workplace. A central theme of the project was purposeful customization of the technology to a particular industrial setting. Such adaptation is important for success in the notoriously difficult process of diffusing software engineering methodology in industr

ISSN:0960-0833    

DOI:10.1002/stvr.4370040205

出版商:John Wiley&Sons, Ltd    

年代:1994

数据来源: WILEY

ISSN:0960-0833    

DOI:10.1002/stvr.4370040207

出版商:John Wiley&Sons, Ltd    

年代:1994

数据来源: WILEY

ISSN:0960-0833    

DOI:10.1002/stvr.4370040201

出版商:John Wiley&Sons, Ltd    

年代:1994

数据来源: WILEY