构建 AI 智能体以自动创建软件测试案例

{
  "requirement_id": "DOSBSP60-REQ-3874",
  "name": "Get Temperature for Thermal Zones in the SOC_THERM Domain",
    "description": "When a request to retrieve the temperature of a thermal zone in the SOC_THERM domain is made via TMON_GUEST_LIF#GetTempSocTherm, QNX_BSP shall retrieve and return two consecutive temperature values for the thermal zone via TEGRA_CTRL_LIF#GetTemp, preserving the temperature resolution, along with two corresponding timestamps via DRIVE_OS::QNX_System::OS_LIBC_LIF#ReadClockCycles."
}

### Extracted Information for Requirement: DOSBSP60-REQ-3874

#### Unit Requirements and Functional Blocks
- **UREQ_NvThermmon_Library_0601**:
      If the thermal zone bound to **Handle** is in the SOC_THERM domain, Thermal_API#GetTempSocTherm shall retrieve the bound zone ID, pass it to BPMP_Comm_API#GetZoneTemp to get the zone temperature, populate **TempVal1** with the zone temperature, use libc_api#QnxLibcReadClockCycles to populate **Timestamp1**, call BPMP_Comm_API#GetZoneTemp to get the zone temperature again, populate **TempVal2** with the zone temperature, use libc_api#QnxLibcReadClockCycles to populate **Timestamp2**, and return success as per Thermal_API ICD.
   
- **UREQ_NvThermmon_Library_0602**:
      If BPMP_Comm_API#GetZoneTemp fails, Thermal_API#GetTempSocTherm shall return error as per Thermal_API ICD and perform no other action.

#### Methods and Functions
- **Functional Block FUNC_NvThermmon_01**:
  FUNC_NvThermmon_01
      Thermal_API provides the Thermal_API#GetTempSmTmon and Thermal_API#GetTempSocTherm interface to query the temperature of the thermal zone bound to **Handle** and return the result in **zone_temp**.

#### Error Handling
- **UREQ_NvThermmon_Resmgr_1201**:
      If NvThermmon_Resmgr encounters a SW diagnostic error, the NvThermmon_Resmgr returns error as per Thermal_devctl_API ICD for all current and future Thermal_devctl_API requests and performs no other action.

- **UREQ_NvThermmon_Resmgr_1202**:
      If libc_api#QnxLibcIoctl is called on ``/dev/<ZoneName>`` and the command is not Thermal_devctl_API#GetTemp or Thermal_devctl_API#SetAlert, NvThermmon_Resmgr shall return error as per Thermal_devctl_API ICD.

#### Verification Criteria (Verification Environment: AV+Q Safety prod-debug)
Verification Environment: AV+Q Safety prod-debug
Pre-Condition: N/A
Constraints: N/A
Verification Steps:
- Run interface tests on API
- Pass invalid thermal zones and verify the API fails
- Pass valid thermal zones from a process with required privileges and permissions and verify that the temperature can be read.
- Inject error such that I2C_API#SendReceive returns error and verify that Thermal_API#GetTempSmTmon fails as expected.
- Inject error such that BPMP_Comm_API#GetZoneTemp returns error and verify that Thermal_API#GetTempSocTherm fails as expected.

### Extracted Information from ICDs

#### Methods and Functions:

1. **NvThermmonOpen**
    **Description**: Opens a connection to the nvthermmon driver for the thermal sensor/zone user is interested in.

    **Parameters**:
    - `const char *const ZoneName`: Thermal sensor/zone name
    - `NvThermmonHandle *const Handle`: User handle for further API calls

    **Returns**:
    - `NV_THERMMON_ERR_CODE_NO_ERROR`: Success
    - `NV_THERMMON_ERR_CODE_INVALID_PARAM`: Invalid parameters
    - `NV_THERMMON_ERR_CODE_DT_FAILED`: Device tree failure
    - `NV_THERMMON_ERR_CODE_INVALID_PERM`: Permission error
    - `NV_THERMMON_ERR_CODE_INVALID_STATE`: Invalid system state
    - `NV_THERMMON_ERR_CODE_ERROR`: BPMP Comm error

    **Precondition**: None

    **Usage Considerations**:
    - Allowed context for the API call
    - Sync, not re-entrant
2. **NvThermmonGetZoneTemp**
    **Description**: Read temperature from selected thermal zone. Populates memory pointed to by `temp` with temperature of thermal zone in millidegrees Celsius and returns status.

    **Parameters**:
    - `const NvThermmonHandle Handle`: Handle for execution context bound in `NvThermmonOpen`
    - `int32_t * const TempVal`: Pointer to save temperature value in millidegrees Celsius.

    **Returns**:
    - `NvThermmonErrCode`: Error Code (e.g., `NV_THERMMON_ERR_CODE_NO_ERROR`, `NV_THERMMON_ERR_CODE_INVALID_PARAM`)

#### Data Structures and Fields:

1. **zone_temp_t Structure**
    **Fields**:
    - `int32_t temp_1`: First temperature reading
    - `int32_t temp_2`: Second temperature reading
    - `uint64_t ts_1`: Timestamp for first temp reading
    - `uint64_t ts_2`: Timestamp for second temp reading

#### Enumerations:
1. **NvThermmonErrCode**

    **Error Codes**:
    - `NV_THERMMON_ERR_CODE_NO_ERROR`
    - `NV_THERMMON_ERR_CODE_INVALID_PARAM`
    - `NV_THERMMON_ERR_CODE_DT_FAILED`
    - `NV_THERMMON_ERR_CODE_INVALID_PERM`
    - `NV_THERMMON_ERR_CODE_INVALID_STATE`
    - `NV_THERMMON_ERR_CODE_ERROR`

### Integration of Information for Testing:

1. **NvThermmonOpen()**:
    **Precondition**: Ensure that `NvThermmonOpen` returns success for the thermal zone.
    **Dependencies**:
    - Handle for execution context

2. **NvThermmonGetZoneTemp()**:
    **Dependencies**:
    - `zone_temp_t` structure to store temperature readings and timestamps.
    - Error codes to handle different edge cases and validation steps.

######
Test Case ID: TC_DOSBSP60-REQ-3874_001
Test Case Name: Verify successful temperature query for a supported thermal zone
Test Type: Positive
Test Design: Ensure the temperature for a thermal zone in the SOC_THERM domain can be queried successfully.
Pre-condition: Thermal zone is supported and NvThermmonOpen() returns success for the thermal zone.
Test Procedure:
1. Open a connection to the thermal zone using NvThermmonOpen().
2. Query the temperature for the thermal zone using NvThermmonGetZoneTemp().
3. Retrieve two consecutive temperature values.
Expected Result: The API should return success with two temperature values that differ by no more than the delta determined by the thermal characteristics of the board.

######
Test Case ID: TC_DOSBSP60-REQ-3874_002
Test Case Name: Verify accompanying timestamp for temperature queries
Test Type: Positive
Test Design: Ensure that two timestamp values are returned with temperature queries.
Pre-condition: Thermal zone is supported and NvThermmonOpen() returns success for the thermal zone.
Test Procedure:
1. Open a connection to the thermal zone using NvThermmonOpen().
2. Query the temperature for the thermal zone using NvThermmonGetZoneTemp().
3. Retrieve two consecutive temperature values along with two corresponding timestamps.
Expected Result: The API should return success with two timestamp values that do not exceed T microseconds between them.

######
Test Case ID: TC_DOSBSP60-REQ-3874_003
Test Case Name: Verify temperature variation over successive calls
Test Type: Positive
Test Design: Ensure that the temperature for the thermal zone varies over successive queries.
Pre-condition: Thermal zone is supported and NvThermmonOpen() returns success for the thermal zone.
Test Procedure:
1. Open a connection to the thermal zone using NvThermmonOpen().
2. Query the temperature for the thermal zone using NvThermmonGetZoneTemp() multiple times.
3. Compare temperature values over successive calls.
Expected Result: The temperature values should show a difference of >0 and should vary with the resolution supported by the temperature sensor.

#include <stdio.h>
#include <stdint.h>
#include "NvThermmonAPI.h"

// Test Case TC_DOSBSP60-REQ-3874_001
// Verify successful temperature query for a supported thermal zone
void TC_DOSBSP60_REQ_3874_001(void) {
    NvThermmonHandle handle;
    zone_temp_t zoneTemp;

    // Step 1: Open a connection to the thermal zone using NvThermmonOpen()
    NvThermmonErrCode status = NvThermmonOpen("CPU-therm", &handle);
    if (status != NV_THERMMON_ERR_CODE_NO_ERROR) {
        printf("TC_DOSBSP60-REQ-3874_001: NvThermmonOpen failed\n");
        return;
    }

    // Step 2: Query the temperature for the thermal zone using NvThermmonGetZoneTemp()
    status = NvThermmonGetZoneTemp(handle, &zoneTemp);
    if (status != NV_THERMMON_ERR_CODE_NO_ERROR) {
        printf("TC_DOSBSP60-REQ-3874_001: NvThermmonGetZoneTemp failed\n");
        return;
    }

    // Step 3: Retrieve two consecutive temperature values
    int32_t delta = zoneTemp.temp_2 - zoneTemp.temp_1;
    if (delta > 100) { // Assume 100 is the delta determined by the thermal characteristics of the board
        printf("TC_DOSBSP60-REQ-3874_001: Temperature delta is too large\n");
    } else {
        printf("TC_DOSBSP60-REQ-3874_001: Passed\n");
    }
}

// Test Case TC_DOSBSP60-REQ-3874_002
// Verify accompanying timestamp for temperature queries
void TC_DOSBSP60_REQ_3874_002(void) {
    NvThermmonHandle handle;
    zone_temp_t zoneTemp;

    // Step 1: Open a connection to the thermal zone using NvThermmonOpen()
    NvThermmonErrCode status = NvThermmonOpen("CPU-therm", &handle);
    if (status != NV_THERMMON_ERR_CODE_NO_ERROR) {
        printf("TC_DOSBSP60-REQ-3874_002: NvThermmonOpen failed\n");
        return;
    }

    // Step 2: Query the temperature for the thermal zone using NvThermmonGetZoneTemp()
    status = NvThermmonGetZoneTemp(handle, &zoneTemp);
    if (status != NV_THERMMON_ERR_CODE_NO_ERROR) {
        printf("TC_DOSBSP60-REQ-3874_002: NvThermmonGetZoneTemp failed\n");
        return;
    }

    // Step 3: Retrieve two consecutive temperature values along with two corresponding timestamps
    uint64_t deltaTs = zoneTemp.ts_2 - zoneTemp.ts_1;
    if (deltaTs > 1000) { // Assume 1000 microseconds is the maximum allowed delta
        printf("TC_DOSBSP60-REQ-3874_002: Timestamp delta is too large\n");
    } else {
        printf("TC_DOSBSP60-REQ-3874_002: Passed\n");
    }
}

// Test Case TC_DOSBSP60-REQ-3874_003
// Verify temperature variation over successive calls
void TC_DOSBSP60_REQ_3874_003(void) {
    NvThermmonHandle handle;
    zone_temp_t zoneTemp1, zoneTemp2;

    // Step 1: Open a connection to the thermal zone using NvThermmonOpen()
    NvThermmonErrCode status = NvThermmonOpen("CPU-therm", &handle);
    if (status != NV_THERMMON_ERR_CODE_NO_ERROR) {
        printf("TC_DOSBSP60-REQ-3874_003: NvThermmonOpen failed\n");
        return;
    }

    // Step 2: Query the temperature for the thermal zone using NvThermmonGetZoneTemp() multiple times
    status = NvThermmonGetZoneTemp(handle, &zoneTemp1);
    if (status != NV_THERMMON_ERR_CODE_NO_ERROR) {
        printf("TC_DOSBSP60-REQ-3874_003: NvThermmonGetZoneTemp (1st call) failed\n");
        return;
    }

    status = NvThermmonGetZoneTemp(handle, &zoneTemp2);
    if (status != NV_THERMMON_ERR_CODE_NO_ERROR) {
        printf("TC_DOSBSP60-REQ-3874_003: NvThermmonGetZoneTemp (2nd call) failed\n");
        return;
    }

    // Step 3: Compare temperature values over successive calls
    int32_t temperatureDifference = zoneTemp2.temp_1 - zoneTemp1.temp_1;
    if (temperatureDifference <= 0) {
        printf("TC_DOSBSP60-REQ-3874_003: Temperature did not vary as expected\n");
    } else {
        printf("TC_DOSBSP60-REQ-3874_003: Passed\n");
    }
}