Describes work carried out for Thorn Security Ltd to illustrate the application of Ward/Mellor structured analysis methods to the analysis of fire monitoring systems. Typical target systems are embedded using a real t...
详细信息
Describes work carried out for Thorn Security Ltd to illustrate the application of Ward/Mellor structured analysis methods to the analysis of fire monitoring systems. Typical target systems are embedded using a real time, multi-tasking kernel to schedule processes. An extension to the method appropriate for the design of such systems proposed by two CASE tool suppliers, Ready Systems and Westmount, is described. Certain features proposed by Hatley and Pirbhai are included together with a description of the differences between the methods in the specification of control transformations.< >
GAMBITS (Graphical Approach to Modeling and Building Interactively a Technical System) provides support for the progressive realization and traceability of functional and non-functional requirements from initial conce...
详细信息
GAMBITS (Graphical Approach to Modeling and Building Interactively a Technical System) provides support for the progressive realization and traceability of functional and non-functional requirements from initial conception through implementation and maintenance. It permits successive modification through progressive transformation of an implementation independent specification to partial or full realization of a local or distributed system. The method allows substantial verification of an implementation through traceability links that can map each component of a requirement to the design and the subsequent implementation in a procedural or object-oriented application.
A major ongoing development is the Z environment (ZEN) project which provides a support environment for the creation and animation of specifications written using the Z technique. A prototype has been completed and wo...
详细信息
A major ongoing development is the Z environment (ZEN) project which provides a support environment for the creation and animation of specifications written using the Z technique. A prototype has been completed and work is underway to produce a system for the production and animation of specifications on a regular basis. There are two major support areas possible: assistance with the creation of the specification, and mechanisms for exploring the actual behavior of what has been specified. Support for the creation of a specification can be through checkers to which the specification is submitted through an interactive editing environment. To achieve this, the authors have combined user centred design and knowledge based systems (KBS) techniques. They provide an outline of the nature of the ZEN support tool as an indication of the level of assistance that is feasible for formal specification.< >
The Teamwork computeraidedsoftwareengineering (CASE) tool provides an environment for structured analysis and design. This environment incorporates a number of graphical and textual editors with facilities for erro...
详细信息
The Teamwork computeraidedsoftwareengineering (CASE) tool provides an environment for structured analysis and design. This environment incorporates a number of graphical and textual editors with facilities for error detection, object configuration and document production. The user interface is common to all the Teamwork Analysis and Design tools. Each Teamwork product interacts with project database that contains multiple models and all of their model objects created in the Teamwork environment. The configuration of objects within the project database is handled by Model Configuration Management (MCM), and is used to control read/write access to configurable objects. The author discusses the structured Analysis/Real Time tool, SA/RT and the project HOLD whose aim is to evaluate the applicability of Ada to high integrity engine control systems.< >
Automatic static and dynamic analysis tools were employed to test the software used for the Channel Tunnel which is equipped with a complex set of control and communications computer systems involving a large amount o...
详细信息
Automatic static and dynamic analysis tools were employed to test the software used for the Channel Tunnel which is equipped with a complex set of control and communications computer systems involving a large amount of software. Static and dynamic analysis are powerful softwareengineering techniques, which when implemented as part of a software development and test strategy, provide quantitative measurements of the quality of the code produced and the effectiveness of testing performed. Static analysis looks at the software source code to provide indications of its quality and suitability prior to any testing being performed. Dynamic analysis observes the efficiency of the tests applied and this can be observed at various stages of the lifecycle.
Lucas Aerospace has created a special proprietary language, called LUCOL, which it uses to develop the software for producing safety critical control systems for aerospace applications. Lucas Aerospace employs several...
详细信息
Lucas Aerospace has created a special proprietary language, called LUCOL, which it uses to develop the software for producing safety critical control systems for aerospace applications. Lucas Aerospace employs several tools to support the rigorous test coverage analysis requirements necessary to meet current standards, particularly RTCA DO-178B. The company is also considering the use of computeraided test coverage analysis to reduce the test effort by removing the need for a significant number of low level tests.
BART is a rapid transit system for the San Francisco Bay Area. The ICS project will provide an integrated control system to enable the train service to be upgraded. The ICS system has a strong real time element and it...
详细信息
BART is a rapid transit system for the San Francisco Bay Area. The ICS project will provide an integrated control system to enable the train service to be upgraded. The ICS system has a strong real time element and it is essential that the ICS system is reliable, since this has a direct effect on the service provided. Logica was commissioned to undertake the development of this system. They decided to employ the Yourdon method for analysis and design. The method required some tailoring to fit existing local standards, including structural documentation standards. The formal review method adopted was a structured hybrid of 'structured walkthrough' and 'Fagan inspection'. Later on in the project it was decided to adopt a more integrated tool to increase control and productivity. After a survey of existing CASE tools Index Technology's Excelerator was chosen as the tool to bring together the data dictionary and the structured diagrams. Excelerator was not without its problems, but offered an appropriate level of flexibility and support. The results and limitations of the methods and tools involved in the project are outlined and requirements for future CASE tools are stated.< >
An IPSE (integrated project support environment), is a generalisation of computeraidedsoftwareengineering techniques to include all the activities and information within a project. It is implemented on a distribute...
详细信息
An IPSE (integrated project support environment), is a generalisation of computeraidedsoftwareengineering techniques to include all the activities and information within a project. It is implemented on a distributed computer system and contains the following major functions: information and procedure management and tools for information creation and transformation. The author proposes that an IPSE is an application of conventional data management and process control techniques and is not just a 'workstation'. Procedural management is fundamental to orderly application of tools and the tools themselves need explicit specification. Controlled evolution of trusted components may then result in a manageable and efficient IPSE which is suitable for application to critical systems.< >
Problems often arise during tool and process integration when tool vendors have a different view of what is needed from the developer and the tester. If the development and testing activities are not well integrated, ...
详细信息
Problems often arise during tool and process integration when tool vendors have a different view of what is needed from the developer and the tester. If the development and testing activities are not well integrated, then the developer will tend to concentrate on the code development rather than the testing work. Therefore, it is important that the design process be supported by a design testing facility at each stage of the system development life cycle. The effective and efficient use of tools in the development process is essential for the cost effective production of systems from simple reports to complex embedded safety critical components.
A review of the different types of software packages used for software testing is presented. The most popular type is the test execution tool which runs tests and compares the output of the software under test with th...
详细信息
A review of the different types of software packages used for software testing is presented. The most popular type is the test execution tool which runs tests and compares the output of the software under test with the expected output. This type of tool can be easily run without the need for people to type the input and check if the software is working. Performance and simulation tools are increasingly becoming more popular, especially in testing client/server systems. These stress testing tools can multiply inputs or simulate additional clients to measure response times and loading factors for the system being tested. Other testing tools include test management tools, coverage measurement tools, and static and dynamic analysis tools.
暂无评论