When a software system is delivered, the customer can only assess it by the symptoms exhibited during its acceptance tests. The executable code is uninspectable. The actual execution is for practicable purposes magic,...
详细信息
When a software system is delivered, the customer can only assess it by the symptoms exhibited during its acceptance tests. The executable code is uninspectable. The actual execution is for practicable purposes magic, while the inspectable sources are probably too voluminous and this is totally unacceptable for safety critical systems. In addition to acceptance testing a customer should therefore require evidence that it is at least possible to trace back from the released binary to the precise set of requirements it is claimed to meet and the implementation version it is claimed to be. The corresponding problem for the software developer is to conduct the manufacturing process so that the evidence can be produced. The author proposes the use of automated configuration control which can fully articulate the software manufacturing process. A stepwise traceability strategy is described and the use of a simple transform model is discussed.< >
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.< >
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.< >
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.< >
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.
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.< >
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.
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.< >
A study was undertaken to determine the support provided by Ada tools for component testing based on the standards recommended by the British computer Society Specialist Group in software Testing. A detailed series of...
详细信息
A study was undertaken to determine the support provided by Ada tools for component testing based on the standards recommended by the British computer Society Specialist Group in software Testing. A detailed series of questions about the degree of support provided by a tool for both the process and the test techniques were given to a number of users and vendors. The tools considered for the study were IPL's Ada Test and LDRA's Testbeds. The results of the study suggest that both LDRA and IPL tools were broadly comparable in terms of functionality, availability and price. Results also suggest that there appears to be a need to provide testing by integrating information from several sources.
暂无评论