{
    "path": "$OET_PATH/testcases/function_test/pkg_test/gmp/gmp-devel",
    "machine num": 1,
    "cases": [
        {
            "name": "test_gmp-devel_function_version",
            "desc": "测试gmp-devel软件包（或其包含的库头文件）的版本信息能否正确查询。"
        },
        {
            "name": "test_gmp-devel_function_uninstall",
            "desc": "测试gmp-devel软件包能否被成功卸载。"
        },
        {
            "name": "test_gmp-devel_function_install",
            "desc": "测试gmp-devel软件包能否被成功安装。"
        },
        {
            "name": "test_gmp-devel_function_check",
            "desc": "测试gmp-devel软件包是否正确安装并能查询到版本信息。"
        },
        {
            "name": "test_gmp-devel_function_check_headers",
            "desc": "测试安装后主要的开发头文件（如gmp.h）是否存在。"
        },
        {
            "name": "test_gmp-devel_function_check_version",
            "desc": "通过rpm/dpkg或查询头文件版本来验证软件包版本信息是否匹配预期。"
        },
        {
            "name": "test_gmp-devel_function_check_libs",
            "desc": "测试安装后相关的开发库文件（如libgmp.a, libgmp.so）是否存在于标准系统路径。"
        }
    ]
}