搜索结果: 1-8 共查到“计算机科学技术 测试生成”相关记录8条 . 查询时间(0.16 秒)
软件测试是保证软件质量的一种重要手段，而复杂的Web应用对测试提出了新的要求.提出一种Web应用测试生成与约简方法，该方法对Web应用导航进行形式建模，使用模型检验导航安全性质所输出的反例分化模型，然后根据分化模型产生测试序列，依据Web应用的特性对测试序列集进行约简.实例演示表明该方法的有效性.
蚁群优化在组合电路测试生成中的应用
可满足性问题 蚁群算法 组合电路
2009/7/6
如何高效地解决数字电路测试生成问题是VLSI领域中的核心。通过对蚁群算法在不同类型的组合优化和搜索问题上的应用研究，基于组合电路测试的路径敏化方法，借助SAT确定性算法工具，提出了一个新的蚁群算法模型来解决组合电路测试生成问题，并通过实验验证其可行性。
含存储器数字电路系统的自动测试生成
存储器 结构模型 自动测试生成
2009/4/30
已有的数字电路自动测试生成(ATPG)软件没有存储器的结构模型，不支持对存储器电路的自动测试生成。该文分析了2类存储器的功能特征，提出了面向测试的ROM和RAM结构模型的建立方法，其中，ROM根据所储存的数据等效成组合电路模型， RAM利用新建立的RAMBIT基元等效成利于测试的时序电路模型。将其应用于ATPG软件中，解决了含存储器数字电路的自动测试生成问题。
基于JPF的类数据流测试生成技术
程序模型检测 数据流测试 类测试序列生成
2009/4/24
通过设置陷阱性质，用时序逻辑公式表示数据流测试的覆盖准则，将测试生成问题简化成模型检测中寻找反例的问题，自动生成满足数据流覆盖准则的类方法测试调用序列，提出了一种适用于类方法调用序列自动生成的搜索算法，并在程序模型检测器JPF上实现。算法分析和实验结果表明，该算法能生成高效的方法调用序列并明显减少测试生成代价。
数字电路自动测试生成实用化软件
自动生成 测试向量 故障诊断
2008/3/4
介绍了针对ATE应用和TPS开发的需要首次在Windows NT平台上研制的一套数字电路诊断测试数据自动生成的实用化软件系统OCTOPUS100。该软件与已有的ATPG软件相比具有成本低，有利于推广等优点。该软件具有灵活性、实用性和通用性，经实验与试用表明有很高的实用价值。
一个有效的通路时滞故障测试生成系统DTPG
2007/12/28
本文提出了一种两向量测试模式下的通路时滞故障分类,并在此基础上设计并实现了一个有效的通路时滞故障测试生成系统DTPG,该系统可识别强健可测通路、非强健可测通路和功能可敏化通路.DTPG用通路标识值来表示通路,并用一个位表结构的通路信息表来存储通路测试信息.实验结果表明,DTPG在利用内存上是有效的,可以为通路数较大的电路(如C3540)产生时滞测试向量对.
ASIC测试生成和可测性分析系统ATGTA
2007/12/24
本文介绍了一个面向非扫描设计的实用的ASIC测试生成和可测性分析系统——ATGTA.它采用功能块级同步时序电路模型和功能块引腿固定故障模型.可接收四种常用语言描述的电路网表.用FDCM方法引导测试生成过程，用DRFM方法识别组合冗余故障，通过测度分析与规则判定相结合识别时序电路中的不可测故障.用G-F二值算法按有限回溯测试模式产生方法推导测试向量.反向追踪时，采用宽度和深度动态交替优先策略.ATG...