基于Petri网的并发程序测试用例产生方法

并发程序的测试路径具有不可预测性,而Pctri网在描述并发方面具有其它系统模型无法比拟的优势。因此通过Petri网来产生并发程序的测试路径:对有并发程序的源代码构造的Petri网模型进行图形矩阵转换;按照一定的规则得出相应的独立段组;合并独立段组得出网的独立段群,此独立段群即为该并发程序的测试路径。实验证明,将Petri网用于并发程序测试用的例生成降低了测试难度,提高了测试效率。     

基于智能算法的破碎文件拼接复原技术的研究

破碎文件的拼接在司法物证复原、历史文献修复以及军事情报获取等领域都有着重要的应用。随着科技的发展,破碎文件的自动拼接技术以及拼接复原效率是目前研究的热点问题。对于单一方向的破碎文件,文中采用0-1匹配、Pearson相关系数的灰度匹配,针对破碎文件的长短、多少,以及中英文等情况建立了两种模型;对于横切和纵切方向的破碎文件,采用聚类分析和灰度匹配建立模型并进行相应处理,从而实现对这些破碎文件的全自动或半自动拼接复原。