Раздел: Документация
0 ... 30 31 32 33 34 35 36 ... 73 10 Class ADV: Development The development class encompasses four families of requirements for representing the TSF at various levels of abstraction from the functional interface to the implementation representation. The development class also includes a family of requirements for a correspondence mapping between the various TSF representations, ultimately requiring a demonstration of correspondence from the least abstract representation through all intervening representations to the TOE summary specification provided in the ST. In addition, there is a family of requirements for a TSP model, and for correspondence mappings between the TSP, the TSP model, and the functional specification. Finally, there is a family of requirements on the internal structure of the TSF, which covers aspects such as modularity, layering, and minimisation of complexity. Figure 10.1 shows the families within this class, and the hierarchy of components within the families. Class ADV: Development ADVFSP Functional specification ADVHLD High-level design ADVIMP Implementation representation ADVINT TSF internals ADVLLD Low-level design ADVRCR Representation correspondence ADV SPM Security policy modeling Figure 10.1 - Development class decomposition The paradigm evident for these families is one of a functional specification of the TSF, decomposing the TSF into subsystems, decomposing the subsystems into modules, showing the implementation of the modules, and demonstration of correspondence between all decompositions that are provided as evidence. The requirements for the various TSF representations are separated into different families, however, to allow the PP/ST author to specify which subset of the TSF representations are required. 1 2 3 4 1 2 3 4 5 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 0 ... 30 31 32 33 34 35 36 ... 73
|
