上海控安目前比较成熟的测试自动化技术，主要集中于测试流程自动化，而本工具则关注于测试设计自动化，可根据C语言程序的源代码，利用动态符号执行与判定过程，自动化地生成测试输入，达到一定的测试覆盖标准。
呼和浩特轨道交通的相关报道
随着城市规模的扩张和机动车井喷式的增长，交通拥堵困扰着首府每一位市民。轨道交通建设的提出无疑吸引着首府市民关注的目光。
从“十二五”规划提上日程，2012年编制线网规划，再到2015年4月15日获得国务院批准，呼和浩特城市轨道交通建设正一步步从蓝图变成现实。
轨道交通怎么建、资金从何而来、建成后将对首府产生哪些影响？……市民在期盼之余，不少疑惑也接踵而来。
“我最关注的是地铁的规划情况，希望地铁站口可以离家近一些，以后出行就方便多了。”家住新华大街政苑小区的居民高石英说。
记者从呼市机场与铁路建设项目办公室了解到，根据呼和浩特市《城市总体规划》、《城市综合交通体系规划》和城市发展要求，远景规划线网由5条线路构成，其中1—2号线是骨干线，3—5号线为辅助线。
呼市确定从2015年到2020年规划建设2条城市轨道交通线路，建设总规模51.4公里，工程总投资为338.81亿元，设车站42座。停车场2处，车辆段1处，综合维修基地1处。
站点建设一般使用明挖方式，隧道建设一般用盾构。地铁建设会不可避免地影响到市区交通，给市民带来不便。对此，在开工前，呼市将加强调研分析工作，借鉴其他城市成功经验，通过加强开工前的交通疏导及轨道交通相关知识的普及学习，缓解居民出行压力，减少拆迁量，把地铁建设成本降到最低。
呼市正在进行立项后开工前的各项准备工作。预计今年8月实现轨道交通实验段开工建设，2016年进入全面建设。
城市轨道交通项目由于建设周期长、风险高、资金需求量大，对项目融资能力要求相对较高，筹集所需的巨额资金就成为项目顺利实施的关键。呼市作为一个尚处于经济发展爬坡阶段的城市，建设这么大的工程，资金从何而来？
以政府为主体筹集建设资金是国际惯例，但鉴于轨道交通投资巨大，由政府单一投资变为政府和社会资本共同投资的多元化投资格局已得到大多城市的认可和实施。
按照国家规定，轨道交通建设项目必须由政府筹集总投资40%以上的资金作为资本金。呼市轨道交通建设项目总投资为338.81亿元，根据建设资金具体筹措方案为：项目资本金占总投资的50%，该部分通过呼市与自治区两级政府财政拨款解决；债务资金占总投资的50%，该部分资金主要采用国内商业银行贷款，建设模式拟使用PPP模式。
依据国际城市轨道交通职业人才配备标准，每建设一公里城市轨道交通线路，至少需要60名管理及技术人员；每开通一条地铁线路，约需要各类专门人才1000余人。
在解决资金问题的同时，呼市也着手培养城市轨道交通类职业人才。呼市已有意向委托具有相关人才培养基础的职业技术院校开展城市轨道交通相关专业的定向人才培养工作。同时，还将出台相应优惠政策，加大对优秀人才、高端人才的招引，进一步提高建设管理水平，加快轨道交通实施步伐。
轨道交通的建设，不单纯是承担起城市大部分的交通压力，其背后隐藏的更是一个城市社会经济发展的全新机遇。
缓解交通拥堵，减轻大气污染。新规划的轨道交通项目主要采取地下线路，不占用地面道路资源，可以缓解呼市交通瓶颈，解决高峰期拥堵问题。轨道交通一般行驶速度在35km/h-50km/h，为公共汽车的2至4倍，不受地面交通影响，能节约居民出行时间，明显提高居民出行质量和整个城市的交通应急能力。公共交通的出行分担率仅为20%左右。相比之下，地铁快速、安全、容量大、全天候运营的模式将有望使呼市公共交通出行分担率升至35-40%。
此外，据呼和浩特城市轨道交通社会风险性社会调查结果显示，全市有80%以上的被调查市民表示，在地铁全线开通后将减少开车次数，改乘地铁出行。可以预期在地铁全线开通后，首府交通拥堵状况以及空气质量状况都将得到改善。
催生就业岗位，带动商业发展。地铁的建设将直接提高建材、建筑企业生产能力的利用率，扩大对电力、交通运输的需求，并有力拉动设计、土建、监理、机电、冶金等行业投资需求。同时，轨道交通投入运营后，带动金融服务业、电信业、文化传媒、商业等相关产业的蓬勃发展，并可形成新的商业氛围。
据专家测算分析，每投资1亿元的轨道交通项目，可以带动大约2.6亿元左右的GDP增长，还可直接或间接提供4000个的就业岗位。一期投入338.81亿元的呼和浩特城市轨道交通工程，将能产生880亿元左右的GDP增长。
轨道交通周边区域及房产楼盘都会随着地铁的规划建设带来巨大升值空间。而呼市在规划城市轨道交通路网时也充分考虑到现状需求，规划中的5条城市轨道交通线路周边已建成或在建各类廉租住房项目14处，棚户区改造项目18处，城中村改造项目16处，公共租赁住房建设项目17个，受益的低收入人群预计将达到25万人。
地铁的建设运营能够创造大量直接或间接的就业机会。按照呼和浩特轨道交通一期建设公里数计算，到2020年，呼市轨道交通建设需求3000余人，2020年以后，呼和浩特的轨道交通总长度将达到155公里，需要的工作人员总数近万名。地铁建设还开辟了新的贸易领域，进而提供新的就业岗位。
拓展城市空间，优化空间布局。经过规划呼市确定的“两带、两轴、三心”的轨道交通线网格局，在一定程度上模糊了主城区产业分布的经济地理差异，可以较好地引导城市轴向集中和老中心功能疏解，形成以新华大街和锡林郭勒为主的东西轴、南北轴，并通过轨道交通车站带动周边区域发展。同时，轨道交通可通过自身的建设实现对沿线无序混乱用地的调整优化，形成多层次的土地利用布局。
通过地铁建设，不仅仅延展了空间距离，更是搭建起一条城市发展新动脉，为首府注入新的经济活力。
从国家层面看，呼和浩特作为少数民族聚集的首府城市，位于首都北京的西北，与北京的直线距离仅400公里，又直接面向蒙俄，是一座桥头堡城市。同时，呼和浩特为全国“两横三纵”城市化战略格局中包昆通道纵轴北端的呼包鄂榆地区的中心城市，地处环渤海经济圈、西部大开发、振兴东北老工业基地三大战略交汇处，是京津冀地区的重要腹地，是沟通华北和西北经济联系的重要枢纽，这对城市基础设施的建设提出了更高要求。
从区域层面及城市职能角度看，呼市建设城市轨道交通符合国家战略对城市发展的要求。建设城市轨道交通可以引导城市建设用地集约轴向发展，实现“两轴、三心”的城市空间格局，支撑城市建设重点，尤其是东部副中心和南部副中心建设，引导核心区功能优化。同时有利于提高居民出行质量，提高公共交通服务水平和分担率，有利于刺激城市经济的稳步增长，带动相关产业的发展。
从民生民心所向上看，由于地处严寒地区，呼市居民出行的机动化依赖性很强，2013年冬季机动化出行占全方式出行总量的比例达到55%。全市机动车呈快速增长趋势，保有量已超过80万辆，地面交通十分拥堵，冬季二环路内早高峰机动车平均时速仅为11公里，公交车平均时速仅为8.3公里。为此，需优先发展城市公共交通，建设大能力的城市轨道交通。