一种用于测试编译优化的程序控制结构生成算法

代码优化是编译器的重要阶段,是编译技术的研究重点。优化算法复杂度高,需要有效地测试用例生成方法对其进行充分的测试。提出了一种测试用例自动生成方法,能直观简单地生成具有可优化成分的程序,有针对性地对编译优化进行有效测试。重点介绍了该方法的基础、程序控制结构生成算法,并介绍了基于本方法实现的一个编译器自动测试工具。     

《灵动之影》显意境 桂全智将军花卉摄影作品评析

桂全智将军有近半个世纪的军旅生涯,卸甲之后,执著于艺术的探索和追求,尤其是对花卉摄影情有独钟。画册《灵动之影》荟萃将军花卉摄影之大成,用独特的摄影视角、特殊的拍摄方法,诠释出花卉的灵动之美,在方寸之间展现出花卉的韵味和意境,在光影幻化中赋予了自然之花新的艺术生命和人文情怀。一般看来,战争和花卉,有强烈的反差。军人为了捍卫国家和民族的利益,不惜一切代价,哪怕春天不在,花朵不开!