简介：软件测试是提高软件质量和可靠性的重要手段。从是否运行程序的角度来讲，测试分为静态测试和动态测试，代码检查属于静态测试的范围。本文首先讨论了传统软件测试方法的缺点和局限性，进而提出了代码自动检测的方法，随后给出了此类方法可检测到的故障类型，具体给出了程序静态分析技术和方法研究，依据该方法进行了软件测试系统的设计与开发，最后给出了实验结果和对比分析，并进一步明确了下一步的研究方向。
简介：任何顺序控制问题都可用功能图来表示,当系统的功能图绘制好后,就可以使用PLC的有关指令将其转化为梯形图程序,通常可采用触点、线圈指令,置位复位指令,移位指令及专用的步进指令来实现将功能图转化为梯形图。本文介绍采用触点、线圈指令将顺序功能图转换成梯形图的方法。
简介：曼富图，这个品牌拥有近五十年的历史，根深蒂固地渗透到每一个影像从业者的内心，产品创立以来不断刷新行业标准，不单单是生产研发脚架．在各个配件产品性能方面精益求精、力求突破。2013年11月21日在北京发布的全新190脚架及Pro系列专业摄影包更能体现曼富图市场战略方向：细化用户所需，标杆业内精良。
基于控制流图的代码自动测试方法研究
基于触点及线圈指令的顺序功能图设计法
标杆引领，细化精良专访漫富图商贸（上海）有限公司总经理
