搜索结果: 136-150 共查到“知识库 计算机运行测试与性能评价”相关记录151条 . 查询时间(0.953 秒)
针对同步时序电路提出一种结合了插入可观测点的部分复位方法，该方法是基于迭代计算的电路状态信息和冲突分析测度而提出的.根据基于电路状态信息的测度和冲突分析所选择出来的部分复位触发器，可以割断电路中的关键回路，使得电路容易被初始化，同时减少在时序ATPG中的潜在冲突.以前的部分复位方法中，部分复位的触发器不能由独立的复位信号所控制，这也是不能彻底改善可测试性的一个重要原因.当部分复位触发器可以由独立的...
一种并发程序可测试性分析框架
软件可测试性 并发 同步 复杂度
2007/11/1
软件可测试性是对测试软件难易程度的预测，在测试、度量等许多领域中得到了广泛应用.由于并发程序执行的不确定性，其可测试性分析尚有很多难点有待解决.该文提出了一种并发程序可测试性分析框架.在充分分析程序内部数据流、控制流以及并发和同步对数据流和控制流影响的基础上，从单个并发单元、并发因素、共享变量因素及通信关系4个方面对并发程序的可测试性进行了分析，为综合度量并发程序的可测试性提供了依据.
一种最小测试用例集生成方法
软件测试 测试用例 测试用例集约简
2007/11/1
测试用例的数量和质量决定软件测试的成本和有效性.该文提出了一种生成最小测试用例集的方法，该方法首先充分考虑测试目标中各个测试需求之间的相互关系，将满足测试需求的所有可用测试用例进行划分，根据划分的结果生成一个测试用例集，然后利用启发式算法、贪心算法或整数规划方法来消除冗余，对这个测试用例集进行进一步的简化.这种方法与已有方法相比，优点在于它可以生成满足所有测试需求的最小测试用例集.
一种多范例并行应用系统的描述方法和性能估算模型
并行软件工程 多范例并行计算 性能评价 并行应用系统
2007/11/1
多范例并行是大规模并行应用系统的本质特征.规范化描述并行应用系统，建立性能估算模型对于提高多范例并行应用系统的开发效率和运行效率具有重要意义.该文提出了一种基于模块及其组合关系的描述方法和系统执行代价计算模型，它不仅能描述并行应用系统的多范例特征，而且将不同并行范例模块的组合时产生的代价引入模型.考虑的代价包括并行执行模式的转换、数据分布方式的转换以及编程范例的转换等，从而使模型更为准确.给出了描...
基于单元故障模型的树型加法器的测试
树型加法器 单元故障模型 测试向量生成 内建自测试
2007/11/1
首先分析了树型加法器的原理，总结了其运算特性.其次在介绍单元故障模型的基础上分析了树型加法器的测试向量生成.分析结果表明，5n-1个测试向量可以实现树型加法器中所有单元故障的检测.这些测试向量具有很好的规则性，能够利用片上测试向量生成器实现，适合于应用内建自测试技术测试.基于此，作者提出了一种内建自测试的测试结构，测试时只需存储7个籽测试向量，其它测试向量可以在这7个籽测试向量的基础上通过循环移位...
基于扩展有限状态机测试中测试输入数据自动选取的研究
软件测试 扩展有限状态机 测试输入数据自动选取 区间削减 分段梯度最优下降算法
2007/11/1
扩展有限状态机（EFSM）模型是有限状态机（FSM）模型的一个扩展，它在FSM模型的基础上增加了变量、操作以及状态迁移的前置条件，通过EFSM我们可以更加精确地刻画软件系统的动态行为.基于EFSM的测试可以应用到许多领域，因此具有重要的研究价值和实际意义.许多研究人员已经提出了基于FSM测试的测试输入序列的构造方法，但基于EFSM的测试与FSM相比由于变量和状态迁移的前置条件的引入，增加了构造其测...
基于分形理论的无线链路性能分析
分形 无线链路 特性分析
2007/11/1
根据无线网络的实际测试结果，使用R/S分析法首次发现了 802.11无线局域网的业务量特性具有长相关性(自相似性)，并发现两台无线设备进行点对点文件传输时的网络特性同样呈现出显著的长程相关性.作为建立基于分形理论的无线链路特性的数学模型的初步尝试，给出并验证了丢包率PLR与Hurst系数、缓存区容量大小和该无线链路服务率之间的一个近似的计算公式.
研究了将人脸作为一种特殊的图像内容进行检索的问题；采用基于Adaboost统计学习方法的层叠分类器检测人脸，再用非线性SVM分类器验证人脸；实现了在大规模的复杂背景图片集合中高速准确的人脸定位；为了将找到的人脸规范化，借鉴直接表观模型（direct appearance model），提出了一种新的特征检测和人脸校正方法.该方法基于对大量数据的统计学习过程，具有良好的扩展性和稳定性;在此基础上，采...
提出了一种超声图像的多尺度非线性抑噪的自适应线边界检测方法，首先对超声斑点图像进行多尺度分解，然后对高频部分应用非线性软阈值方法来抑制斑点噪声，再利用逆小波变换重建图像，最后采用基于“窄条”的线边界检测方法对降噪图像进行处理，以不同方向与大小的“窄条”来近似组织边界，其中“窄条”的大小由基于区域增长的局部统计特性决定.仿真实验与组织超声图像验证了此方法在抑制斑点噪声与增强边界方面具有良好的性能.图...
基于隐马尔可夫模型边缘表示的多尺度边缘检测
2007/11/1
基于增强图像特征空间的特性分析，提出一种新的图像边缘表示模型——隐马尔可夫模型, 该模型把边缘作为一个可观测序列，认为它是人们根据感官知识 （不可观测的状态量）所观察到的具有一定空间关系的像素集合；通过小波变换，得到多尺度增强图像；将包含在低分辨率图像边缘中的全局信息进行综合，作为高分辨率图像中隐马尔可夫边缘模型的训练数据，使用Viterbi算法完成高分辨率图像中边缘点的搜索，从而，使得多分辨率边...
一种工作流模型的性能分析方法
Petri网 性能分析 工作流 系统配置
2007/11/1
在讨论了工作流模型分析的相关问题后，基于工作流网的定义，给出了包含资源、时间等信息的多维工作流网的概念，并讨论了由基于工作流联盟（WfMC）过程定义的一种有向网络图模型到自由选择多维工作流网模型的映射.为了处理工作流模型中的循环结构，对具有无环自由选择工作流网到一组变迁组件网（T-component）的分解算法进行了扩展，以处理工作流网中存在的循环结构.进而在模型结构分析的基础上，根据工作流模型的...
摘要 提出了一种高效低负荷的异常检测方法，用于监控进程的非正常行为.该方法借助于粗糙集理论从进程正常运行情况下产生的系统调用序列中提取出一个简单的预测规则模型，能有效地检测出进程的异常运行状态.同其它方法相比，用粗糙集建立正常模型要求的训练数据获取简单，而且得到的模型更适用于在线检测.实验结果表明，该方法的检测效果优于同类的其它方法.
身份认证协议的模型检测分析
身份认证协议 模型检测 Spin
2007/11/1
摘要 提出一个直观、易用的模型来模拟和验证身份认证协议，并给出基于Spin（模型检测工具）的实现，它不仅可以模拟多对参与者同时进行会话，而且还有效缩减了状态空间，从而避免了以前文献中提到的状态爆炸现象.同时该文用NeedhamSchroeder 公钥协议和TMN协议来说明如何应用该模型.
基于一种相对Hamming距离的入侵检测方法——RHDID
入侵检测 海明距离 系统调用 网络安全
2007/11/1
首先分析了传统入侵检测方法的不足，即误用入侵检测方法难于检测新形式的入侵，异常入侵检测方法难于建立合理有效的正常行为特征和检测方法.然后，通过对特权进程的系统调用和参数序列的研究，提出了一种相对Hamming距离入侵检测方法（RHDID）.应用RHDID检测入侵不仅能有效降低漏报率和误报率，而且使实时入侵检测成为可能.最后，原型系统证实了该方法的可行性，获得了在实时环境中检测入侵的技术效果.