采用Clang/LLVM的C++源代码覆盖率分析插装方法

近年来,越来越多的安全关键软件系统运行在国产Linux操作系统上,其中大多数采用C++开发,而C++正在扩展新版语言规范,已有的覆盖率统计插装工具不能满足要求。给出一种基于Clang/LLVM的C++源代码覆盖率统计插装方法,利用开源社区Clang/LLVM库提供的C++源代码解析和操作功能,构建面向C++源代码的语句、分支和MC/DC覆盖率统计框架,在运行时采集覆盖率信息并进行统计分析,输出覆盖率分析报告。实际案例表明,该方法简易实用,能够满足真实工程软件的覆盖率测试分析需求。

中国城镇养老保险制度的覆盖率分析

退休职工的养老问题是城镇社会保障工作的核心内容。中国现行的城镇养老保险制度实行现收现付和个人积累的混合制,但相对较低的城镇养老保险筹资覆盖率仍存在亟待改进的需求和优化空间。城镇养老保险制度的低覆盖率与经济结构转型、人口结构转型等因素有很大关系。建立广覆盖、高水平和可持续的城镇养老保险制度,是缓解中国日益严重的城镇养老问题的必然选择。

一种高效的模拟覆盖率分析方法研究

在覆盖率驱动的模拟验证方法中 ,模拟覆盖率分析时间直接影响模拟验证的效率 针对现有基于值变化导出(VCD)文件覆盖率分析方法中模拟重放效率低的问外 ,对模拟重放过程进行了改进 ,提出一种高效的基于VCD文件的模拟覆盖率分析方法 该方法模拟重放时只针对HDL描述中的控制语句进行求解 实现了模拟覆盖率分析系统原型和各种覆盖率测度的分析方法 实验结果表明该方法在获得与现有方法同等覆盖率分析精度的同时 ,模拟重放效率提高

海上油气平台火焰探测器覆盖率分析与优化布置研究

海上油气平台生产中必须使用火焰探测器对潜在的危险区域进行火灾监测,以保证人身、财产和生产设施的安全,火焰探测器的布置目前尚无明确的定量分析和布置方法。介绍了火焰探测器的表决机制,分析不同探测器数量和定位条件下的典型油气生产设备单元区域的火焰探测器覆盖率,并在此基础上优化火焰探测器的布置方法,编制适用于不同面积区域的火焰探测器布置方式推荐表,为火焰探测器量化布置方法的进一步研究提供参考和依据。

和欣编程环境中进行单元测试覆盖率分析的方法

本文提出了在和欣项目中一种分析代码覆盖率的简单而经济的方法。和欣项目有多种测试手段用以保证软件质量,如单元测试已经积累了大量测试用例。但是如果不应用应用代码覆盖率分析,很难发现未测试到的被测对象和重复的测试用例。我们应用了基本块度量方法,并且移植和应用了GCOV和LCOV工具到和欣开发环境,建立了一种代码覆盖率分析方法。另外本文还演示了对一个简单单元测试的分析。基于这种覆盖率分析方法,可以开展进一步的流程改进工作,比如:灵巧的回归测试以及测试驱动开发等。

适航认证中的目标码覆盖率分析工具VerOCode

在DO-178B 6.4.4.2中要求:"覆盖率分析可以在源代码上开展,对于A级软件并且编译器产生的目标代码不能直接追踪到源代码的语句,那么需要对目标码进行额外的验证工作以确保产生的代码序列是正确的." 这里提到的"基于目标码的额外验证工作"可以由目标码覆盖率分析来实现,即编译器在编译过程中在目标码中添加了额外的代码,可以通过目标码覆盖率分析发现这部分代码,并且可以建立源代码与目标代码之间的关系.

基于模型的FADEC软件结构覆盖率分析

结构覆盖率分析是基于需求测试的补充和完善,能够发现软件中是否存在预期外的功能。在基于模型的软件开发过程中,模型覆盖率代替了传统的代码覆盖率,运用模型检查技术自动生成测试用例是形式化方法在模型覆盖率测试中的主要途径,涵盖了判定覆盖(DC)、条件覆盖(CC)、修改条件/判定覆盖(MC/DC)等多种方式。以航空发动机FADEC软件开发过程中的一个实际案例为例,结合Simulink Design Verifier分析验证工具,检验其生成的用例对模型的覆盖率,表明方法的实用性。

数据耦合和控制耦合的覆盖率分析工作

本技术针对依照DO-178C标准下高安全等级软件需要进行的数据耦合和控制耦合覆盖率分析,提出覆盖分析准则应当具有统一的指导思想,并且基于需求展开测试的观点。在适航体系的软件全生命周期研发领域起到推进基于需求的研发和测试工作的积极作用。

航空软件代码覆盖率分析的项目管理

代码覆盖率分析是高性能航空软件的一项重要的验证工作。把代码覆盖率分析作为一个项目,基于代码覆盖率分析的技术要点,应用项目管理方法和技术,讲述了其启动、规划、执行、监控和收尾过程的管理要点。在启动阶段,指出了谁是重要的利益相关者,并结合DO-178B的要求,指明了代码覆盖率分析的目标;在规划阶段,分析了两轮分析的进度管理;在执行阶段,总结了代码覆盖率分析的流程和重点,给出了项目工作组的构建方案和其WBS,设计了变更控制流程;在监控阶段,指出了多种监控方法,详细介绍了同行审查方法;在收尾阶段,明确了如何交付代码覆盖率分析的成果和更新组织过程资产。最后介绍了理论的实践情况,并对实践做了展望。

龙芯2号配套PCI Bridge的功能覆盖率验证

介绍了龙芯2号配套北桥中PCI Bridge的功能验证系统以及功能覆盖率建模和分析方法。该系统和方法在开发和验证PCI Bridge模块过程中发挥了重要作用,加快了PCI Bridge的开发速度,协助发现了一些设计与规范不相符合的地方,对后期流片成功提供了有效保证。描述的功能覆盖率建模和分析方法具有一定通用性,可以为其它相似系统的验证提供借鉴。

基于LDRA的嵌入式软件覆盖率测试方法

基于实时嵌入式软件的测试经验，针对实时嵌入式软件特点，研究了基于LDRA的嵌入式软件覆盖率测试方法，分析了程序插装BITMAP技术应注意的问题．提出了单文件和多文件两种方式的覆盖率测试方法。对于嵌入式软件测试，具有实际参考价值。

基于路径覆盖插桩的可执行代码测试工具实现

为解决传统程序插桩技术存在代码膨胀和运行时间较长的问题,提出对可执行代码进行控制流路径覆盖消除冗余的插桩策略。依据该策略设计一种针对Java可执行代码的单元测试工具,完成程序执行路径跟踪和覆盖率分析。对测试工具进行功能验证和性能分析,结果表明,该策略能够有效减少插桩点数量,降低插桩对被测程序时间特性的影响。

基于路径覆盖的嵌入式软件动态测试研究

针对嵌入式软件动态测试时的覆盖率分析问题,提出了一种嵌入式软件动态测试系统框架。该框架基于嵌入式软件测试的特点及路径覆盖的相关理论,包括被测试程序的静态分析、插桩技术和数据处理分析等部分。以静态分析指导插桩库的建立,通过插桩技术在程序分支或重要位置点植入探针,执行已插桩程序,获得动态测试跟踪数据,最后对数据进行处理分析并制作初步测试报告。结合该框架,模拟测试实验室现行项目208型海区终端的航标数据采集模块,得出路径覆盖率,证明该系统框架的可行性。

基于嵌入式系统的软件结构覆盖测试技术

在软件测试过程中有效地监控代码覆盖率是提高软件测试有效性的一个重要途径,介绍了利用LDRATestbed测试工具进行嵌入式软件结构覆盖测试的方法和技术。

中国股票市场的领先滞后效应

利用中国A股上市公司日度与分钟级的数据,研究了股票间收益率领先滞后关系的影响因素。研究结果表明,规模较大的公司对市场信息反应更快,其股票收益率先于规模较小的公司变动。在时间序列上,相较于日度数据的研究结果,使用分钟级数据的领先滞后效应指标具有更大幅度的衰减,说明我国A股的信息有效性在不断提升。此外,发现交易量和分析师覆盖率也是影响领先滞后关系的重要因素。

分析师行为对房地产股票泡沫影响的量化分析

从行为金融学角度实证分析了中国A股市场上的股票泡沫大小受股票分析师覆盖率及分析师权威性等因素的影响,并且对股票泡沫变化进行一系列探索性分析。首先提出了近似量化股票泡沫的几种方法,随后利用分析师覆盖率和股票评级等因素对股票泡沫做回归分析,检验其显著性。同时,将显著因素以外生变量信息冲击形式分别尝试带入GARCH衍生模型,并通过一系列的调整,建立以每日基准收益率为基础的修正GARCH模型,预测文中所定义的股票泡沫率。

一种嵌入式软件目标机环境精准测试方法

针对嵌入式软件测试的难点,分析其现状和测试工具优劣势,提出了一种针对嵌入式软件目标机环境下的精准测试方法,以及相关软硬件结合工具的应用。结合具体项目中应用和实践表明:通过使用嵌入式软件目标机精准测试方法及工具,可实现对被测嵌入式软件进行实时在线监控和分析,提高了测试人员发现问题的效率,加强了测试人员与开发人员之间的互动,解决了以往代码覆盖率、性能分析、内存分析难以精确测试的问题。

TESTBED在某型高炮火控软件测试中的应用

研究了黑盒功能测试和结构覆盖测试,定义了各种覆盖率指标及指出其适用范围,根据覆盖率准则的包含关系,提出了装备定型中关键软件的测试策略;针对某型高炮系统的组成与特点,设计和搭建了其火控软件配置项测试的仿真测试平台;介绍了TESTBED插装选项中两种基本覆盖率信息压缩方式,并通过插装模板和插装代码的适应性改造,建立了一种新的覆盖率信息压缩形式BYTEMAP,克服了BITMAP插装方式对被测火控软件实时性的影响,利用系统预留的串行通信端口,输出了测试的覆盖率信息,实现了嵌入式火控软件的覆盖率测试和分析;测试结果表明:根据软件规约所设计的测试用例和覆盖率分析所补充的测试用例充分有效,达到了预期的测试效果.

基于程序控制的路径测试技术研究

针对路径测试的要求及其特点,结合图论的概念,提出了程序控制流程图的一种表示方法。并在此基础上,讨论了基于程序控制流程图的测试路径自动查找算法、测试用例的选择策略及覆盖率分析方法。最后,介绍了以上软件测试技术在实际工程项目中的应用情况。

RTL验证框架——HRV

设计并实现了一个RTL覆盖率驱动的验证框架HRV ,它集成了自主开发的基于程序切片技术的设计抽取器、基于VCD文件的代码覆盖率分析器以及基于路径和基于断言的模拟矢量自动生成方法 实验结果表明 ,HRV通过集成多种验证工具 ,提高了模拟验证效率 。