Closed
[Bug|算子缺陷]: aclnnInplaceLogicalNot error场景 存在1处意外成功(资料描述不支持但实际执行成功,待人工复核) #70
Alice_zhouAdd on  10 days agoClosed at  1 day ago
Alice_zhouCollaborators
10 days ago Create

一、问题描述(必填)

  • 接口名:aclnnInplaceLogicalNot;测试场景:error(异常约束违反压测);来源:error_stress_unexpected_success.xlsx(异常场景压测意外成功统计报告,2026-10-22)
  • 压测结果:FINAL: total=120 detected=108 param=75 inner=0 runtime=0 unexpected=12 rate=90%(每个异常场景注入资料描述不支持的约束后检查返回码)
  • 意外成功统计:共 1 处意外成功场景(合计意外成功执行 6 次)——预期接口应报 161001/161002 参数错误,实际执行成功 ret=0([FUZZ_VERIFY] match=NO, actual_code=0)
  • 接口级压测信息:运行状态=OK;场景总数=7,覆盖场景数=7(覆盖率100%);plog aicore 检查=CLEAN
  • 说明:伪异常已按框架规则剔除(format=ND 通用布局的 FORMAT 类场景、Optional 参数传 nullptr 合法场景、dtype 可互推导的配对场景),下表仅保留有效约束违反场景

二、超预期的问题点(意外成功明细)

场景ID 异常类型 异常目标参数 异常场景描述(注入的约束违反) 期望错误码 期望错误名 实际返回码 意外成功次数/总执行次数 资料维测要求
3 DIM_ILLEGAL selfRef selfRef dim=9D exceeds max=8D 161002 ACLNN_ERR_PARAM_INVALID 0 6/6 返回码应为161001或161002,错误信息应提示维度数超限

上述 1 处场景均为按资料约束注入异常(不支持 dtype / 维度超限 / shape 非法 / 参数 nullptr / 属性非法等)后接口实际执行成功([FUZZ_VERIFY] expected_code=161001或161002, actual_code=0, match=NO),接口未按资料描述的约束拒绝非法输入,请核对资料约束与 CANN 实现的一致性。

三、问题复现步骤(必填)

  1. 下载测试框架:https://gitcode.com/Alice_zhou/Vector_fuzz_cpp_testing/tree/main/turing_sec/aclnnAPI_fuzz/
  2. 环境准备(清除原有内容,将附件 cpp 放入对应目录下):
    rm -rf aclnnAPI_fuzz/src/op/*
    # 将附件 aclnnInplaceLogicalNot_error.cpp 放入 aclnnAPI_fuzz/src/op/ 下
    
  3. 编译:
    cd aclnnAPI_fuzz/ ; make
    
  4. 执行:
    cd out ; ./aclnnAPI_fuzz aclnnInplaceLogicalNot_error_fuzz
    
    执行后在打屏日志中查看 [FUZZ_ERROR_POINT](注入的异常点,即上表场景)与 [FUZZ_VERIFY](expected_code vs actual_code),上表场景均复现为 match=NO 且 actual_code=0(意外成功)。

四、附件与证据(必填)

💡 存在的问题(选填)
该问题由 fuzz 自动化压测平台 error 场景压测产出(按接口提单,一接口一单);如需更多上下文(完整打屏日志/plog/覆盖度报告),请访问平台 output/aclnnInplaceLogicalNot/fuzz_logs/ 目录。

likedislike
AAlice_zhouCollaborators
1 day ago Close issue