基于逻辑运算的折半划分测试数据压缩方法

提出一种新的,基于逻辑运算的折半划分压缩方法。将测试集按单位长度M进行划分,分成若干块,再对块内数据块内数据为全"0"、"1"序列和"10"、"01"交替序列等四种序列进行逻辑运算,将它们全部变换成全"0"序列,对于不能转化的序列,需对它们不断进行折半划分,当达到预先规定的最小长度时停止划分,直接用代码字编码。代码字的长度可以通过折半的次数来换算,而且通过逻辑运算化为全0序列,更加易于编码,与传统的编码方法比,解压结构简单,降低了解压和压缩成本。

基于折半划分的测试数据压缩方法

提出了一种新的测试数据压缩方法,它能有效地压缩测试数据。首先将整个测试集划分成若干定长块,对非全0/1块,使用折半的方法划分;对全0/1块,使用标记位来表示划分的次数。与传统的编码压缩方法相比,它只需要记住数据块被折半划分的次数就可表示其长度,同时还具有硬件解压结构和通信协议简单的优势。

序列折半划分问题的形式化推导

形式化推导是在程序正确性证明理论下所进行的程序开发,最终得到完全正确的算法程序。针对序列折半划分问题,现有的形式化推导方法将推导与证明交替进行,推导过程繁琐且大多无法直接获得可执行程序。为解决上述问题,提出了一种新的序列折半划分问题的形式化推导方法。该方法基于分划递推的核心思想,应用规约变换技术对问题规约进行变换并严格保证一致性,使得在推导过程中无需交替证明,进而导出递推关系式并得到高可靠性抽象算法程序Apla,最终通过转换工具自动生成可执行程序。实现了从程序规约到具体可执行程序的完整程序求精过程。以2个序列算法为例,验证了该方法的有效性和可行性,对相关问题的形式化推导具有指导意义。

一种基于异或运算折半划分的测试数据压缩方案

将测试集按单位长度M分成若干块,通过异或逻辑运算将块内数据为"01"和"10"的交替序列变换成全"0"和"1"序列,对于不能转换的序列,不断进行折半划分。这种基于异或逻辑运算折半划分的压缩方法,代码字的长度可以直接用折半的次数来表示,一方面减少了代码字的长度,另一方面解压时可以直接将计数器移位,降低了解压成本,仿真实验结果证实压缩效果良好。