Verifying configuration files

  • Authors:
  • Ciera Jaspan

  • Affiliations:
  • Carnegie Mellon University, Pittsburgh, PA, USA

  • Venue:
  • Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

Configuration files are commonly used to create applications by gluing together new or existing components. However, components may be missing, misconfigured, or connected improperly, resulting in exceptions and unusual runtime behavior. This research contributes a mechanism to statically verify configuration files alongside the component code.