B/S模式应用系统的测试

为解决B/S模式应用系统的测试问题,根据项目开发、测试的实际经验和有关软件测试理论,提出了相应的测试模型,在数据库测试、架构测试及测试驱动的开发方面给出了有效的处理方法,为B?S模式应用系统的测试提供了针对性的解决方案。     

测试驱动开发模式——《测试驱动开发》精彩选读

Kent Beck在其创造的极限编程(XP)方法论中,推荐了“测试先行”这一最佳实践,并撰写《Test—Driven Development》一书。测试驱动开发(TDD)以不断的测试推动代码的开发,既简化了代码,又保证了软件质量,但是如何正确地进行测试,以及如何对代码中难以测试的地方进行测试,却是困扰开发团队的问题。该书跟踪介绍了两个TDD项目,描述了程序员容易上手又能大大提高工作质量的技术。     

基于EFI驱动-协议模型的自我认证测试系统

可扩展固件接口（EFI）规范为操作系统与平台固件之间的接口定义了一个崭新的模型。它们为启动一个操作系统与执行启动前程序提供了一个标准环境。可扩展固件接口的自我认证测试系统（SCT）利用EFI的驱动一协议模型通过统一的测试协议管理测试用例集合,用于验证一个EFI的实现是否符合EF11．1规范,并且实现了EFI测试的可扩展性和可移植性。该文介绍了EFI自我认证测试系统的原理,框架和流程。     

优化基于模型检验的测试生成

利用模型检验器输出的反例构造测试用例是测试自动化的一种重要手段.由于一个测试用例可能覆盖多个测试目标,测试生成过程中可能存在不必要的对模型检验器的调用,测试包也往往存在大量冗余,严重影响测试性能.为此,提出一种测试生成的动态监控优化方法.在模型检验一个测试目标产生测试用例后,采用时态逻辑公式重写技术缩减测试目标集,删除那些被新测试用例覆盖的测试目标;同时,在新测试用例加入测试包时对其进行筛选,以消除冗余.实例结果表明,文中方法可有效地减少模型检验器的调用次数,缩减测试包.     

ProMiner:系统性质驱动的双向一致性检验框架

在模型驱动软件开发过程中,基于模型的测试方法往往用于检验软件代码针对软件模型的一致性以确保软件质量.然而,随着当今软件系统规模的不断扩大,相应的软件开发过程也变得越来越灵活,代码有时会先于模型被修改,以更忠实地体现系统功能和实现机制.传统的基于模型的测试方法只能检测代码之于模型的一致性而不能反作用于模型层面,模型的修改者只能人为地评估修改的正确性,大大降低了效率并增加了系统的潜在隐患.为此,对传统基于模型的测试方法的一致性检验进行了扩展,实现了一致性检验框架ProMiner,通过抽取表达模型与代码的不一致的系统性质来自动定位模型中与实际运行系统不匹配的部分,并将其表示为可直接用于模型检测的线性时序逻辑(LTL)表达式,以支持软件模型和代码间双向的一致性检验.实验结果表明,ProMiner可有效查找软件模型和代码间的不一致并生成可直接检测模型的系统性质,从而实现了自动化的模型与代码间的双向一致性检测,不仅提高了一致性检测的有效性,而且大大减少了人力开销.     

SVM和基于转换的错误驱动学习相结合的汉语组块识别

本文研究了一种支持向量机（SVM）和基于转换的错误驱动学习相结合的汉语组块识别方法。SVM在选取特征方面有突出的优点,并且在高维特征空间也具有较高的泛化性能,通过核函数的原则,SVM能够在独立于训练数据维数的小计算范围内进行训练。利用基于转换的错误驱动学习方法对SVM的标注结果进行校正,转换规则较好地处理了语言现象中的
的特殊情况,进一步提高了SVM的识别结果。实验结果表明,该方法具有较好的效果。     

转换为位图模式

在Photoshop中将灰白色文件转换为位图模式就可以达到强列对比和淡网板效果。Derek Lea教你怎样做。     

LED驱动电源测试与过CE认证解析

分析LED驱动电源应该具备的几个特点以及与CE认证联系     

模型驱动的Web应用测试

为了保证Web应用软件的质量,需要系统化的方法支持其测试。模型驱动的Web应用测试方法以模型为中心,通过建立Web应用模型描述被测系统,基于该模型产生测试用例,并且使用模型驱动的测试执行工具自动化执行测试,将测试结果返回到各个模型上。该文通过总结比较该领域的研究现状,讨论了实现模型驱动的Web应用测试的关键技术,并提出了目前研究的不足之处及潜在的研究方向和重点。     

基于UML的回归测试软件测试方法的研究与应用

回归测试在软件的版本升级中起着至关重要的作用,它的测试效率直接取决于软件升级中对软件修改部分的测试实例的选择。提出了一种基于UML的回归测试方法,它采用UML中类图和状态机来确定软件升级中的修改,它将修改分为两类：一种是类驱动修改;一种是状态驱动修改。通过类图和状态机图的改变选择确定有效的测试用例,提高了回归测试的测试效率。将测试用例划分为无用的、可重用的、需重新测试的测试用例三类,并将此方法应用到一个实例中,验证了它的可行性和有效性。     

覆盖率驱动的随机测试生成技术综述

随机测试生成技术是当今大规模集成电路仿真验证流程中的一项重要支撑技术.覆盖率驱动的随机测试生成方法是目前该领域研究的热点之一,其目标是通过覆盖率指导测试向量生成,减少重复测试向量,加速验证的收敛过程,提高验证的自动化程度和效率.文中全面综述了覆盖率驱动的随机测试生成技术的发展历程、研究现状和技术分类,并结合具体实例对各种方法及其面临的主要问题进行了讨论、评价和总结.     

面向诊断驱动测试模式的故障字典推理算法研究

诊断驱动测试是一种智能测试模式,可以有效缩短测试时间,提高维护效率。故障字典是一种传统的故障诊断方法,大量地应用于生产生活中。本文根据诊断驱动测试模式的需求,设计了故障字典的新推理算法,并提出了测试项目的优选原则。本文提出的方法已经在自动测试设备的软件平台上得到了实现和验证。     

模型驱动的自动化测试架构

如何在确保软件质量的前提下有效缩短上市周期的问题日益显得重要。在实际工作中基于MDT的思路研究出了一种基于模型驱动的自动化测试架构。该架构通过算法直接将UML系统设计模型转换成U2TP测试设计模型,然后由测试设计模型根据测试策略和测试工程方法自动生成测试用例,实现了测试资源重利用和测试活动的前移从而有效缩短了测试周期。     

基于S3C2410 A/D转换Linux驱动程序设计

嵌入式操作系统ARM-Linux的应用已经越来越广泛,由于嵌入式设备的种类繁多,决定了在不同的嵌入式产品在开发时都必须设计和开发自己的设备驱动程序,使得嵌入式Linux设备驱动程序的开发在整个嵌入式系统开发周期中占据很大的比例.本文针对三星的S3C2410X嵌入式ARM微处理器,介绍了在Linux操作系统下,对S3C2410X微处理器内部A/D转换器的驱动方法;通过编写该A/D转换驱动程序.总结出一种在嵌入式Linux操作系统下快速方便的开发驱动程序的方法.     

基于模型的测试在工作流应用程序中的研究

近年来,工作流技术越来越多的应用于软件程序中,与之相关的新工作流语言以及工作流引擎也得到了快速的发展;但是,目前辅助工作流应用软件的测试方法仍显不足,特别是工作流引擎测试方面还存在着严重的局限性;为此,提出了基于模型测试的方法对工作流引擎进行测试,此外,还引入了抽象测试框架的概念,将其应用到工作流的测试上,它能够为工作流引擎构建测试环境和测试套件;最后,在Cumbia平台上搭建的一个工作流引擎上进行应用,说明了基于模型的测试方法和抽象测试框架可以有效应用于工作流引擎的测试。     

基于程序分析的通信软件模型驱动测试研究

针对通信软件的模型驱动测试框架中出现的测试生成问题,对MSC测试模型的测试生成方法进行改进,获得有效的系统测试集。采用符号执行和程序分析相结合的方法,收集生成的约束、测试脚本变量与被测系统变量之间的映射关系,据此生成测试模型,进一步进行模型验证和测试生成。这种方法可以对原有的测试集合进行半自动的扩展,对关心的程序路径进行测试覆盖,从而提高测试集合的有效性和完备性。     

C/S到B/S模式转换的技术研究

随着Internet技术的兴起,致使更多的企业着手将C/S模式向B/S模式迁移。针对传统软件复用技术,对现有C/S模式的遗留系统进行分析,提出一种由C/S模式到B/S模式转换的方法。采用虚拟应用技术和.NET框架下的UIA技术,使用XML文件作为信息交换的载体,实现浏览器对C/S软件的远程操作,利用现有资源完成B/S结构的开发,并且无需修改源C/S软件的代码,体现模式的平台无关性,具有界面统一性、高度可扩展性以及易维护性等特征。实验结果表明,该方法在Windows XP的计算器中得到成功应用。     

基于模型检验的规划综述

基于模型检验的规划是当今通用的规划研究的热点,其求解效率比较高.详细阐述了基于模型检验的规划的发展与研究现状.介绍了基于模型检验的规划的基本框架,分别阐述了模型检验技术在规划领域的重要应用,并介绍了两种典型的基于模型检验的规划工具,分析了今后的发展趋势.