CATS, a system that provides a complete development environment for system testing, was developed to provide a clear methodology for the preparation of system test documents supported by a computerized tool. It is exp...
详细信息
ISBN:
(纸本)0818620412
CATS, a system that provides a complete development environment for system testing, was developed to provide a clear methodology for the preparation of system test documents supported by a computerized tool. It is expected to increase the level of efficiency and standardization of the testing of various softwaresystems (real-time, data processing, etc.) by breaking down the process of testing a system into components, and facilitating the speedy integration of these components through the use of a central database. CATS can be used throughout the entire life cycle of a system. It is particularly effective during the problematic maintenance stage when there are many updates of requirements as specified by the designers.
The study proposes a combination of the function points model for software estimation with the ADISSA methodology for systems analysis and design. This combined approach, which is supported by a software tool, enables...
详细信息
A state-based approach to formal specification and verification of distributed systems, and an automated tool for analysis of their communication behavior founded on this approach and written in Prolog, are presented....
详细信息
ISBN:
(纸本)0818620412
A state-based approach to formal specification and verification of distributed systems, and an automated tool for analysis of their communication behavior founded on this approach and written in Prolog, are presented. The approach can typically be used for verification of safety properties of communication protocols and mutual exclusion algorithms.
A description is given of the MARUTI operating system, which is designed to support real-time applications on a variety of hardware systems. The kernel supports objects as primitive entities and provides a communicati...
详细信息
ISBN:
(纸本)0818689722
A description is given of the MARUTI operating system, which is designed to support real-time applications on a variety of hardware systems. The kernel supports objects as primitive entities and provides a communication mechanism that allows transparent distribution in networked systems. Fault tolerance is provided through replication and consistency-control mechanisms. MARUTI supports guaranteed-service scheduling, in which jobs that are accepted by the system are verified to satisfy general time constraints. Guaranteed-service scheduling means that, given a job with a set of service requirements and time constraints, the system automatically verifies the existence of a feasible schedule for each of the job components with respect to the job's constraints and those of other jobs in the system. These time constraints include those that govern interrupt processing, which allows the MARUTI approach to succeed where more rigorous approaches do not. The result is that MARUTI applications can be executed in a predictable, deterministic fashion.
The features and the implementation of the Recovery Meta Program, a mechanism for backward error recovery in concurrent and distributed application programs, are described. The Recovery Meta Program executes in a spec...
详细信息
ISBN:
(纸本)0818620412
The features and the implementation of the Recovery Meta Program, a mechanism for backward error recovery in concurrent and distributed application programs, are described. The Recovery Meta Program executes in a specific software layer that is distinct from the application and kernel layers;its implementation is described as an extension of XMDS (Cross Multimicro Development System). The interfacing of the three software layers is illustrated by some examples of the implementation of techniques for software fault tolerance.
The MC2/64 machine is a distributed parallel machine using the Inmos transputer and based on the concept of reconfigurable nodes. A description is given of the architecture, configuration and the system software of MC...
详细信息
ISBN:
(纸本)0818620412
The MC2/64 machine is a distributed parallel machine using the Inmos transputer and based on the concept of reconfigurable nodes. A description is given of the architecture, configuration and the system software of MC2/64. The MC2/64 system consists of 4 configurable clusters consisting of up to 16 worker cards each, while the MC3/256 will have 16 clusters.
The development of parallel-processing software products with the assistance of an expert system is described. This software design method aims at producing quality software code starting from a formal specification, ...
详细信息
ISBN:
(纸本)0818620412
The development of parallel-processing software products with the assistance of an expert system is described. This software design method aims at producing quality software code starting from a formal specification, using artificial intelligence techniques. The author describes available FDTs (formal description techniques) and expert systems, pointing out their characteristics and relevance for building an environment for supporting parallel software design. The design methodology used by the author for such a system is presented, and the tool architecture is sketched.
A scheme for providing data confidentiality service on top of transmission control protocol/internet protocol (TCP/IP) is proposed for connection-oriented message transmission. A novel security service architecture co...
详细信息
ISBN:
(纸本)0818620412
A scheme for providing data confidentiality service on top of transmission control protocol/internet protocol (TCP/IP) is proposed for connection-oriented message transmission. A novel security service architecture consisting of interactive application program, client/server, and security service modules is presented to provide the data confidentiality service. Also, the functional mechanism of the proposed scheme is given. W. Diffie and M. Hellman's (1976) key distribution method is used for session key generation and distribution.< >
The operators of DBMSs (database management systems) at battlefield command centers in military reserve units are initially novice and then occasional users. Failure modes in using these systems are analyzed in terms ...
详细信息
ISBN:
(纸本)081862065X
The operators of DBMSs (database management systems) at battlefield command centers in military reserve units are initially novice and then occasional users. Failure modes in using these systems are analyzed in terms of human factors. Using theories of human behavior in interactive systems, guidelines for dialog design are introduced. The guidelines were applied to the design of a utility package to be used by programmers of DBMSs for occasional users.
The softwareengineering principles that lead to the decomposition of a software system to CSCIs (computersoftware configuration items) were applied in the software integration phase of a relatively large tightly cou...
详细信息
ISBN:
(纸本)081862065X
The softwareengineering principles that lead to the decomposition of a software system to CSCIs (computersoftware configuration items) were applied in the software integration phase of a relatively large tightly coupled multiprocessor system. Accordingly, the integration of this nondistributed embedded softwaresystems was accelerated and the product was improved by separately linking the CSCIs. Interfacing modules were added to each separately linked subsystem to enable it to access its imported services. Subsystem linking (sublinking), implemented manually and aided by ad hoc tools, is described, followed by a discussion of its possible applications to software development environments (i.e. compilers, linkers, test tools, ICEs, and debuggers) which at present scarcely support test and integration with separately linked executable images.
暂无评论