摘要:

AbstractEnhanced C (EC) is a set‐oriented, extensible, C‐like language. EC uses data abstractions to define new types. These data abstractions, called clusters, are macro‐like devices that perform substitution on the typed syntax tree. Debugging programs that use clusters raise problems that are not encountered in ordinary programming languages. At compile time there is a need to determine and report whether the macro expansion will result in a legal program before this expansion actually takes place. At run‐time the problems are how to account for replaced statements and how to handle variables whose types have been established by the clusters, variables that disappear, or variables whose names have been changed.This article presents these problems and their solutions as implemented by the EC compiler and the EC symbolic debugger.Similar debugging problems appear in other languages: The need to handle variables at run time is common to all languages that support data abstraction even if the abstractions are procedure oriented; also, a mild form of the problem of the replaced statement appears in inline procedure substitution of Ada. The solutions developed for the EC debugger apply to these cases

ISSN:0038-0644    

DOI:10.1002/spe.4380170202

出版商:John Wiley&Sons, Ltd.    

年代:1987

数据来源: WILEY

摘要:

AbstractA fast algorithm for performing simplification and matching is described. The algorithm gives an improvement of up to an order of magnitude on suitable problems. It makes use of a dag data structure and tag fields to avoid redundant matches. Performance studies were done to determine the relative importance of various features in improving the running time.

ISSN:0038-0644    

DOI:10.1002/spe.4380170203

出版商:John Wiley&Sons, Ltd.    

年代:1987

数据来源: WILEY

摘要:

AbstractThe suitability of Concurrent Euclid, Ada and Modula for a special form of asynchronous concurrency, called master/slave concurrency, is investigated. No language is ideal, with Concurrent Euclid and Modula having major drawbacks. The conclusion lists the features desirable in a language for master/slave concurrency.

ISSN:0038-0644    

DOI:10.1002/spe.4380170204

出版商:John Wiley&Sons, Ltd.    

年代:1987

数据来源: WILEY

摘要:

AbstractA new structural testing method (STM) is presented for use with JSP (Jackson structured programming) designed programs. The method involves the creation of a path expression from the program structure and subsequent expansion of the expression into a set of paths using an algebra described in the paper. The treatment of each JSP construct is dealt with in detail. A worked example demonstrates the use of the method to generate test cases. The method is compared in terms of coverage to other well‐known structural testing methods. The advantages and disadvantages of the method are discussed and further work currently being undertaken by the authors is outline

ISSN:0038-0644    

DOI:10.1002/spe.4380170205

出版商:John Wiley&Sons, Ltd.    

年代:1987

数据来源: WILEY

摘要:

AbstractThis paper describes a software im plementation strategy that allows the programmer to construct a running version of a program early in its development. In general, the first version of the program only works for a subset of the intended input domain. The subset is defined by a number of constraints placed on the program by the programmer. The program can be completed by removing the constraints one at a time. In the process, each new part added to the program can be validated independently. Software tools can be built to facilitate the validation process.

ISSN:0038-0644    

DOI:10.1002/spe.4380170206

出版商:John Wiley&Sons, Ltd.    

年代:1987

数据来源: WILEY

ISSN:0038-0644    

DOI:10.1002/spe.4380170207

出版商:John Wiley&Sons, Ltd.    

年代:1987

数据来源: WILEY

ISSN:0038-0644    

DOI:10.1002/spe.4380170208

出版商:John Wiley&Sons, Ltd.    

年代:1987

数据来源: WILEY

ISSN:0038-0644    

DOI:10.1002/spe.4380170210

出版商:John Wiley&Sons, Ltd.    

年代:1987

数据来源: WILEY

ISSN:0038-0644    

DOI:10.1002/spe.4380170201

出版商:John Wiley&Sons, Ltd.    

年代:1987

数据来源: WILEY