Commercial Off the Shelf (COTS) Security Issues and Approaches

Abstract

We explored the effectiveness of using attributed event grammars (AEG) based environment behavior models as a method for testing and analyzing real-time, reactive software systems. The AEG specifies possible event traces and provides a uniform approach for automatically generating and executing test cases. We have demonstrated the approach through a case study (Paderborn Shuttle System Control Software) and performed three kinds of experiments: software correctness testing, system performance analysis and study of design alternatives.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 2006
Accession Number
ADA456996

Entities

People

  • Dung Doan

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • Cyber
  • Ground and Sea Platforms
  • Materials and Manufacturing Processes
  • Space
  • Weapons Technologies

DTIC Thesaurus Topics

  • Acquisition
  • Commerce
  • Computer Programming
  • Computer Programs
  • Computers
  • Cybersecurity
  • Debugging
  • Department Of Defense
  • Governments
  • Information Assurance
  • Information Systems
  • Operating Systems
  • Security
  • Software Development
  • Software Testing
  • Test And Evaluation
  • Word Processors

Fields of Study

  • Computer science

Readers

  • Child and Adolescent Substance Abuse Science in Autism Spectrum Disorders.
  • Software Engineering.