李树芳
- 作品数：10 被引量：54H指数：4
- 供职机构：中国酒泉卫星发射中心更多>>
- 发文基金：国家自然科学基金清华大学自主科研计划北京市自然科学基金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术更多>>
- 采用C++代码插装的实时软件内存错误分析被引量：4
- 2014年
- 在航天领域中,安全关键的大型实时软件系统往往直接影响到任务成败,一般难以全面检测、分析或避免内存泄漏等常见内存错误。定义了实时软件的12种典型内存故障模式,提出了一种基于C++代码插装的实时软件内存错误快速分析方法。该方法通过对C++源代码进行静态分析,获取指针变量相关信息;通过C++代码插装和运行不同测试用例,实时收集统计C++指针对象的分配、释放、赋值、c-use和p-use使用情况,结合实时软件的典型内存故障模式进行分析,并自动生成详情报告。应用案例表明,该方法能够高效快捷地发现实时软件潜在的典型内存错误,从而有效提高软件质量。
- 李树芳陈霞安金霞陈东升
- 关键词：内存错误内存泄漏代码插装
- 一种基于接口语义契约模型的Web服务建模与测试方法
- 一种基于接口语义契约模型的Web服务建模与测试方法，涉及软件测试建模与测试用例自动生成领域，所述方法适用于Web服务测试，可以扩展现有服务接口描述能力、用于生成测试数据和测试用例，通过知识描述和推理技术，提高测试生成的自...
- 白晓颖侯可佳李树芳
- 文献传递
- 基于本体的Web服务测试生成与变异测试研究
- 可信任性已经成为面向服务应用的严重障碍,例如服务使用方可能无法信任在服务中介上动态发现的服务的功能正确性、性能和可靠性。Web服务是SOA的一种具体实现,但传统的校核与验证(V&V)技术无法满足Web服务测试的新挑战。因...
- 李树芳
- 关键词：语义WEB服务本体
- 文献传递
- 基于多维度覆盖率的软件测试动态评价方法被引量：34
- 2010年
- 随着关键领域应用软件规模和复杂性的不断提高,软件测试成本也不断增加.如何动态、定量地评价软件测试情况,提高测试效率是软件测试领域面临的现实问题.提出了一种基于多维度测试覆盖率的软件测试动态评价方法,并从测试监测信息、动态分析和评价模型、测试优化策略几个方面展开讨论.给出了综合测试覆盖率的定义和经验公式.实例显示,该方法有助于软件项目评测人员动态跟踪和定量监控软件测试效果,提高软件测试过程的可观察性和可控制性.
- 安金霞王国庆李树芳朱纪洪
- 关键词：软件测试多维度
- 面向大型实时软件的测试覆盖率快速分析方法被引量：4
- 2013年
- 现有测试覆盖率统计方法和工具不能完全满足航天领域大型实时软件系统的特殊需求。针对特殊需求,提出一种面向大型实时软件系统的测试覆盖率快速分析方法,借助于自主开发的C++代码覆盖率插装与分析工具,实现批量化的代码插装,实时采集和统计分析被测软件的语句、分支、条件、MC/DC和函数等覆盖率信息,并输出测试覆盖率详情报告。通过一系列脚本和工具链支持,实现全过程自动化。应用案例表明,该方法快速高效,可以及时调整测试策略,优化测试用例,更快地达到测试充分性要求。
- 李树芳安金霞郑鹏飞王猛
- 基于接口语义契约的Web服务测试数据生成被引量：10
- 2013年
- 测试是Web服务质量保证的主要手段之一,测试自动化是降低测试代价的有效途径,测试数据生成是测试自动化研究的一个重要内容.提出采用本体及规则的知识描述语言,建立服务接口的语义契约模型(interface semantic contract,简称ISC),并探讨了基于ISC的测试数据生成技术,给出了分区生成算法以及测试数据生成的模拟退火算法.实验结果表明,与随机测试相比,该方法能够采用10%的测试用例数量达到同样的测试覆盖率;在同样的测试用例数量上,最高可提高50%的测试覆盖率.
- 侯可佳白晓颖陆皓李树芳周立柱
- 关键词：数据生成本体模型OWL-S
- 基于变异的实时软件系统故障数据模拟
- 在航空航天领域，大量安全关键的实时软件系统承担着数据采集、处理和分析任务，如何模拟各种故障数据，对实时软件系统进行充分测试一直是工程实践中的现实难题。本文根据实时软件系统输入数据源特征，定义了报文变异和数据变异两大类共1...
- Li Shufang李树芳An Jinxia安金霞Liu Yang刘洋
- 关键词：软件测试故障数据
- 采用Clang/LLVM的C++源代码覆盖率分析插装方法被引量：3
- 2017年
- 近年来,越来越多的安全关键软件系统运行在国产Linux操作系统上,其中大多数采用C++开发,而C++正在扩展新版语言规范,已有的覆盖率统计插装工具不能满足要求。给出一种基于Clang/LLVM的C++源代码覆盖率统计插装方法,利用开源社区Clang/LLVM库提供的C++源代码解析和操作功能,构建面向C++源代码的语句、分支和MC/DC覆盖率统计框架,在运行时采集覆盖率信息并进行统计分析,输出覆盖率分析报告。实际案例表明,该方法简易实用,能够满足真实工程软件的覆盖率测试分析需求。
- 李树芳安金霞刘洋陈良
- 关键词：C++代码插装
- 一种基于接口语义契约模型的Web服务建模与测试方法
- 一种基于接口语义契约模型的Web服务建模与测试方法，涉及软件测试建模与测试用例自动生成领域，所述方法适用于Web服务测试，可以扩展现有服务接口描述能力、用于生成测试数据和测试用例，通过知识描述和推理技术，提高测试生成的自...
- 白晓颖侯可佳李树芳
- 文献传递
- 基于云平台的飞行试验数据中心架构设计被引量：1
- 2016年
- 近年高密度航天发射任务和不断提升的数据采集处理能力使得试验数据规模呈几何级数增长,但目前采用的传统试验数据存储管理和应用服务手段已难以适应任务发展的形势要求。针对航天任务参试系统多、地域跨度广、试验数据采集源多、规模增长迅速、业务应用复杂及用户多样等特征需求,采用云存储和云计算技术,提出了一种基于云平台的分布式数据中心架构,论述了基于两级数据中心的应用服务模式,实现了两级数据中心的整体设计,支持全系统计算资源、存储资源、网络资源和业务资源的统一调度管理,支持计算节点、存储节点和网络节点的动态扩展,能够较好地满足海量飞行试验数据的长期存储管理和高效应用服务需求。
- 安金霞李树芳李春锋盛捷
- 关键词：飞行试验数据数据中心体系结构
