[PDF] Automating The Verification Of Ada Software Development eBook

Author : Johann M. Schumann
Publisher : Springer Science & Business Media
Page : 252 pages
File Size : 40,37 MB
Release : 2013-06-29
Category : Computers
ISBN : 3662226464

GET BOOK

Growing demands for the quality, safety, and security of software can only be satisfied by the rigorous application of formal methods during software design. This book methodically investigates the potential of first-order logic automated theorem provers for applications in software engineering. Illustrated by complete case studies on protocol verification, verification of security protocols, and logic-based software reuse, this book provides techniques for assessing the prover's capabilities and for selecting and developing an appropriate interface architecture.

Author :
Publisher :
Page : 16 pages
File Size : 44,22 MB
Release : 1988
Category :
ISBN :

GET BOOK

Testing on the Standard Automated Remote to AUTODIN Host (SARAH) project was a continuous process. Development testing provided a stabilizing environment for the project. The early design interfaces were done in the implementation code (Ada), developing confidence in both the language and software engineering techniques it supports. The Ada environment had the right tools to allow incremental building. The packaging concept provided a continuous testing platform ensuring functional isolation, verification of data integrity, and an immediate decrease in the opportunity for the introduction of errors. This supported the principles of modularity, high cohesion, and low coupling. Shared packages of tools made the subsystem developers more productive. Generics were used to reduce redundancy in the development of code. Our greatest testing problems occurred because of the tasking environment. The library management system and the vendor developed debug tools proved to be essential in development testing and integration. Testing of software is not affected as significantly by the language used as it is by the engineering applied during the design and development of the system.

Author :
Publisher :
Page : 110 pages
File Size : 30,56 MB
Release : 2000
Category : Reliability (Engineering)
ISBN :

GET BOOK

Contains references to documents in the NASA Scientific and Technical Information (STI) Database.

Author : Elfriede Dustin
Publisher : Addison-Wesley Professional
Page : 614 pages
File Size : 47,97 MB
Release : 1999
Category : Computers
ISBN : 9780201432879

GET BOOK

A guide to the various tools, techniques, and methods available for automated testing of software under development. Using case studies of successful industry implementations, the book describes incorporation of automated testing into the development process. In particular, the authors focus on the Automated Test Lifecycle Methodology, a structured process for designing and executing testing that parallels the Rapid Application Development methodology commonly used. Annotation copyrighted by Book News, Inc., Portland, OR

Author : Peter A. Fritzson
Publisher : Springer Science & Business Media
Page : 392 pages
File Size : 39,47 MB
Release : 1993-11-10
Category : Computers
ISBN : 9783540574170

GET BOOK

Debugging has always been a costly part of software development, and many attempts have been made to provide automatic computer support for this task.Automated debugging has seen major develoments over the last decade. Onesuccessful development is algorithmic debugging, which originated in logic programming but was later generalized to concurrent, imperative, and lazy functional languages. Important advances have also been made in knowledge-based program debugging, and in approaches to automated debugging based on static and dynamic program slicing based on dataflow and dependence analysis technology. This is the first collected volume of papers on automated debugging and presents latest developments, tutorial papers, and surveys.

Author : T. Nishimura
Publisher : Elsevier
Page : 299 pages
File Size : 41,67 MB
Release : 2014-05-23
Category : Technology & Engineering
ISBN : 1483298981

GET BOOK

The papers presented at the Symposium covered the areas in aerospace technology where automatic control plays a vital role. These included navigation and guidance, space robotics, flight management systems and satellite orbital control systems. The information provided reflects the recent developments and technical advances in the application of automatic control in space technology.