OCSEGen: open components and systems environment generator

Authors:
Oksana Tkachuk
Affiliations:
NASA Ames Research Center
Venue:
Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the Art in Java Program analysis
Year:
2013

Citing 3
Cited 0

Adapting side effects analysis for modular program model checking

Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Analyzing Interaction Orderings with Model Checking

Proceedings of the 19th IEEE international conference on Automated software engineering
Domain-specific environment generation for modular software model checking

Domain-specific environment generation for modular software model checking

Quantified Score

Hi-index	0.00

Visualization

Abstract

To analyze a large system, one often needs to break it into smaller components. To analyze a component or unit under analysis, one needs to model its context of execution, called environment, which represents the components with which the unit interacts. Environment generation is a challenging problem, because the environment needs to be general enough to uncover unit errors, yet precise enough to make the analysis tractable. In this paper, we present a tool for automated environment generation for open components and systems. The tool, called OCSEGen, is implemented on top of the Soot framework. We present the tool's current support and discuss its possible future extensions.