Fork: 0
LuminaSensum / mbed-os
Transfer to URL with SHA Find file
Newer
Older
mbed-os / features / FEATURE_EXPERIMENTAL_API / FEATURE_PSA / TARGET_MBED_PSA_SRV / TESTS / compliance_attestation / psa_attestation_testlist.md
@Devaraj Ranganna Devaraj Ranganna on 18 Jun 2020 4 KB psa: Replace Mbed PSA with TF-M
Raw Blame History

PSA Initial Attestation Testcase checklist

Test Return value API Test Algorithm Test Cases
test_a001 PSA_ATTEST_ERR_SUCCESS psa_initial_attest_get_token()
psa_initial_attest_get_token_size()		 1. Provide correct inputs to API with described challenge sizes
2. Expect API to return this define as return value each time
3. Verify the token		 1. Challenge_size = 32
2. Challenge_size = 48
3. Challenge_size = 64
PSA_ATTEST_ERR_INVALID_INPUT psa_initial_attest_get_token()
psa_initial_attest_get_token_size()		 1. Provide described challenge sizes to the API along with other valid parameters
2. Expect API to return this define as return value each time		 1. Challenge_size is zero
2. Invalid challenge size between 0 and 32
3. Invalid challenge size between 32 and 64
4. Challenge_size is greater than MAX_CHALLENGE_SIZE
PSA_ATTEST_ERR_TOKEN_BUFFER_OVERFLOW psa_initial_attest_get_token() 1. Provide described taken size to the API along with other valid parameters
2. Expect API to return this define as return value each time		 Pass the token_size which less than actual/required token size
PSA_ATTEST_ERR_INIT_FAILED psa_initial_attest_get_token()
psa_initial_attest_get_token_size()		 Can't simulate. Test can't generate stimulus where attestation initialisation fails
PSA_ATTEST_ERR_CLAIM_UNAVAILABLE psa_initial_attest_get_token() Can't simulate. Test can't generate stimulus where claim can unavailable
PSA_ATTEST_ERR_GENERAL psa_initial_attest_get_token()
psa_initial_attest_get_token_size()		 Can't simulate. Test can't generate stimulus where unexpected error happened during API operation

Note

  1. In verifying the token, only the data type of claims and presence of the mandatory claims are checked and the values of the claims are not checked.
  2. Checks related to token signature validation will be part of future release

License

Arm PSA test suite is distributed under Apache v2.0 License.

Copyright (c) 2019, Arm Limited and Contributors. All rights reserved.