摘要： 可编程逻辑器件(PLD)存在安全缺陷，且危害性极大，将可视化技术作为PLD安全缺陷检测的辅助手段，其状态转移图布局是关键。针对状态转移图布局中存在的节点重叠、分布不均等不足，提出一种改进的可视化布局算法IGVA。该算法分阶段启发式计算引力和斥力，迭代早期通过减小节点间的引力以避免节点重叠，迭代后期通过减小边的斥力优化节点分布并减少图占用的空间。实验结果表明，IGVA可解决节点重叠的问题，达到图的布局要求。
关键词:
安全缺陷检测,
布局算法,
节点重叠,
引力,
斥力,
启发式方法
Abstract: Due to the existence of Programmable Logic Device(PLD) security vulnerability and its great harm to electronic equipment, use visualization as the assistive technology for PLD security vulnerability detection method. The layout of state transition diagram is the key problem. Aiming at the deficiency of the layout of state transition diagram, such as node overlay and disheveled distribution of nodes, etc, an improved visualization layout algorithm IGVA is proposed. The algorithm uses heuristic method to compute the attractive and repulsive forces in different stages, decreases the attractive forces between nodes to avoid node overlay at early iterations, decreases the repulsive forces of edges to optimize the distribution of nodes at final iterations, which reduces the space using by the graph. Experimental results show that IGVA solves the node overlay problem and achieves the layout goal of diagram.
Key words:
security vulnerability detection,
layout algorithm,
node overlay,
attractive force,
repulsive force,
heuristic method
中图分类号: