摘要:

AbstractWe introduce a new model for replication in distributed systems. The primary motivation for replication lies in fault tolerance. Although there are different kinds of replication approaches, our model combines the advantages ofmodular redundancyandprimary‐stand‐byapproaches to give more flexibility with respect to system configuration.To implement such a model, we select the IBM PC‐net with MS‐DOS environment as our base.Transparencyas well asfault‐tolerance file accessare the highlights of our system design. To fulfil these requirements, we incorporate the idea ofdirectory‐oriented replicationandextended prefix tablesin the system design. The implementation consists of a command shell, a DOS manager, and a recovery manager. Through this design, we can simulate a UNIX‐like distributed file system whose function is compatibl

ISSN:0038-0644    

DOI:10.1002/spe.4380210702

出版商:John Wiley&Sons, Ltd.    

年代:1991

数据来源: WILEY

摘要:

AbstractWe used literate programming on a team project to write a 33,000 line program for the Synthesizer Generator. The program, Penelope, was written using WEB, a tool designed for writing literate programs. Unlike other WEB programs, many of which have been written by WEB's developer or by individuals, Penelope was not intended to be published. We used WEB in the hope that both our team and its final product would benefit from the advantages often attributed to literate programming. The WEB source served as good internal documentation throughout development and maintenance, and it continues to document Penelope's design and implementation. Our experience also uncovered a number of problems with WEB.

ISSN:0038-0644    

DOI:10.1002/spe.4380210703

出版商:John Wiley&Sons, Ltd.    

年代:1991

数据来源: WILEY

摘要:

AbstractMutation analysis is a powerful technique for testing software systems. The Mothra software testing project uses mutation analysis as the basis for an integrated software testing environment. Mutation analysis requires executing many slightly differing versions of the same program to evaluate the quality of the data used to test the program. The current version of Mothra includes a complete language system that translates a program to be tested into intermediate code so that it and its mutated versions can be executed by an interpreter.In this paper, we discuss some of the unique requirements of a language system used in a mutation‐based testing environment. We then describe how these requirements affected the design and implementation of the Fortran 77 version of the Mothra system. We also describe the intermediate language used by Mothra and the features of the language system that are needed for software testing. The appendices contain a full description of the intermediate language and the mutation operators used by Mothra.The design and implementation techniques that were developed for Mothra are applicable for constructing not just software testing systems, but any type of program analysis system or language system for a special‐purpose application. In particular, we discuss decisions made and techniques developed by the Mothra team that can be useful in such applications as debuggers, program measurement tools, software development environments and other types of program analysis syst

ISSN:0038-0644    

DOI:10.1002/spe.4380210704

出版商:John Wiley&Sons, Ltd.    

年代:1991

数据来源: WILEY

摘要:

AbstractWe have designed an inheritance model that reduces the effort required to define presentations of data structures of programs written in conventional languages. It assumes that the presentation of a data structure is determined by one or more attributes of the data structure; classifies data structures into several groups based on their types, contexts, siblings, ancestors and other properties; and allows an attribute to be defined once for all members of a group. These groups are arranged in multiple intersecting hierarchies, and a subgroup is allowed to inherit attributes from its supergroups(s). This paper motivates, describes, and illustrates our method of grouping values and arranging the value groups in inheritance hierarchies.

ISSN:0038-0644    

DOI:10.1002/spe.4380210705

出版商:John Wiley&Sons, Ltd.    

年代:1991

数据来源: WILEY

摘要:

AbstractProgrammers frequently face the need to identify the differences between two programs, usually two different versions of a program. Text‐based tools such as the UNIXr̀ utility diff often produce unsatisfactory comparisons because they cannot accurately pinpoint the differences and because they sometimes produce irrelevant differences. Since programs have a rigid syntactic structure as described by the grammar of the programming language in which they are written, we develop a comparison algorithm that exploits knowledge of the grammar. The algorithm, which is based on a dynamic programming scheme, can point out the differences between two programs more accurately than previous text comparison tools. Finally, the two programs are pretty‐printed ‘synchronously’ with the differences highlighted so that the differences are easily id

ISSN:0038-0644    

DOI:10.1002/spe.4380210706

出版商:John Wiley&Sons, Ltd.    

年代:1991

数据来源: WILEY

ISSN:0038-0644    

DOI:10.1002/spe.4380210701

出版商:John Wiley&Sons, Ltd.    

年代:1991

数据来源: WILEY