We give the definition of a programming rule and discuss some ways of applying static verification to verify these rules. These verification techniques are compared to empirical results obtained on a set of industrial projects.
The aim of this article is to present empirical results obtained with the static verification tool Strongtalk. We have examined 10 industrial projects of various sizes and in many programming languages. Our survey shows that most of the defects identified by means of static verification could be subsequently detected in the course of development. We conclude that static verification improves the safety of developed programs. Static analysis is an effective tool to reduce the effort to find defects in programs.
Often, a developer writes a set of proofs which, among other, show him that a program is ready, or in other words, that a set of conditions are verified. However, usually, the proofs are hard to understand or may be of little use. In this article, we present three approaches to automate the process of producing proofs. These approaches are based on the reconstruction of the development process. They are applicable to proof systems based on static analysis. The goal of these systems is to ensure that the design with respect to the safety of the software being developed is correct. Determining proof obligations is critical in this context.In this article, we describe our work on the first of these tools, the Maccontainer.
This article presents the results of specification, modelling, and static analysis of a critical component of the Glynix ITSD electronic archive. This paper focuses on aspects of integration testing of High Level-Weapon Systems (HLS). It gives an overview of the HLS architecture and the design of the sequencer protocol.
The Large Scale Information Processing and Communications Security for the Smart Grid (L-SIPCSG) project is a university- industry Grand Challenge-award. In this paper, we present our selected architecture and selected model for the L-SIPCSG system. d2c66b5586