computerized checklists for system testing can solve many of the problems created by requirement redundancy, inconsistency and missing requirements. This case study shows by example how to build the checklist and use ...
详细信息
computerized checklists for system testing can solve many of the problems created by requirement redundancy, inconsistency and missing requirements. This case study shows by example how to build the checklist and use it for creating the test procedures, step by step. The four main stages of the methodology are: (1) creating a requirements checklist;(2) grouping for functional/acceptance tests;(3) test planning;and (4) creation of test procedures. For each stage, the author describes what was actually done, followed by problems encountered and suggested improvements.
During a system development process, a large number of documents are written. The documents are not mutually exclusive. In fact, there is high degree of common text in valid documents that coexist. Because managing an...
详细信息
During a system development process, a large number of documents are written. The documents are not mutually exclusive. In fact, there is high degree of common text in valid documents that coexist. Because managing and maintaining changes in a collection of documents with highly redundant text is extremely difficult, the DOC methodology was devised for system documents management. It uses softwareengineering techniques and results in document development that resembles software development. In the authors' experience the use of DOC significantly improved the working style and methodology of the engineers. A considerable increase in their productivity was noticed. Also, the documents that were produced using DOC were of much higher quality and DOC opened up new avenues of management procedures that were not possible before.
A brief overview is presented of STATEMATE, a graphical working environment intended for the specification, analysis, and design and documentation of large and complex reactive systems such as real-time embedded syste...
详细信息
A brief overview is presented of STATEMATE, a graphical working environment intended for the specification, analysis, and design and documentation of large and complex reactive systems such as real-time embedded systems, control and communication systems, and interactive software. It enables a user to prepare, analyze and debug diagrammatic, yet precise, structure functionality and behavior. These views are represented by three graphical languages, the most intricate of which is the language of statecharts used to depict reactive behavior over time. In addition to the use of the language of statecharts, the main novelty of STATEMATE is in the fact that it understands the entire descriptions well enough to be able to analyze them for crucial dynamic properties, to carry out rigorous animated executions and simulations of the described system, and to create running code automatically.
We propose the automation of the design and the programming of softwaresystems for critical applications as a long term goal of computer aided softwareengineering. We have selected Logic program as the target langua...
详细信息
We propose the automation of the design and the programming of softwaresystems for critical applications as a long term goal of computer aided softwareengineering. We have selected Logic program as the target language to narrow the semantic gap between the specification and the program. In our approach, the program specified in the first order logic is transformed into a logic program (a set of Horn clauses) by the repeated application of nested resolution. Our approach is similar to Varghese's approach.
An assessment scheme that is based on a hierarchy, i.e, an acyclic graph, of the factors of software quality, is presented. The n-level (n > 2) hierarchy allows each quality factor to be represented by its relation...
详细信息
An assessment scheme that is based on a hierarchy, i.e, an acyclic graph, of the factors of software quality, is presented. The n-level (n > 2) hierarchy allows each quality factor to be represented by its relationship to evaluation factors that are obtainable by means of commonly used software measuring procedures. A method of evaluating software on the basis of this hierarchy is given. A very simple procedure that computes a system quality value on the basis of measurable evaluation values is given. It is assumed that different users have different views of what is relevant to a certain quality factor, and how a measurable value relates to such a quality factor. The proposed procedure works for vector representations of system characteristics. This is a simple representation scheme, but it is able to describe all the currently proposed quality models.
Initial work during the last ten years for defining and prototyping software Development Management systems has prepared the ground for presenting the concepts for the year 2000 DMS. DMS product evolution, features, &...
ISBN:
(纸本)0897912608
Initial work during the last ten years for defining and prototyping software Development Management systems has prepared the ground for presenting the concepts for the year 2000 DMS. DMS product evolution, features, 'approach, concepts and philosophy', future year 2000 concepts and current DMS prototype implementation are discussed. Finally, an offspring of the DMS project, EduSET: Educational softwareengineering Tool, is outlined.
An innovative methodology for software development is described. The main objectives of the methodology are to allow rapid construction of an executable specification (or prototype) of a system, to support testing the...
详细信息
An innovative methodology for software development is described. The main objectives of the methodology are to allow rapid construction of an executable specification (or prototype) of a system, to support testing the prototype by means of simulation, to facilitate a smooth transition to a target system, and to provide the means for reusing specification, design, and code of subsystems. This is achieved by incorporating several known paradigms in a novel form. The basis is the object-oriented approach. The authors use an architectural language for describing the high-level structure of a system and a state machine notation for describing individual object behavior. These two are separated to enhance reusability, which is achieved with the helop of a knowledge base that holds existing designs. The methodology is supported by a collection of automated tools.
There is considerable activity in the field of softwareengineering environments (SEEs). Most of this work assumes an architecture consisting of a number of software tools running on a kernel with a well-defined publi...
详细信息
ISBN:
(纸本)0818608374
There is considerable activity in the field of softwareengineering environments (SEEs). Most of this work assumes an architecture consisting of a number of software tools running on a kernel with a well-defined public tool interface (PTI). The background to current work in SEEs is outlined, and the current trend toward systemsengineering environments is noted. The kernel approach is scrutinized as a possible architecture for such environments and found to be adequate only in the short term. A glimpse is given of an alternative approach.
Summary form only given. The rate chart system (RTC) is a tool developed to provide software managers with a means of measuring and tracking the progress of a software project. To use RTC one starts by entering all th...
详细信息
Summary form only given. The rate chart system (RTC) is a tool developed to provide software managers with a means of measuring and tracking the progress of a software project. To use RTC one starts by entering all the parameters which are involved in measuring the project development progress. While the project is in progress the system is updated with milestone completion data for each work unit, and reports are produced on a regular basis. The system provides five reports: (1) progress rate chart;(2) work unit detail report;(3) component summary report;(4) milestone summary report;and (5) project plan summary. The progress rate chart is perhaps the most important report. It displays a graph of the actual progress vs. planned progress. One can deduce from it not only the completion status of the project but also the trend of the progress.
Summary form only given, as follows. Argus is a new programming language and system designed to support the construction and maintenance of distributed programs: programs in which models reside and execute at communic...
详细信息
Summary form only given, as follows. Argus is a new programming language and system designed to support the construction and maintenance of distributed programs: programs in which models reside and execute at communicating, but geographically distinct, nodes. In addition, Argus is intended to support a class of applications in which the manipulation and preservation of long-lived, online, distributed data is important. The language addresses the writing of robust programs that survive hardware failures without loss of distributed information and that provide highly concurrent access to that information while preserving its consistency. Several new linguistic constructs are provided;among them are atomic actions, and modules called guardians that survive node failures.
暂无评论