验证支持的方法及用于验证支持的设备

摘要

信息输入单元输入表示一要验证的设备的功能的功能配置信息。条件输入单元输入关于指定给该设备的输入/输出序列的条件。函数生成单元根据所述功能配置信息，生成满足所有这些条件的验证项函数。提取单元根据所述验证项函数提取一配置元素的组合以作为一验证项，其中这些配置元素构成所述功能配置信息。