模型检测在软件测试中的应用研究

以测试为基础的模型或规格是产生测试用例的一种很有潜力技术。在这种方法中,先要建立一个系统的规格或模型,再由规格或模型产生测试用例。文章对结合模型检测来进行测试的方法进行了研究,从整体上对测试进行考虑,不仅包含了对系统所希望具有的功能进行测试,还包括了对系统不应具有的功能进行测试。通过这种方法,我们可以进一步保证系统的正确性和可靠,大大降低人力和资源的开销,为进一步优化测试奠定了基础。     

EPON系统中ONU的测试自动化系统分析和软件设计

文章提出了一种EPON系统测试自动化的四层结构框架和实现方法,完成了对EPON系统中ONU端系统软件的自动化测试。测试软件采用简洁、高效、易移植的TCL/TK语言实现,结构框架中平台脚本和控制脚本相分离,使之具有良好的扩展性。测试过程中将配置命令进行封装,采用API函数操作测试仪,模拟现实网络中的各种不同数据包,实现对Bridge、QOSI、GMP、MSTP等功能的系统测试。提供简洁的操作界面和友好的人机交互,在回归测试中能够快速定位Bug和自动测试过程中的出错信息,有效地解决了手动测试工作量大、耗时、测试结果不一致等问题,提高了测试效率。     

基于XML的SDK自动化测试框架的设计与实现

在研究自动化测试技术与方法的基础上,提出了一种基于SDK接口的自动化测试框架,并给出了具体的自动化测试的基本流程和具体的测试框架,采用C、C＋＋语言进行SDK自动化测试框架的设计与实现,结合实际的例子给出了生成的．XML形式的测试用例和生成的测试报告,测试日志。该测试框架存在以下优点：减小了测试用例的编写难度,测试人员操作起来比较方便;可以方便地运用到其他接口参数的黑盒测试中,维护起来较容易,进行功能扩展较灵活。     

GCFS文件系统读操作的设计与实现

本文阐述一种通用集群文件系统GCFS（GeneralClusterFileSystem）系统读操作的设计与实现。简述利用Linux虚拟文件系统（VFS）的读操作的基本结构和调用过程,并搭建环境进行测试。     

基于.NET在线测试系统设计与实现

系统采用.NET技术结合SQL数据库系统实现在线测试系统的全过程,重点讲述了系统设计及其解决方案。     

考试系统中的自动组卷算法分析与研究

考试是教学过程中不可缺少的重要环节,它可以检测教学效果和学生对课程的掌握情况,为教学改进提供依据。作为计算机辅助教学的一部分,计算机考试系统的客观性、公正性、全面性正受到人们越来越多的关注。文章主要分析并研究了计算机考试系统中的自动组卷算法。     

分类回归树在高校计算机联考数据分析中的应用

分析了分类回归树的基本结构及树的构建方法,并将其应用到高校计算机联考的数据分析中。结果表明,该方法能够较好的对数据进行分类,所生成的分类规则有助于今后教学和学生工作的开展。     

无线传感器网络测试系统数据融合研究

根据无线传感器网络在军事领域中研究与应用,对无线传感器网络用于军事装备测试成为新的应用方向.针对无线传感器网络在军事装备测试系统中数据冗余大、关联性强、实时性要求高等问题,为提高传输率与数据精度,提出了基于核偏最小二乘法的无线传感器网络数据融合算法.利用核偏最小二乘法对数据进行回归建模并进行仿真,实现数据快速融合.仿真结果表明,方法的可行性和有效性.     

基于遗传-蚁群混合算法的软件测试数据自动生成方法

自动化测试可以有效地提高软件测试效率,降低软件开发成本。测试数据自动生成是自动化测试过程中一个非常重要的环节。以路径覆盖为准则,本文提出一种利用遗传-蚁群混合算法来对程序输入域进行搜索的方法,进而生成满足需要的测试数据。经过实验验证,该算法可以有效地生成满足覆盖准则并且分布多样的测试数据。     

数据驱动技术在WRSAFS中的研究与应用

本文以自动化测试过程中应用数据驱动时遇到的问题为切入点,提出了一种更为先进的数据驱动技术并与自动化测试框架WRSAFS(Win Runner Software Automation Framework Support)相结合,重点分析了数据驱动技术在WRSAFS中的应用及相互关系。借助实际被测试软件,应用此技术设计测试用例并取得了很好的效果。