This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Going Beyond White-Box Testing Through the Use of Abstract Semantic Analysis
Technical Paper
2005-01-1289
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
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.
Authors
Topic
Citation
Hote, C., "Going Beyond White-Box Testing Through the Use of Abstract Semantic Analysis," SAE Technical Paper 2005-01-1289, 2005, https://doi.org/10.4271/2005-01-1289.Also In
Automotive Electronics on CD-ROM from the SAE 2005 World Congress
Number: SP-1980CD; Published: 2005-04-11
Number: SP-1980CD; Published: 2005-04-11
References
- Kildall G. A unified approach to global program optimization ACM Symposium On Principles of Programming Languages 194 206 1973
- Wegbreit B. Property extraction in well-founded property sets IEEE Transactions on Software Engineering 1 3 270 285 1975
- Kildall G. “A unified approach to global program optimisation” ACM Symposium On Principles of Programming Languages 1973
- Wegbreit B. “Property extraction in well-founded property sets” IEEE Transactions on Software Engineering 1 3 270 285 1975