基于切片技术获取系统测试用例的方法

针对如何获取局部和全部的系统测试用例,确保其正确性和完备性以及与需求的一致性问题,提出利用先进的建模技术,建立可模拟验证的过程模型,并应用切片技术获取测试用例,并利用基于过程模型结构分析的归纳法证明了该法的正确性,根据过程模型切片准则获取系统测试用例的算法,介绍了实现工具的构成和应用实例。     

基于用户行为模型的搜索引擎

针对目前大部分搜索引擎不能精确识别使用不同查询词而期望获得不同查询结果的情况,该文提出一种基于用户行为模型的搜索引擎的思想,论述其原型系统SEB实现过程和关键技术,其中的行为模型结合人类行为学相关理论对用户访问行为进行分类和表示,对搜索结果进行了处理,实现了个性化搜索。实验表明,经SEB原型系统处理的搜索结果更加符合用户需求。     

基于可复用功能组件的测试用例生成方法

针对交互式软件的频繁交互、状态复杂等特点,基于功能测试和层次型结构,从需求规范中提取基于操作流程的功能组件,通过映射、重组测试脚本,导入测试数据,并自动生成测试用例。功能组件的构建具有层次型结构的特点,即一个功能组件可以包含一个或多个功能组件,更大程度地共享了测试脚本。     

嵌入式测试系统设计

论述了针对车载加固计算机的各种接口设计的嵌入式测试系统。描述了系统的设计需求、功能框图以及软件的设计流程。该设计为车载加固计算机的各种接口测试提供了新的思路。设计实现了使用一台便携式测试设备提供车载加固计算机的各种常用接口测试功能。该设备具有性能稳定、构成简单、方便易用、成本低廉的特点,可以代替以往测试中所使用的各种分离卡件。     

嵌入式计算机的BIT设计与实现

依据嵌入式计算机组成特点,在可测试性设计中采用层次式测试硬件结构,通过分布式测试控制管理,实现从器件级、模块级到子系统级、系统级的逐级测试.在BIT测试中,以CPU测试为例解析了测试用例数据、用例过程、执行控制和判决的组织与实现. .     

局域网系统基本性能指标的测试方法

总结了局域网系统的基本性能指标,包括系统连通性、链路传输速率、吞吐率、传输时延、丢包率、链路利用率、错误率及各类错误、广播率/组播率、冲突(碰撞)率。给出了针对每项性能指标的详细、规范的测试方法,以及待测链路的抽样方法。测试结果说明了各种测试方法的适用性和可操作性。     

一种用于浮点乘法的边界筛选伪随机测试方法

复杂测试空间中难以命中的冷僻细节,导致在IEEE浮点算法测试过程中难以验证单条浮点运算的正确性。该文针对传统直接随机测试方法的缺点,提出一种边界筛选生成案例的测试方法。该方法对待测算法边界条件建模,求解边界条件,利用解来构造筛选操作数的标准,并通过筛选操作数实现测试。实验证明该方法比直接随机测试方法更可靠。     

协整检验在SAS／ETS中的实现

SAS系统是大型集成的应用信息系统,拥有完备的数据访问、数据管理、数据分析和数据呈现功能。利用SAS的ETS模块做协整检验,不仅可以充分实现模型的设定和多样的估计,而且可以集成其他模块完善输出结果。     

运用ASP语言进行考试软件开发探究

网上考试是教育信息化发展的必然趋势,该方式很大程度上克服了传统考试的弊端:试卷组织要简单,只要在维护好题库的情况下,试卷随即抽取完成;省略了试卷的印刷和运输过程;试卷试题是随机排列的,省略了组织监考的大量工作,该文理论联系实际,对运用ASP语言软件进行考评软件的设计与开发进行了研究。     

Usb复合设备实现Usb完全覆盖测试的探讨

Usb设备控制芯片或者控制器硬件模块开发的完成意味着测试的开始,通过对Usb测试流程的分析,提出了采用Usb多接口复合设备对Usb设备功能进行完全覆盖测试的方案,简化了测试的结构和流程,提高了Usb测试的效率和可实施性。