代码覆盖测试技术在MODE-S应答机中的应用 被引量：4

1

作者 浦云明 张杰敏 林颖贤 《计算机应用与软件》 CSCD 北大核心 2008年第7期131-133,148,共4页

代码覆盖测试技术可用于结构覆盖测试和程序复杂度分析,代码覆盖测试技术可用于测试用例设计,提高软件测试效率,指导编写高质量的程序代码,代码覆盖是软件测试的底线。代码覆盖测试技术及方法的研究,为软件覆盖测试提供了理论依据。在Mo... 代码覆盖测试技术可用于结构覆盖测试和程序复杂度分析,代码覆盖测试技术可用于测试用例设计,提高软件测试效率,指导编写高质量的程序代码,代码覆盖是软件测试的底线。代码覆盖测试技术及方法的研究,为软件覆盖测试提供了理论依据。在Mode-S应答机项目中应用TRACE覆盖测试技术,确保了产品满足适航软件标准RTCA/DO-178BLEVELB的要求。 展开更多

关键词 代码覆盖 测试技术 dd-路径 Mode-S应答机 程序复杂度

在线阅读 下载PDF 职称材料

基于梯度阈值和时延的定向扩散路由协议 被引量：6

2

作者 邬春学 叶胤鹏 许博威 《计算机工程》 CAS CSCD 2012年第7期77-79,共3页

针对定向扩散(DD)路由协议节点能量开销较大的问题,提出一种改进的DD路由协议,用于对探测分组的洪泛扩散进行分布式优化。通过定义梯度阈值限制源节点及每个转发节点的扩散广度,利用设定路径时延参数的方式控制扩散深度。仿真结果表明,... 针对定向扩散(DD)路由协议节点能量开销较大的问题,提出一种改进的DD路由协议,用于对探测分组的洪泛扩散进行分布式优化。通过定义梯度阈值限制源节点及每个转发节点的扩散广度,利用设定路径时延参数的方式控制扩散深度。仿真结果表明,改进协议能减少建立梯度时的数据信息包数量,提高节点能量利用率。 展开更多

关键词 无线传感器网络 定向扩散 最短路径 梯度阈值 时延

在线阅读 下载PDF 职称材料

面向HDL描述基于路径覆盖的模拟矢量自动生成方法研究

3

作者 李暾 李思昆 +2 位作者 )郭阳 万海 冷彪 《计算机学报》 EI CSCD 北大核心 2004年第6期721-728,共8页

提出和实现了一种面向HDL描述基于路径覆盖的模拟矢量自动生成方法 .该方法在约束生成时只考虑控制语句的条件表达式 ,可有效避免生成冗余约束 ;利用扩展的决策图模型解决了中间信号到初始输入的传播问题和信号依赖关系问题 ,以及处理各... 提出和实现了一种面向HDL描述基于路径覆盖的模拟矢量自动生成方法 .该方法在约束生成时只考虑控制语句的条件表达式 ,可有效避免生成冗余约束 ;利用扩展的决策图模型解决了中间信号到初始输入的传播问题和信号依赖关系问题 ,以及处理各种HDL描述风格的问题 ;采用约束逻辑编程方法解决了由位、位向量和整型变量组成的约束系统的统一处理问题 .实验结果表明该方法能加快模拟矢量生成速度 ,提高路径覆盖率 .生成的模拟矢量也能用于低层次设计验证和故障模拟 ,加快了设计进度 .将该方法的原型系统用于一个 32位微处理器核RTL级验证 ,发现了RTL级设计描述中的错误 . 展开更多

关键词 HDL描述 路径覆盖 模拟矢量自动生成 约束逻辑求解 VLSI

在线阅读 下载PDF 职称材料

嵌入式软件的可信测试技术分析与设计 被引量：2

4

作者 杨阿辉 《鸡西大学学报（综合版）》 2011年第9期56-58,共3页

嵌入式应用领域的不断拓展,嵌入式系统的安全性和可信性越发重要,如何设计和测试一个可信的嵌入式系统是现在和未来研究的重点,尤其是嵌入式软件的可信测试技术与方法的研究。在分析软件运行剖面的基础上,依据分支路径和MM-路径测试技术... 嵌入式应用领域的不断拓展,嵌入式系统的安全性和可信性越发重要,如何设计和测试一个可信的嵌入式系统是现在和未来研究的重点,尤其是嵌入式软件的可信测试技术与方法的研究。在分析软件运行剖面的基础上,依据分支路径和MM-路径测试技术,研究基于嵌入式系统的可信软件测试方法,提出一种代码覆盖和集成测试技术,用于结构覆盖测试和程序复杂度分析,指导可信软件代码设计和测试用例设计,提高软件测试效率和加速错误定位。 展开更多

关键词 可信软件 代码覆盖 测试技术 嵌入式软件 分支路径

在线阅读 下载PDF 职称材料

分支测试中测试路径用例的简化生成方法 被引量：17

5

作者 毛澄映 卢炎生 《计算机研究与发展》 EI CSCD 北大核心 2006年第2期321-328,共8页

结构性测试是对过程式和面向对象程序都非常有效的测试方法,分支覆盖准则被实践证明是其中性价比最高的一种策略·通过深入研究DD图的性质并分析FTPS算法的不足,提出了一种简便、快捷和适合于大规模程序的非约束边集近似求解算法Fin... 结构性测试是对过程式和面向对象程序都非常有效的测试方法,分支覆盖准则被实践证明是其中性价比最高的一种策略·通过深入研究DD图的性质并分析FTPS算法的不足,提出了一种简便、快捷和适合于大规模程序的非约束边集近似求解算法Find SemiUE;还给出了基于正(逆)向广度(深度)生成树的分支测试路径用例集的简化生成算法Generate PathSet,该算法在时间和空间开销上较FTPS算法均有较大提高·此外,所证明的关于DD图的结论也值得借鉴用于该图的更深一步研究· 展开更多

关键词 结构性测试 DD图 支配(蕴含)关系 非约束边 测试路径用例

在线阅读 下载PDF 职称材料

探析白盒测试之基于路径测试

6

作者 刘若华 楚书来 《计算机光盘软件与应用》 2012年第2期98-99,共2页

软件测试的目标是发现尽可能多的错误,提高软件质量和可靠性,对于规模相对较小,结构相对简单的软件,采用基于路径测试的白盒测试不失为一种很好的测试方法。

关键词 白盒测试 路径测试 程序图 dd-路径 用例

在线阅读 下载PDF 职称材料

用于软件测试的路径测试方法 被引量：4

7

作者 孙晓冬 黄松 《指挥信息系统与技术》 2011年第4期79-82,共4页

随着软件产品在社会生活中的广泛应用,软件产品的可靠性和用户的需求也在逐步提高。软件测试一般分为白盒测试和黑盒测试两种,而路径测试方法是白盒测试中最常用的方法。主要介绍了DD路-径和基本路径两种路径测试方法,并针对它们的测试... 随着软件产品在社会生活中的广泛应用,软件产品的可靠性和用户的需求也在逐步提高。软件测试一般分为白盒测试和黑盒测试两种,而路径测试方法是白盒测试中最常用的方法。主要介绍了DD路-径和基本路径两种路径测试方法,并针对它们的测试用例的不同设计方法,分析了软件测试中的结构化测试方法在测试用例生成中的作用。 展开更多

关键词 路径测试 测试用例 DD路-径

在线阅读 下载PDF 职称材料

分支覆盖测试路径集生成系统设计与实现 被引量：1

8

作者 姜姗姗 赵中华 《计算机应用》 CSCD 北大核心 2010年第A01期218-219,224,共3页

给出一种生成分支覆盖测试路径集的改进算法,降低了不可行路径出现的概率,并在此基础上设计实现了一个面向分支覆盖的测试路径自动生成系统AGTP。通过实例验证了算法及系统的有效性,测试结果表明该系统能精确有效地生成分支测试路径集。

关键词 分支覆盖 不可行路径 DD图 非约束边 测试路径集

在线阅读 下载PDF 职称材料

基于定向扩散路由的结构化分层模型 被引量：1

9

作者 汤斯鹏 章韵 《计算机技术与发展》 2013年第8期95-99,共5页

在无线传感网中,定向扩散协议(Directed Diffusion,DD)提供了一个基于平面拓扑的以数据为中心的路由思想。针对基于应用的无线传感网络,许多研究人员对DD进行了相应的改进,但是都缺乏一个统一清晰的架构。为了提高研究和开发效率,文中... 在无线传感网中,定向扩散协议(Directed Diffusion,DD)提供了一个基于平面拓扑的以数据为中心的路由思想。针对基于应用的无线传感网络,许多研究人员对DD进行了相应的改进,但是都缺乏一个统一清晰的架构。为了提高研究和开发效率,文中通过科学研究和系统归纳提出了一个基于DD的结构化分层模型,力图呈现一个基于DD的清晰、完整的体系架构,在此模型的启发下,提出了能量多路径加强的DD协议。最后通过性能分析证明了改进算法的可行性,同时也给出了此模型的一个有效应用。 展开更多

关键词 定向扩散协议 基于DD的结构化分层模型 能量多路径加强DD

在线阅读 下载PDF 职称材料

基于决策到决策路径的遗传算法软件测试用例设计

10

作者 雷阳 陈念伟 金虎 《成都信息工程学院学报》 2010年第4期361-365,共5页

测试用例生成优劣是软件测试自动化效率高低至关重要的一点,常用的随机测试用例自动生成方法虽然实现简单,但具有效率低、冗余大的缺点,而遗传算法适合于处理传统方法难以解决的非线性问题。为了提高测试效率、降低测试成本,通过分析测... 测试用例生成优劣是软件测试自动化效率高低至关重要的一点,常用的随机测试用例自动生成方法虽然实现简单,但具有效率低、冗余大的缺点,而遗传算法适合于处理传统方法难以解决的非线性问题。为了提高测试效率、降低测试成本,通过分析测试用例自动生成和遗传算法的基本理论,在面向决策到决策路径的软件测试基础上,利用程序控制流图详细阐释了对基于遗传算法的测试用例自动生成技术的设计。通过与随机法自动用例生成进行试验对比,表明其效率至少是随机法10倍。 展开更多

关键词 计算机应用 智能工程 软件测试 测试用例自动化 遗传算法 决策到决策路径

在线阅读 下载PDF 职称材料

最优化分支覆盖测试路径集研究与应用

11

作者 石磊 翁鹤 《软件导刊》 2017年第10期154-158,共5页

基于DD图理论能够获取覆盖整个路径的分支测试路径集合,但缺少精简无约束边集合的方法,分支测试用例选取复杂,工程应用更少。在DD图提炼无约束边集合的基础上,对程序路径树进行研究,提出通过循环计算路径树未被选中路径中包含的未被覆... 基于DD图理论能够获取覆盖整个路径的分支测试路径集合,但缺少精简无约束边集合的方法,分支测试用例选取复杂,工程应用更少。在DD图提炼无约束边集合的基础上,对程序路径树进行研究,提出通过循环计算路径树未被选中路径中包含的未被覆盖无约束边的个数,实现最优化分支覆盖测试路径集选择方法,满足基于DO-178B和GJB/Z 141军用软件语句、分支和MC/DC测试覆盖指标要求。实际工程应用结果表明,该方法实现了优化测试用例,满足了测试充分性要求。 展开更多

关键词 DD图 无约束边 路径树 分支覆盖测试

在线阅读 下载PDF 职称材料