Family behaviour
This family defines requirements for the TSF to perform testing to demonstrate the security assumptions made about the underlying abstract machine upon which the TSF relies. This "abstract" machine could be a hardware/firmware platform, or it could be some known and assessed hardware/software combination acting as a virtual machine.
Component levelling
FPT_AMT.1 Abstract machine testing, provides for testing of the underlying abstract machine.
Management: FPT_AMT.1 Abstract machine testing
The following actions could be considered for the management functions in FMT:
a) management of the conditions under which abstract machine test occurs, such as during initial start-up, regular interval, or under specified conditions;
b) management of the time interval if appropriate.
Audit: FPT_AMT.1 Abstract machine testing
The following actions should be audited if FAU_GEN Security audit data generation is included in the PP/ST:
a) Basic: Execution of the tests of the underlying machine and the results of the tests.