In this paper we make the case that on-target measurement of non-functional requirements is an essential part of high-integrity systems development. We focus on those non-functional requirements that frequently need to be assessed as part of high-integrity systems development: code coverage, real-time performance and memory usage. We describe the benefits that arise from performing the on-target measurement of these properties, such as the increased confidence that comes from measuring on the actual target. We also discuss the challenges that arise together with a range of technical approaches that can address them. We examine the specifics of verification for nonfunctional executable qualities on-target, and how these results can be improved by including information from structural analysis of the source code. Finally we recommend criteria for developers to consider when selecting between manual methods and automated tool support in this area.
展开▼
