一种基于UML状态图的规约变异测试方法

规约变异测试从软件功能的角度,对规约进行分析,从而揭示规约中存在的问题。本文提出一种基于UML状态图的变异测试方法,针对每种变异算子,分析其是否会引入冲突,进而有效避免不合理的变异操作;分析了每种变异算子产生等价变异体的条件,能够在生成变异体的同时检测并移除等价变异体,进而减少其对测试过程的影响;给出了杀掉每种变异体所需满足的条件,可在此基础上产生杀掉特定变异体所需的测试用例,从而提高测试用例集的质量。在此基础上,根据变异算子的实际功能,整合了功能相同的算子,减少了变异算子的数量,从而进一步降低了变异测试的开销。实验结果表明,本方法能够较好地提高测试用例的质量,进而提升测试的效率。     

WiFi网络实名认证的方法研究和实现

随着移动互联网络技术的发展和智能手机的广泛应用,人们对基于WiFi的移动互联业务的需求越来越广泛,许多行业及公共场所都在建设无线WiFi网络,而网络安全管理要求无线WiFi网络必须采用实名认证,其基本手段有用户名认证和手机号认证。本文论述了不依赖于特定协议和与WiFi设备厂商无关的认证方式及实现实名认证的方法和过程。     

基于复杂网络理论的高校内部理工医文合作研究分析

运用复杂网络理论的基本原理和有关方法,对理工医文等学科、专业之间的合作规律和人员合作方式进行探讨,以某高校2005-2010年医工合作情况作为实例展开研究,采用5年的合作数据作了计算分析,研究了高校内部理工医文开展学科交叉工作的特点及其运行情况、医工交叉合作中存在问题,客观分析其原因,提出了解决的办法,为今后开展高校系统的理工医文交叉合作,建设电子化交叉平台.     

班班通在语文教学中的运用

信息迅猛发展的今天,多媒体计算机辅助教学已深入课堂,现代教育技术班班通的巧妙运用,更是打破了"一个黑板+一只粉笔"的原有的传统教学模式。"班班通"是通过多媒体使学校每个班级具备了与外界进行交流的能力,实现信息技术与学科日常教学的有效整合,促进教师语文教学方式和学生语文学习方式的变革,最终促进学生的发展。利用班班通网络资源与语文课堂学习相结合具有创设特定情境,激发学生的学习兴趣、化繁为简,化难为易,让学生轻松快乐学习、阅读速度加快,阅读量增多、学生深入理解文本等优势,本文结合语文阅读教学、作文教学、读写教学总结了在探索中运用"班班通"的经验和做法,创造了师生双赢的局面。     

关于节目主持人形象塑造教学过程中的技巧探析

节目主持人的形象直接影响着整个节目的质量,文章针对节目主持人形象问题的塑造展开了研究和分析,同时结合在实际教学中经常出现的问题,从主持人形象要求教学模式的实际情况出发,阐述和分析了主持人形象塑造教学过程中的教学技巧和方法。     

数字图书馆网络安全防御系统的构建

数字图书馆为人们的日常工作学习提高了很多专业有效的数据,它拥有巨大的数据容量,但一旦受到攻击,将造成巨大损失,给人们带来诸多不便。本文针对如何有效的构建数字图书馆网络安全防御系统这一问题进行了相关分析探讨。首先列出了几大危害网络安全的因素,再根据这些因素从加强网络技术防护、规范人文管理两方面展开研究。     

基于光通信的数据单向导入系统的设计与实现

随着信息网络的日趋成熟,网络信息安全尤其是内网信息安全,越来越受到人们的关注,成为一时研究的热点。其中如何防止在移动存储设备与内网计算机信息交流过程中内网信息流失的问题,显得尤为迫切。为此,本文提出一种基于光通信的数据单向导入系统,为用户提供一种安全地将信息或者数据单向导入到内网的解决方案。利用光的单向性,从传输通道上卡断了反向的可能,有效地保护内网的机密信息不会流失到外部,同时做到良好的人机交互,用户可以任意选择存储设备中的文件发送。     

软件单元测试应用研究及案例分析

单元测试是软件测试过程的第一站,高质量的单元测试是软件质量保证的必要条件,本文就单元测试的概念、测试类型及规程作了简单的阐述,同时就单元测试进行了案例分析。     

浅谈软件开发过程中的方法问题

先进的制造模式要求信息集成和功能集成贯穿于产品生命周期的每一阶段,功能的集成需要软件系统的支持,从而推动先进制造模式的实现。软件开发过程是建造软件解决方案的关键要素。本文详细讨论了两类主要的过程开发方法,即面向对象方法和结构化方法。     

基于S7-300 PLC的运动定位系统设计

本文利用西门子组态软件WinCC及编程软件S7-300PLC实现了二维平面的快速准确定位。并对系统的平台构架、硬件选型、功能实现,实时监控做了具体的分析与设计。本系统实现了本地控制与远程监控,运行操作方式灵活可靠。自投入使用以来,各项功能正常,达到了设计要求。