期刊文献+
共找到7篇文章
< 1 >
每页显示 20 50 100
基于Petri网的测试路径选择标准 被引量:1
1
作者 李华 叶新铭 张巨萍 《内蒙古大学学报(自然科学版)》 CAS CSCD 北大核心 2007年第1期88-93,共6页
首先介绍了Petri网在分析系统方面的优点,给出基于Petri网进行测试研究的相关概念,提出了基于Petri网的考虑控制流进行测试的标准,也给出了考虑数据流进行测试的标准.然后通过例子,给出了基于各个标准产生的测试路径,最后给出了结论以... 首先介绍了Petri网在分析系统方面的优点,给出基于Petri网进行测试研究的相关概念,提出了基于Petri网的考虑控制流进行测试的标准,也给出了考虑数据流进行测试的标准.然后通过例子,给出了基于各个标准产生的测试路径,最后给出了结论以及下一步应考虑的问题. 展开更多
关键词 petri 控制流 数据流 测试路径
在线阅读 下载PDF
基于扩展的层次有色petri网的组合服务测试用例生成 被引量:3
2
作者 蔡菊 王迪 李必信 《东南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2008年第4期598-604,共7页
为了更好地对Web组合服务中各个服务间的交互行为进行测试,提出了一种基于扩展的层次有色petri网的组合服务测试用例生成方法.首先将OWL-S文档映射成为扩展的层次有色petri网,使其中丰富的语义信息、数据流信息和控制流信息模型化.然后... 为了更好地对Web组合服务中各个服务间的交互行为进行测试,提出了一种基于扩展的层次有色petri网的组合服务测试用例生成方法.首先将OWL-S文档映射成为扩展的层次有色petri网,使其中丰富的语义信息、数据流信息和控制流信息模型化.然后利用扩展的层次有色petri网,着重对各服务之间的数据流关系进行分析,找到所有的输出输入定义使用链,并将其扩展成可执行的测试序列,最后将测试序列和测试数据组合,生成测试用例.其中生成的所有测试序列符合全定义-使用路径覆盖标准. 展开更多
关键词 有色petri 数据流 测试序列 OWL—S 组合服务
在线阅读 下载PDF
基于四阶累量的MUSIC算法对阵元误差的稳健性分析 被引量:5
3
作者 廖桂生 保铮 王波 《通信学报》 EI CSCD 北大核心 1997年第8期33-38,共6页
本文分析了基于四阶累量的MUSIC算法(记作FOC-MUSIC),在实际阵元存在幅相误差时,对波达方向(DOA)的估计性能,给出了大样本情况下的估计方差公式,并与基于协方差矩阵的标准MUSIC算法作了比较。计算机仿真... 本文分析了基于四阶累量的MUSIC算法(记作FOC-MUSIC),在实际阵元存在幅相误差时,对波达方向(DOA)的估计性能,给出了大样本情况下的估计方差公式,并与基于协方差矩阵的标准MUSIC算法作了比较。计算机仿真结果表明,本文给出的方差公式与实验仿真结果十分接近。文中还给出了利用高阶累量的方法可获得阵列有效孔径扩展的新解释。 展开更多
关键词 高阶统计量 方差分析 阵列 信号处理 MUSIC算法
在线阅读 下载PDF
电力远动通信故障诊断装置的研制 被引量:3
4
作者 胡起宙 李智敏 吴娟娟 《电力系统通信》 2010年第6期51-53,共3页
电力远动通信故障诊断装置是一款专用于电力远动传输通道测试及远动信号分析的装置,可测试远动系统模拟通道或数字通道的相关指标,适用于电力企业的远动自动化系统故障测试,以提高故障诊断的自动化水平。文章介绍了故障诊断装置的主要... 电力远动通信故障诊断装置是一款专用于电力远动传输通道测试及远动信号分析的装置,可测试远动系统模拟通道或数字通道的相关指标,适用于电力企业的远动自动化系统故障测试,以提高故障诊断的自动化水平。文章介绍了故障诊断装置的主要功能和关键技术,详细阐述了该装置的工作原理和软件系统设计思路。 展开更多
关键词 通道检测 规约 数据流 模型 虚拟机
在线阅读 下载PDF
确认测试路径的一种生成方法
5
作者 曹化工 赖蕾 《华中理工大学学报》 CSCD 北大核心 1999年第2期103-105,共3页
针对确认测试自动化在实现中的难题,提出了将测试过程进行划分的确认控制策略,并探讨了将之付诸实践的可行方法.一方面通过将测试过程进行划分减轻用例设计的负担,另一方面通过在每个测试步内生成完全的功能路径以保证功能覆盖的全... 针对确认测试自动化在实现中的难题,提出了将测试过程进行划分的确认控制策略,并探讨了将之付诸实践的可行方法.一方面通过将测试过程进行划分减轻用例设计的负担,另一方面通过在每个测试步内生成完全的功能路径以保证功能覆盖的全面性.方法确认测试过程除了在把数据流图转变为带控制扩展的数据流图时需要人工辅助之外,其余的步骤均能自动实现. 展开更多
关键词 确认测试 规格说明 数据流图 软件工程 软件测试
在线阅读 下载PDF
基于安全充分捕获技术的多时钟数字系统测试矢量生成
6
作者 张金艺 熊艳爽 《上海大学学报(自然科学版)》 CAS CSCD 北大核心 2007年第1期4-9,共6页
针对多时钟数字系统提出了一种新颖的产生测试矢量的方法——安全充分捕获技术(Safe and CompleteCapture Technology,S&CCT).该方法对电路系统中的时钟按照一定的标准分为等效时钟和串行时钟,然后确定正确的时钟捕获顺序.使用并发... 针对多时钟数字系统提出了一种新颖的产生测试矢量的方法——安全充分捕获技术(Safe and CompleteCapture Technology,S&CCT).该方法对电路系统中的时钟按照一定的标准分为等效时钟和串行时钟,然后确定正确的时钟捕获顺序.使用并发故障模拟器从逻辑上和时序上对生成的测试矢量进行仿真,测试矢量生成器使用该仿真信息,以避免生成失效测试矢量.实验证明,S&CCT与传统方法相比,测试矢量数目减少50%左右,不仅大大减少了测试矢量的数目,对电路的硬件开销也几乎没有影响. 展开更多
关键词 安全充分捕获技术 自动测试图形生成 测试协议 时钟分类标准 数据流图 测试覆盖率
在线阅读 下载PDF
一种改进的基于EFSM变迁依赖图的协议测试序列生成算法
7
作者 陈昱松 聂剑平 +1 位作者 景博 崔楠 《计算机研究与发展》 EI CSCD 北大核心 2010年第S1期79-85,共7页
为兼顾协议测试中数据流和控制流两个方面,以扩展有限状态机模型及其变迁依赖图为基础,对结合控制流与数据流生成测试序列的方法进行了研究探索.在数据流测试中,为了解决传统静态数据流分析方法中,因标记已访问变迁结点导致的测试路径... 为兼顾协议测试中数据流和控制流两个方面,以扩展有限状态机模型及其变迁依赖图为基础,对结合控制流与数据流生成测试序列的方法进行了研究探索.在数据流测试中,为了解决传统静态数据流分析方法中,因标记已访问变迁结点导致的测试路径分析不完整问题,提出了通过重用各变迁间数据依赖关系生成测试序列的方法;在控制流测试中,提出了通过构造子序列间最短遍历路径生成测试序列的方法.同时采用路径叠加技术对测试序列进行合并,优化了测试序列集.该算法通过与传统方法的实验对比,得到较高的路径覆盖率和较小的控制流测试时间复杂性. 展开更多
关键词 协议测试 变迁依赖图 数据流 控制流 测试序列
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部