OCSEGen : Open Components and Systems Environment Generator
- Author
- Tkachuk, Oksana
- Published
- June 23, 2014.
- Physical Description
- 1 electronic document
Online Version
- hdl.handle.net , Connect to this object online.
- Restrictions on Access
- Unclassified, Unlimited, Publicly available.
Free-to-read Unrestricted online access - Summary
- 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.
- Other Subject(s)
- Collection
- NASA Technical Reports Server (NTRS) Collection.
- Note
- Document ID: 20140011545.
ARC-E-DAA-TN12545.
International Workshop on the State Of the Art in Java Program Analysis (SOAP 2013); 20 Jun. 2013; Seattle, WA; United States. - Terms of Use and Reproduction
- Copyright, Distribution under U.S. Government purpose rights.
View MARC record | catkey: 15421758