检索结果-维普期刊中文期刊服务平台

采用Clang/LLVM的C++源代码覆盖率分析插装方法被引量：3: 1; 作者李树芳安金霞 +1 位作者刘洋陈良《计算机科学》 CSCD 北大核心 2017年第11期191-194,共4页; 近年来,越来越多的安全关键软件系统运行在国产Linux操作系统上,其中大多数采用C++开发,而C++正在扩展新版语言规范,已有的覆盖率统计插装工具不能满足要求。给出一种基于Clang/LLVM的C++源代码覆盖率统计插装方法,利用开源社区Clang/L... 展开更多; 关键词 C++ Clang 代码插装覆盖率分析; 在线阅读下载PDF 职称材料

一种高效的模拟覆盖率分析方法研究: 2; 作者李暾郭阳李思昆《计算机研究与发展》 EI CSCD 北大核心 2004年第8期1442-1449,共8页; 在覆盖率驱动的模拟验证方法中 ,模拟覆盖率分析时间直接影响模拟验证的效率针对现有基于值变化导出(VCD)文件覆盖率分析方法中模拟重放效率低的问外 ,对模拟重放过程进行了改进 ,提出一种高效的基于VCD文件的模拟覆盖率分析方法该... 展开更多; 关键词 VLSI模拟验证信号值变化导出文件模拟覆盖率分析; 在线阅读下载PDF 职称材料

适航认证中的目标码覆盖率分析工具VerOCode 被引量：2: 3; 作者任建国《航空制造技术》北大核心 2012年第22期102-104,共3页; 在DO-178B 6.4.4.2中要求:"覆盖率分析可以在源代码上开展,对于A级软件并且编译器产生的目标代码不能直接追踪到源代码的语句,那么需要对目标码进行额外的验证工作以确保产生的代码序列是正确的." 这里提到的"基于目标... 展开更多; 关键词适航认证目标码 VerOCode 覆盖率分析编译器编译程序; 在线阅读下载PDF 职称材料

龙芯2号配套PCI Bridge的功能覆盖率验证被引量：3: 4; 作者王赵君沈海华《计算机工程》 EI CAS CSCD 北大核心 2006年第11期277-279,共3页; 介绍了龙芯2号配套北桥中PCI Bridge的功能验证系统以及功能覆盖率建模和分析方法。该系统和方法在开发和验证PCI Bridge模块过程中发挥了重要作用,加快了PCI Bridge的开发速度,协助发现了一些设计与规范不相符合的地方,对后期流片成功... 展开更多; 关键词覆盖率分析 PCI BRIDGE 功能验证龙芯2号; 在线阅读下载PDF 职称材料

基于路径覆盖插桩的可执行代码测试工具实现被引量：4: 5; 作者王轶蒋同海 +1 位作者董军周喜《计算机工程》 CAS CSCD 2012年第5期35-37,40,共4页; 为解决传统程序插桩技术存在代码膨胀和运行时间较长的问题,提出对可执行代码进行控制流路径覆盖消除冗余的插桩策略。依据该策略设计一种针对Java可执行代码的单元测试工具,完成程序执行路径跟踪和覆盖率分析。对测试工具进行功能验证... 展开更多; 关键词动态分析单元测试程序插桩可执行代码覆盖率分析路径跟踪; 在线阅读下载PDF 职称材料

基于路径覆盖的嵌入式软件动态测试研究被引量：7: 6; 作者朱丽李汪彪 +1 位作者苏伟达吴允平《现代电子技术》 2013年第6期63-65,共3页; 针对嵌入式软件动态测试时的覆盖率分析问题,提出了一种嵌入式软件动态测试系统框架。该框架基于嵌入式软件测试的特点及路径覆盖的相关理论,包括被测试程序的静态分析、插桩技术和数据处理分析等部分。以静态分析指导插桩库的建立,通... 展开更多; 关键词嵌入式软件软件测试路径覆盖基本路径测试覆盖率分析; 在线阅读下载PDF 职称材料

RTL验证框架——HRV: 7; 作者郭阳李暾 +2 位作者李思昆朱丹梁磊《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2004年第11期1580-1583,共4页; 设计并实现了一个RTL覆盖率驱动的验证框架HRV ,它集成了自主开发的基于程序切片技术的设计抽取器、基于VCD文件的代码覆盖率分析器以及基于路径和基于断言的模拟矢量自动生成方法实验结果表明 ,HRV通过集成多种验证工具 ,提高了模拟... 展开更多; 关键词超大规模集成电路寄存器传输级模拟矢量自动生成覆盖率分析; 在线阅读下载PDF 职称材料

一种应用于SoC的总线系统模拟验证方法被引量：2: 8; 作者岳华伟徐勇军 +1 位作者张志敏易波《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2005年第10期2220-2226,共7页; 提出一种基于模拟仿真和覆盖率分析的方法.通过前期使用带约束的随机测试向量进行模拟仿真、在达到一定覆盖率后进行覆盖率分析、然后手工生成测试向量提高覆盖率的方法,对一款SoC芯片的总线系统进行验证,有效地减少了验证仿真所需时间... 展开更多; 关键词片上系统总线系统验证覆盖率分析; 在线阅读下载PDF 职称材料

SCADE在航空发动机FADEC软件开发中的应用被引量：8: 9; 作者方伟周彰毅《航空发动机》 2016年第5期43-47,共5页; 为了探索SCADE开发环境在基于模型设计(MBD)的软件开发中的优势,理解其建模和自动代码生成机制,研究其在基于模型的测试和覆盖率分析中的实现方法,基于某型航空发动机FADEC系统的健康管理软件开发,应用了SCADE开发环境的建模、仿真、测... 展开更多; 关键词 MBD 覆盖率分析自动代码生成 SCADE 航空发动机; 在线阅读下载PDF 职称材料

题名采用Clang/LLVM的C++源代码覆盖率分析插装方法被引量：3: 1; 作者李树芳安金霞刘洋陈良; 机构中国酒泉卫星发射中心; 出处《计算机科学》 CSCD 北大核心 2017年第11期191-194,共4页; 文摘近年来,越来越多的安全关键软件系统运行在国产Linux操作系统上,其中大多数采用C++开发,而C++正在扩展新版语言规范,已有的覆盖率统计插装工具不能满足要求。给出一种基于Clang/LLVM的C++源代码覆盖率统计插装方法,利用开源社区Clang/LLVM库提供的C++源代码解析和操作功能,构建面向C++源代码的语句、分支和MC/DC覆盖率统计框架,在运行时采集覆盖率信息并进行统计分析,输出覆盖率分析报告。实际案例表明,该方法简易实用,能够满足真实工程软件的覆盖率测试分析需求。; 关键词 C++ Clang 代码插装覆盖率分析; Keywords C＋＋,Clang , Code instrumentation, Coverage analysis; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名一种高效的模拟覆盖率分析方法研究: 2; 作者李暾郭阳李思昆; 机构国防科学技术大学计算机学院; 出处《计算机研究与发展》 EI CSCD 北大核心 2004年第8期1442-1449,共8页; 基金国家自然科学基金项目 ( 60 3 0 3 0 11) 国家"八六三"高技术研究发展计划基金项目 ( 2 0 0 2AA1Z14 80 ); 文摘在覆盖率驱动的模拟验证方法中 ,模拟覆盖率分析时间直接影响模拟验证的效率针对现有基于值变化导出(VCD)文件覆盖率分析方法中模拟重放效率低的问外 ,对模拟重放过程进行了改进 ,提出一种高效的基于VCD文件的模拟覆盖率分析方法该方法模拟重放时只针对HDL描述中的控制语句进行求解实现了模拟覆盖率分析系统原型和各种覆盖率测度的分析方法实验结果表明该方法在获得与现有方法同等覆盖率分析精度的同时 ,模拟重放效率提高; 关键词 VLSI模拟验证信号值变化导出文件模拟覆盖率分析; Keywords VLSI simulation verification value change dump file coverage metrics analysis; 分类号 TP391.72 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名适航认证中的目标码覆盖率分析工具VerOCode 被引量：2: 3; 作者任建国; 机构北京旋极信息技术股份有限公司; 出处《航空制造技术》北大核心 2012年第22期102-104,共3页; 文摘在DO-178B 6.4.4.2中要求:"覆盖率分析可以在源代码上开展,对于A级软件并且编译器产生的目标代码不能直接追踪到源代码的语句,那么需要对目标码进行额外的验证工作以确保产生的代码序列是正确的." 这里提到的"基于目标码的额外验证工作"可以由目标码覆盖率分析来实现,即编译器在编译过程中在目标码中添加了额外的代码,可以通过目标码覆盖率分析发现这部分代码,并且可以建立源代码与目标代码之间的关系.; 关键词适航认证目标码 VerOCode 覆盖率分析编译器编译程序; 分类号 V221.91 [航空宇航科学与技术—飞行器设计]; 在线阅读下载PDF 职称材料

题名龙芯2号配套PCI Bridge的功能覆盖率验证被引量：3: 4; 作者王赵君沈海华; 机构中国科学院计算技术研究所; 出处《计算机工程》 EI CAS CSCD 北大核心 2006年第11期277-279,共3页; 文摘介绍了龙芯2号配套北桥中PCI Bridge的功能验证系统以及功能覆盖率建模和分析方法。该系统和方法在开发和验证PCI Bridge模块过程中发挥了重要作用,加快了PCI Bridge的开发速度,协助发现了一些设计与规范不相符合的地方,对后期流片成功提供了有效保证。描述的功能覆盖率建模和分析方法具有一定通用性,可以为其它相似系统的验证提供借鉴。; 关键词覆盖率分析 PCI BRIDGE 功能验证龙芯2号; Keywords Coverage analysis PCI Bridge Functional verification; 分类号 TP332 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于路径覆盖插桩的可执行代码测试工具实现被引量：4: 5; 作者王轶蒋同海董军周喜; 机构中国科学院研究生院中国科学院新疆理化技术研究所; 出处《计算机工程》 CAS CSCD 2012年第5期35-37,40,共4页; 基金新疆维吾尔自治区重大专项基金资助项目(200732143-1) 电子信息产业发展基金资助项目([2009]453); 文摘为解决传统程序插桩技术存在代码膨胀和运行时间较长的问题,提出对可执行代码进行控制流路径覆盖消除冗余的插桩策略。依据该策略设计一种针对Java可执行代码的单元测试工具,完成程序执行路径跟踪和覆盖率分析。对测试工具进行功能验证和性能分析,结果表明,该策略能够有效减少插桩点数量,降低插桩对被测程序时间特性的影响。; 关键词动态分析单元测试程序插桩可执行代码覆盖率分析路径跟踪; Keywords dynamic analysis unit test program instrumentation executable code coverage rate analysis path tracking; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于路径覆盖的嵌入式软件动态测试研究被引量：7: 6; 作者朱丽李汪彪苏伟达吴允平; 机构福建师范大学光电与信息工程学院; 出处《现代电子技术》 2013年第6期63-65,共3页; 基金教育部重点项目(212087) 福建省科技厅重大项目(2011H6009) +1 种基金福建省教育厅项目(JA11037 JA10078); 文摘针对嵌入式软件动态测试时的覆盖率分析问题,提出了一种嵌入式软件动态测试系统框架。该框架基于嵌入式软件测试的特点及路径覆盖的相关理论,包括被测试程序的静态分析、插桩技术和数据处理分析等部分。以静态分析指导插桩库的建立,通过插桩技术在程序分支或重要位置点植入探针,执行已插桩程序,获得动态测试跟踪数据,最后对数据进行处理分析并制作初步测试报告。结合该框架,模拟测试实验室现行项目208型海区终端的航标数据采集模块,得出路径覆盖率,证明该系统框架的可行性。; 关键词嵌入式软件软件测试路径覆盖基本路径测试覆盖率分析; Keywords embedded software software testing path coverage basic path testing coverage rate analysis; 分类号 TN919-34 [电子电信—通信与信息系统] TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名RTL验证框架——HRV: 7; 作者郭阳李暾李思昆朱丹梁磊; 机构国防科学技术大学计算机学院; 出处《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2004年第11期1580-1583,共4页; 基金国家自然科学基金 ( 60 3 0 3 0 11)资助; 文摘设计并实现了一个RTL覆盖率驱动的验证框架HRV ,它集成了自主开发的基于程序切片技术的设计抽取器、基于VCD文件的代码覆盖率分析器以及基于路径和基于断言的模拟矢量自动生成方法实验结果表明 ,HRV通过集成多种验证工具 ,提高了模拟验证效率。; 关键词超大规模集成电路寄存器传输级模拟矢量自动生成覆盖率分析; Keywords VLSI RTL simulation vectors generation coverage analysis; 分类号 TP391.72 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名一种应用于SoC的总线系统模拟验证方法被引量：2: 8; 作者岳华伟徐勇军张志敏易波; 机构中国科学技术大学物理系中国科学院计算技术研究所信息网络室中国科学院计算技术研究所计算机体系结构研究室; 出处《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2005年第10期2220-2226,共7页; 基金国家自然科学基金(90207002 60242001); 文摘提出一种基于模拟仿真和覆盖率分析的方法.通过前期使用带约束的随机测试向量进行模拟仿真、在达到一定覆盖率后进行覆盖率分析、然后手工生成测试向量提高覆盖率的方法,对一款SoC芯片的总线系统进行验证,有效地减少了验证仿真所需时间,得到了预期的验证结果.; 关键词片上系统总线系统验证覆盖率分析; Keywords system on a chip bus system verification coverage-analysis; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名SCADE在航空发动机FADEC软件开发中的应用被引量：8: 9; 作者方伟周彰毅; 机构中航工业航空动力控制系统研究所; 出处《航空发动机》 2016年第5期43-47,共5页; 基金国家重大基础研究项目资助; 文摘为了探索SCADE开发环境在基于模型设计(MBD)的软件开发中的优势,理解其建模和自动代码生成机制,研究其在基于模型的测试和覆盖率分析中的实现方法,基于某型航空发动机FADEC系统的健康管理软件开发,应用了SCADE开发环境的建模、仿真、测试及覆盖率分析、代码生成与集成的全流程的MBD开发方法,并进行了完整的系统测试,测试用例全部通过。系统测试的结果验证了基于SCADE开发环境进行FADEC软件开发的正确性和可靠性,为SCADE开发环境在航空发动机FADEC软件开发中的应用提供了技术指导和工程借鉴。; 关键词 MBD 覆盖率分析自动代码生成 SCADE 航空发动机; Keywords MBD coverage analysis auto-code generation SCADE aeroengine; 分类号 V233.7 [航空宇航科学与技术—航空宇航推进理论与工程]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	采用Clang/LLVM的C++源代码覆盖率分析插装方法	李树芳安金霞刘洋陈良	《计算机科学》 CSCD 北大核心	2017	3	在线阅读下载PDF 职称材料
2	一种高效的模拟覆盖率分析方法研究	李暾郭阳李思昆	《计算机研究与发展》 EI CSCD 北大核心	2004	0	在线阅读下载PDF 职称材料
3	适航认证中的目标码覆盖率分析工具VerOCode	任建国	《航空制造技术》北大核心	2012	2	在线阅读下载PDF 职称材料
4	龙芯2号配套PCI Bridge的功能覆盖率验证	王赵君沈海华	《计算机工程》 EI CAS CSCD 北大核心	2006	3	在线阅读下载PDF 职称材料
5	基于路径覆盖插桩的可执行代码测试工具实现	王轶蒋同海董军周喜	《计算机工程》 CAS CSCD	2012	4	在线阅读下载PDF 职称材料
6	基于路径覆盖的嵌入式软件动态测试研究	朱丽李汪彪苏伟达吴允平	《现代电子技术》	2013	7	在线阅读下载PDF 职称材料
7	RTL验证框架——HRV	郭阳李暾李思昆朱丹梁磊	《计算机辅助设计与图形学学报》 EI CSCD 北大核心	2004	0	在线阅读下载PDF 职称材料
8	一种应用于SoC的总线系统模拟验证方法	岳华伟徐勇军张志敏易波	《计算机辅助设计与图形学学报》 EI CSCD 北大核心	2005	2	在线阅读下载PDF 职称材料
9	SCADE在航空发动机FADEC软件开发中的应用	方伟周彰毅	《航空发动机》	2016	8	在线阅读下载PDF 职称材料