Hyotheses-driven Analysis of Object Architectures

  • Fröhlich, Joachim Hans (Researcher)
  • Stranzinger, Thomas (Researcher)
  • Fröhlich, Joachim Hans (PI)
  • Pomberger, Gustav (PI)

Project: Funded researchOther sponsors

Project Details

Description

An object-oriented program is difficult to analyze even when the program is clearly structured. The difficulty results from the difference between static program structure (the structure of the source code) and program behavior. This difference impedes especially the analysis of dynamic properties for testing and documenting program behavior and hence the incremental development of object-oriented programs. The results of this project support goal-oriented analysis of program behavior. A goal is expressed as a hypothesis about an object architecture, i.e., a mutably graph of interacting objects. The special-purpose language OASE was designed for stating hypotheses based on the source code of a program. OASE-scrips control a tool that automatically checks program executions against hypotheses. Using this tool an analysis is performed in several steps. Depending on the result of one step an analysis is finished, the hypothesis is refined, or another program execution is checked against the same hypothesis. By means of this procedure, hypotheses-driven analysis of program behavior helps to ensure quality of highly dynamic object-oriented programs.
StatusFinished
Effective start/end date01.01.199631.03.1999

Fields of science

  • 102 Computer Sciences
  • 102020 Medical informatics
  • 102022 Software development
  • 102006 Computer supported cooperative work (CSCW)
  • 102027 Web engineering
  • 502050 Business informatics
  • 102040 Quantum computing 
  • 102016 IT security
  • 503015 Subject didactics of technical sciences
  • 509026 Digitalisation research
  • 102015 Information systems
  • 102034 Cyber-physical systems
  • 502032 Quality management

JKU Focus areas

  • Digital Transformation