Going Beyond White-Box Testing Through the Use of Abstract Semantic Analysis

This document describes an aggregate framework for specifying, developing and maintaining distributed-computer architecture requirements. The emphasis is placed on the application of evolving development techniques including “architecture”, product line and requirement patterns. These are studied at the inception (also referred to as concept or requirements) phase of development.

This paper is based on recent ideas and experiences with automotive and military applications, and is supported by information from university research, industry applications and various Internet documents.

The purpose for using the described approach is to reduce overall efforts, and improve system performance and vehicle reliability. It is believed that the use of these techniques would provide a competitive advantage.