-
公开(公告)号:CN116541219A
公开(公告)日:2023-08-04
申请号:CN202310336859.9
申请日:2023-03-31
Applicant: 南京大学
IPC: G06F11/22
Abstract: 本发明公开了基于QIS的二值覆盖表生成方法,涉及软件或硬件测试技术领域;而本发明包括以下步骤:SA1、本方法是基于集合学中的Qualitatively Independent Set,SA2、若集合F中的元素为S的子集,且F中的任意两个子集都是2‑independent的,则称F为2‑Qualitatively Independent的,SA3、当|F|在n固定时达到最大,此0/1矩阵则能在行数一定时覆盖最多的二值参数,也即用最少的行数覆盖|F|个参数的2‑way组合,最大的|F|与n的大小关系已有公式给出[2],但对于一般情况的t‑Qualitatively Independent中t>2的情形未有准确的公式和结论,是NP‑hard问题。本发明,能生成更加小的覆盖表,在实际中保证测试效果的同时能更好地减少测试成本。