Linear and structural event sequence analysis

ABSTRACT

An approach to systematic informal program analysis is discussed in which comments that describe hypotheses and assertions about the behavior of programs are analyzed. Event sequence comments analysis methods analyze the consistency of comments that describe events. Two event sequence analysis methods are discussed, one of which uses a linear event sequence model, and which has been applied to the analysis of large data processing systems. The other uses a new approach involving rule-based structural models, and has been applied to the analysis of Ada programs.

REFERENCES

• 1: E. M. Clarke , E. A. Emerson , A. P. Sistla, Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Transactions on Programming Languages and Systems (TOPLAS), v.8 n.2, p.244-263, April 1986 [doi>10.1145/5397.5399]
• 2: Matthew B. Dwyer , Lori A. Clarke, Data flow analysis for verifying properties of concurrent programs, Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering, p.62-75, December 06-09, 1994, New Orleans, Louisiana, United States
• 3: W.E. Howden and G.M. Shi, CDA: A system for understanding the dynamic properties of data processing programs, Proceedings of Symposium on Assessment of Quality Software Development Tools, IEEE, 1992.
• 4: W.E. Howden and G.M. Shi, Integration verification using QDA object property and event sequence analysis methods, CSE Technical Report, UCSD, La Jolla, 1994.
• 5: W.E. Howclen and Cheron Vail, An informal verification of a critical system, Proceedings Fifth international Conference on Software Engineering and its Applications, CIGREF, Toulouse, 1992.
• 6: W. E. Howden , B. Wieand, QDA - A Method for Systematic Informal Program Analysis, IEEE Transactions on Software Engineering, v.20 n.6, p.445-462, June 1994 [doi>10.1109/32.295893]
• 7: Kurt M. Olender , Leon J. Osterweil, Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation, IEEE Transactions on Software Engineering, v.16 n.3, p.268-280, March 1990 [doi>10.1109/32.48935]
• 8: Richard N. Taylor, A general-purpose algorithm for analyzing concurrent programs, Communications of the ACM, v.26 n.5, p.361-376, May 1983 [doi>10.1145/69586.69587]

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.5 PATTERN RECOGNITION
      I.5.1 Models
          Subjects: Structural

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.1 Requirements/Specifications
          Subjects: Tools
      D.2.4 Software/Program Verification
          Subjects: Validation

  I. Computing Methodologies
  I.6 SIMULATION AND MODELING
      I.6.8 Types of Simulation
          Subjects: Combined

General Terms:
Design, Theory, Verification

Keywords:
analysis, comments, event-sequence, event-structures, validation