CART:组合自适应随机测试方法

自适应随机测试方法将测试用例均匀分布于整个输入空间,以提高测试效率.然而,当被测软件的输入参数存在错误相关性,使失效区域形状成为“片状”时,传统的自适应随机测试方法效率将急剧下降.针对“片状”失效区域的特点,本文提出了一种新的自适应随机测试方法:组合自适应随机测试方法.该方法将输入参数划分为多个不同的组;每一组被视作一个独立的输入空间并通过自适应随机测试方法生成“准”测试用例序列;最终的测试用例将由各组“准”测试用例组合而成.实验表明,组合自适应随机测试方法能大幅度提高测试用例发现错误的效率.     

一个组件安全自动化测试平台的设计与实现

研制自动化的组件安全测试工具将对基于组件的软件工程产生重大影响,并能有效保障组件软件的安全性和可靠性,是当今软件业界一个极具现实意义和挑战的课题.针对广泛使用的微软第三方COM组件,设计和实现了一个组件安全性测试的原型系统CSTS(Component Security Testing System).CSTS主要对组件从静态和动态两个级别进行安全性测试.在静态级别上,先分析出组件接口信息,然后对接口方法从参数个数、参数顺序、参数范围和参数类型等方面进行错误注入测试;在动态级别上,先执行测试驱动,然后对组件所依赖的内存、磁盘文件系统和注册表等环境进行错误注入,再通过强大的监测机制监视错误注入后组件执行情况来判断组件安全异常.所实现的原型系统CSTS具有自动化程度高、操作简单及测试效果较好等优点.     

一种基于事务时序图的恶意事务检测算法

为了提高对数据库恶意事务的检测粒度和检测范围,在基于事务时序图的数据库管理系统恶意事务入侵检测机制的基础上,通过增加记录条件短语,扩展了审计表内容,增加节点属性,改进了合法事务时序图.提出了一种基于合法事务时序图的恶意事务检测算法.该算法可以使检测粒度细到查询语句条件级,而且能检测单语句事务等一些特殊事务.实验表明,该算法具有更强的检测能力、更广的适用范围及较好的性能,并能方便地应用于实际的数据库管理系统中.     

对农村写作课堂"低谷"现象的探究

课标中说道:"写作是运用语言文字进行表达和交流的重要方式,是认识世界、认识自我、进行创造性表述的过程."所以说作文教学必须注入生命的感动,必须有自我的创新,突出个性.一篇没有个性的文字表达是难以和别人交流的.但不知什么时候我们已不会用它交流,它已成为老师学生最头疼的苦差事,作为语文教育工作者我们决不能熟视无睹这一现象,必须用语文精神,让它回归它本来的面目.     

数据库应用系统理解冲突测试研究

与传统软件相比，数据库应用系统更加庞大而复杂，因此对数据库应用系统的测试工作更加困难．在系统开发过程中，由于开发人员对数据库模式的理解不同产生一些错误．这些错误表现为各功能单独运行时结果正常，而多个功能一起运行时就会造成错误．针对这种现象，即数据库模式的理解冲突错误，本文给出了形式化的定义，并提出了一种基于功能一数据访问图的集成测试策略，使得在通常需要在系统测试和用户测试阶段才能发现的问题能在集成测试阶段发现和修正．     

掘进工作面局部通风机智能监控系统应用研究

高瓦斯矿井掘进工作面对局部通风机安全运行要求较高,且在运行中风速调节存在困难。基于此,笔者设计了一套局部通风机远程监控系统。该系统在原有“三专两闭锁”,“双电源双风机自动切换”的基础上,增加了风机转速PID控制来保证工作面风速恒定;改进了风电闭锁控制逻辑,将原来仅有风机运行状态控制逻辑改进为风机运行状态和风速联合控制的风电闭锁控制逻辑;增加了远程监控系统,实现两地控制,在地面监控中心可远程监控局部通风机。     

煤矿带式输送机智能监控系统应用研究

为实现煤矿井下带式输送机的安全可靠运行,对运输中出现的问题进行分析,发现当前煤矿的带式输送机系统中在视频监控、电机控制和数据传输有改进之处。根据《煤矿安全规程》的要求和现场的实际需求,设计了一种基于可编程逻辑控制器(PLC)和博途组态软件的煤矿带式输送机智能监控系统。该系统具有人员违规入侵检测功能,可以识别人员危险行为,通过ZigBee技术无线传输传感器信息,并将报警信息发送到平台,当输送带发生故障时可以快速动作并发出报警,使用矢量变频器控制带式输送机,满足《煤矿安全规程》要求,同时满足实际现场需求。该系统运行可靠,达到煤矿带式输送机无人值守安全可靠的目的,对提高带式输送机的安全性和煤矿的高效生产有一定的实践意义。     

基于扩展有限状态机的定义-清除路径的生成方法

本文提出了一种面向对象测试中定义-清除路径（DC路径）生成方法,以扩展有限状态机EFSM作为测试模型,结合数据流分析方法,用图论中的结点间最短路径求解思想生成DC路径.这样产生的路径考虑了对象状态迁移,能够发现类中方法与变量之间交互作用时发生的错误,并精简了定义-使用路径（DU路径）组成的测试用例集.     

浅谈汽车车身涂装过程中的色漆针孔问题解决

主要介绍了汽车车身涂装过程中水性色漆针孔产生的原因和影响因素,对某乘用车涂装车间发生的车身外表面针孔问题进行分析及排查验证,锁定主要影响因素,并制定解决方案,最终改善喷涂质量。     

煤矿井下盲巷智能监控系统设计

为了提高煤矿井下盲巷管理的安全性、高效性,实现井下盲巷无人巡检。采用组态软件和PLC设计了煤矿井下盲巷智能监控系统,通过上位机组态画面远程监控盲巷内人员流动,实时监测井下盲巷环境参数,实现井下盲巷人员违规入侵报警,以及盲巷环境参数超限报警等功能;描述了系统的硬件和软件的设计内容。该系统具有远程控制功能,能够实现实时监测环境温度、烟雾含量、CO含量、CO₂含量、CH₄含量、O₂含量等参数,能够对井下工作人员行为进行规范,满足井下盲巷无人巡检的要求。