The correct option is It has been structurally tested.

It has been structurally tested reflects the Common Criteria definition of EAL2. This level requires that the evaluator examine the design and perform structured testing and analysis to confirm that the specified security functions are implemented correctly. EAL2 gives more assurance than basic functional testing but it does not reach the design rigor of higher EALs.

It has undergone functional testing describes EAL1, which is limited to basic functional testing and offers the lowest assurance level. That makes this option incorrect for EAL2.

It was methodically tested and checked corresponds to EAL3, which requires a more thorough, methodical assessment and more design documentation than EAL2. Therefore this option is not correct for EAL2.

It has a formally verified design and extensive proof through testing describes the very high assurance levels such as EAL7 where formal verification and proofs are required. This is far beyond the scope of EAL2 and so it is incorrect.

Full AWS Practitioner Certification Question