Requirements

Hash Requirements		status: draft security: NO safety: ASIL_B
tags: requirements, hash version: 1 realizes: wp__requirements_comp
doc__hash_requirements		Generic Document

Hash Library		status: valid security: NO safety: ASIL_B
tags: baselibs_hash bazel_target: ["@@score_baselibs+//score/hash:hash","@@score_baselibs+//score/hash:safe_hash","@@score_baselibs+//score/hash/code/core/factory/impl:factory_headers"] bazel_type: ["cc_library","cc_library","cc_library"] version: 1 belongs to: feat__baselibs satisfies: comp_req__hash__calculation_interface, comp_req__hash__crc32_algorithm, comp_req__hash__factory_interface, comp_req__hash__safe_computation, comp_req__hash__sha_algorithms, comp_req__hash__value_retrieval_bytes, comp_req__hash__value_retrieval_hex included by: mod__baselibs, mod_view_sta__baselibs__baselibs coverage: lines 100% · branches 88% · files 21/28
comp__baselibs_hash		Component

Functional Requirements

Hash Computation from Byte Data		status: valid security: YES safety: ASIL_B
reqtype: Functional testlink: WorkingDigests/HashCalculatorFactoryCreationTest/0__CalculateSha256 (passed); WorkingDigests/HashCalculatorFactoryCreationTest/0__CalculateCrc32 (passed); WorkingDigests/HashCalculatorFactoryCreationTest/1__CalculateSha256 (passed); WorkingDigests/HashCalculatorFactoryCreationTest/1__CalculateCrc32 (passed); HashCalculatorFactory__HashCalculatorSpanInput (passed); HashCalculatorFactory__HashCalculatorStreamInput (passed); HashCalculatorFactory__HashCalculatorStreamInputWithMaxRead (passed); Crc32IeeeTest__Hash (passed); Crc32IeeeTest__TwoUpdates (passed); HashCalculatorTest__UpdateStreamTest (passed); HashCalculatorTest__InvalidDigestUpdateTest (passed); HashCalculatorTest__UpdateFromStreamTest (passed); HashCalculatorTest__InvalidUpdateFromStreamTest (passed); HashCalculatorTest__UpdateFromStreamGoesBadTest (passed); HashCalculatorTest__BadInputUpdateFromStreamTest (passed); HashCalculatorTest__EmptyInputUpdateFromStreamTest (passed); HashCalculatorTest__InvalidFinalizeTest (passed); HashCalculatorSHATest__HashAlgorithmsSimpleTestSha256 (passed); OpensslLibTest__Sha256Test (passed); OpensslLibTest__DigestCtxNewTest (passed); OpensslLibTest__DigestInitExTest (passed); OpensslLibTest__DigestUpdateTest (passed); OpensslLibTest__DigestFinalExTest (passed) version: 1 derived from: feat_req__baselibs__hash_library satisfied by: comp__baselibs_hash
The hash library shall compute a hash value over a contiguous byte sequence supplied by the caller, accumulating state across one or more data inputs and producing the final digest upon finalization.
comp_req__hash__calculation_interface		Component Requirement

Hash Value Retrieval as Raw Bytes		status: valid security: YES safety: ASIL_B
reqtype: Functional testlink: HashFixture__GetBytesAsSpan (passed); HashTest__CanCreateFromValidStringCompleteSetOfAlgorithms (passed); TypedHashFixture__GetBytesAsSpan (passed) version: 1 derived from: feat_req__baselibs__hash_library satisfied by: comp__baselibs_hash
The hash library shall expose the computed hash value as a raw byte sequence.
comp_req__hash__value_retrieval_bytes		Component Requirement

Hash Value Retrieval as Hexadecimal String		status: valid security: YES safety: ASIL_B
reqtype: Functional testlink: HashTest__CanCreateFromValidString (passed); HashTest__ToStringEmptyValueTest (passed); HashTest__CanCreateFromValidStringCompleteSetOfAlgorithms (passed); TypedHashTest__CanCreateFromValidString (passed); TypedHashTest__ToStringEmptyValueTest (passed); TypedHashTest__CanSerializeToJsonAny (passed) version: 1 derived from: feat_req__baselibs__hash_library satisfied by: comp__baselibs_hash
The hash library shall expose the computed hash value as a hexadecimal string representation.
comp_req__hash__value_retrieval_hex		Component Requirement

Algorithm Selection via Factory		status: valid security: YES safety: ASIL_B
reqtype: Functional testlink: WorkingDigests/HashCalculatorFactoryCreationTest/0__HashCalculatorFactorySuccessTest (passed); WorkingDigests/HashCalculatorFactoryCreationTest/1__HashCalculatorFactorySuccessTest (passed); HashCalculatorFactory__hashCalculatorFactoryFailTest (passed); HashCalculatorFactory__FailedHashObjCreation (passed); HashCalculatorFactory__FailedHashObjCreationStream (passed); HashCalculatorFactory__FailHashObjCreationWithMaxRead (passed); HashCalculatorFactory__InstantiateWithFailingOpenSslLib (passed); HashCalculatorFactory__InstantiateWithSuccess (passed); SafeHashCalculatorFactory__TryToInstantiateNonexistentHash (passed) version: 1 derived from: feat_req__baselibs__hash_library satisfied by: comp__baselibs_hash
The hash library shall allow the hash algorithm to be selected and a calculator instance to be created independently of the code that performs the computation, so that the calling code is not coupled to any specific algorithm implementation.
comp_req__hash__factory_interface		Component Requirement

Cryptographic Hash Algorithms		status: valid security: YES safety: ASIL_B
reqtype: Functional testlink: WorkingDigests/HashCalculatorFactoryCreationTest/0__CalculateSha256 (passed); WorkingDigests/HashCalculatorFactoryCreationTest/1__CalculateSha256 (passed); HashIdentify__CorrectSizes (passed); HashCalculatorTest__HashAlgorithmsSimpleSha1Test (passed); HashCalculatorTest__HashAlgorithmsSimpleSha256Test (passed); HashCalculatorTest__HashAlgorithmsSimpleSha384Test (passed); HashCalculatorTest__HashAlgorithmsSimpleSha512Test (passed); HashCalculatorSHATest__HashAlgorithmsSimpleTestSha256 (passed); OpensslLibTest__Sha1Test (passed); OpensslLibTest__Sha384Test (passed); OpensslLibTest__Sha512Test (passed) version: 1 derived from: feat_req__baselibs__hash_library satisfied by: comp__baselibs_hash
The hash library shall support SHA-1, SHA-256, SHA-384, and SHA-512 as cryptographic hash algorithms.
comp_req__hash__sha_algorithms		Component Requirement

CRC-32 Checksum Algorithm		status: valid security: YES safety: ASIL_B
reqtype: Functional testlink: WorkingDigests/HashCalculatorFactoryCreationTest/0__CalculateCrc32 (passed); WorkingDigests/HashCalculatorFactoryCreationTest/0__Crc32AutosarNotSupportedInIeeeVariant (passed); WorkingDigests/HashCalculatorFactoryCreationTest/1__CalculateCrc32 (passed); WorkingDigests/HashCalculatorFactoryCreationTest/1__Crc32AutosarNotSupportedInIeeeVariant (passed); HashIdentify__CorrectSizes (passed); Crc32IeeeTest__Hash (passed); Crc32IeeeTest__TwoUpdates (passed) version: 1 derived from: feat_req__baselibs__hash_library satisfied by: comp__baselibs_hash
The hash library shall support IEEE CRC-32 as a checksum algorithm.
comp_req__hash__crc32_algorithm		Component Requirement

Exception-Free Error Propagation		status: valid security: YES safety: ASIL_B
reqtype: Functional testlink: HashCalculatorFactory__hashCalculatorFactoryFailTest (passed); HashCalculatorFactory__FailedHashObjCreation (passed); HashCalculatorFactory__FailedHashObjCreationStream (passed); HashCalculatorFactory__FailHashObjCreationWithMaxRead (passed); HashCalculatorFactory__InstantiateWithFailingOpenSslLib (passed); SafeHashCalculatorFactory__TryToInstantiateNonexistentHash (passed); HashCalculatorTest__NullDigestTypeCreateAlgoTest (passed); HashCalculatorTest__InvalidDigestCtxCreateAlgoTest (passed); HashCalculatorTest__InvalidDigestInitCreateAlgoTest (passed); HashCalculatorTest__InvalidCreateAlgorthimTest (passed) version: 1 derived from: feat_req__baselibs__hash_library satisfied by: comp__baselibs_hash
The hash library shall propagate errors from hash calculator instantiation via return-value types, enabling use in safety-critical contexts where exception handling is not available.
comp_req__hash__safe_computation		Component Requirement