代码检查工具的基准测试_第1页
代码检查工具的基准测试_第2页
代码检查工具的基准测试_第3页
代码检查工具的基准测试_第4页
代码检查工具的基准测试_第5页
已阅读5页,还剩19页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1/1代码检查工具的基准测试第一部分代码检查工具的比较标准 2第二部分静态代码分析工具的性能评估 4第三部分动态代码分析工具的有效性验证 6第四部分基准测试数据集的选择和设计 9第五部分测试用例的覆盖率和准确性 11第六部分误报和漏报率的分析 13第七部分资源消耗(如时间和内存)评估 16第八部分工具之间的可扩展性和兼容性 18

第一部分代码检查工具的比较标准关键词关键要点准确性

1.检测与实际问题数量的一致性,包括真阳性、真阴性、假阳性和假阴性。

2.识别不同问题类型的准确率,例如语法错误、逻辑错误、安全漏洞等。

3.误报率的低,即无缺陷的情况下标记为有缺陷的代码数量。

效率

1.代码分析的速度,包括检查单个文件和大型项目所需的时间。

2.可扩展性,即处理不同规模和复杂性的项目的能力。

3.内存和处理器的消耗,确保在不同计算环境中高效运行。

可配置性

1.规则的可定制性,允许用户添加、删除或修改检查规则。

2.严重性级别的可配置性,允许用户根据自己的需求设置不同问题类型的严重性。

3.报告和输出选项的灵活性,支持不同的格式和定制报告。

可集成性

1.与其他开发工具和IDE的兼容性,例如代码编辑器、源代码管理系统和持续集成平台。

2.支持多种编程语言和框架,确保可以广泛应用。

3.提供API或命令行界面,便于自动化任务和与其他系统集成。

易用性

1.直观的图形用户界面或命令行工具,降低学习曲线。

2.清晰的文档和帮助材料,指导用户使用工具的各个方面。

3.强大的搜索和过滤功能,帮助用户快速定位和解决问题。

支持

1.可靠的客户支持,提供快速响应并解决用户问题。

2.定期更新和补丁,解决漏洞并提高工具的准确性。

3.活跃的社区论坛或在线文档,促进用户之间的知识共享和协作。代码检查工具的比较标准

代码检查工具的比较标准至关重要,因为它可以帮助组织选择最符合其需求的工具。这些标准涉及技术的各个方面,从精度和覆盖范围到易用性和可定制性。

精度

精度衡量工具发现真实缺陷的能力,而不产生误报。它可以通过使用以下指标来评估:

*缺陷检测率(DPR):检测到真实缺陷的数量与总缺陷数量之比。

*误报率(FPR):报告的误报数量与检查的代码行数之比。

覆盖范围

覆盖范围衡量工具识别不同类型缺陷的能力,例如:

*语法错误:拼写错误、语法错误和语义错误。

*逻辑错误:控制流问题、数据类型的错误使用和边界条件错误。

*安全漏洞:缓冲区溢出、SQL注入和跨站点脚本。

*代码风格:缩进、命名约定和编码标准。

易用性

易用性衡量工具与开发人员交互的难易程度,包括:

*简洁的界面:友好且直观的界面,易于浏览和使用。

*集成:与常用集成开发环境(IDE)和版本控制系统的无缝集成。

*文档:全面的文档和教程,帮助开发人员快速上手并有效使用工具。

可定制性

可定制性衡量工具适应特定项目和团队需求的能力,包括:

*规则配置:配置和定制规则集,以适应特定的编码标准和最佳实践。

*插件支持:支持扩展工具功能的插件和集成。

*报告自定义:自定义报告和输出格式,以适应不同的团队需求。

其他考虑因素

除了上述标准外,还需要考虑其他因素,例如:

*支持语言:工具支持的编程语言和框架。

*许可和定价:工具的许可条款和定价模式。

*社区支持:活跃的社区论坛、常见问题解答和技术支持资源。

基准测试方法

基准测试代码检查工具时,使用具有代表性的代码库进行全面测试非常重要。代码库应包含各种复杂性和规模的代码示例,以评估工具的性能。基准测试还应包括手动代码审查,以验证工具发现的缺陷并确保其准确性。

比较不同代码检查工具的基准测试结果可以提供有价值的见解,帮助组织根据其特定需求和资源选择最佳工具。第二部分静态代码分析工具的性能评估静态代码分析工具的性能评估

静态代码分析工具(SCA)对软件质量至关重要。然而,缺乏标准化基准测试框架来评估其性能,这阻碍了SCA工具的有效比较和选择。

#基准测试方法

性能基准测试重点关注以下关键指标:

*误报率(FPR):SCA工具报告的错误或漏洞中,实际上不存在于代码中的百分比。

*漏报率(FNR):SCA工具未检测到的实际错误或漏洞的百分比。

*检测时间:SCA工具扫描给定代码库所需的时间。

理想情况下,SCA工具应具有低误报率和漏报率。然而,在实践中,降低误报率往往会导致漏报率的增加。因此,需要找到一个平衡点,最大限度地提高整体漏洞检测效率。

#基准测试数据集

基准测试数据集是评估SCA工具准确性的关键要素。数据集应代表广泛的软件项目,涵盖各种编程语言、应用程序类型和复杂性级别。

#基准测试框架

用于评估SCA工具性能的常用基准测试框架包括:

*NISTSAMATE:国家标准与技术研究院(NIST)开发的软件分析和测量工具评估。它提供一个标准化数据集和一系列评估指标。

*SEICERTC/C++Benchmark:软件工程研究所(SEI)开发的C/C++语言SCA工具基准。它提供一个数据集和一组度量标准,包括误报率、漏报率和检测时间。

*OWASPBenchmark:开放Web应用程序安全项目(OWASP)开发的Web应用程序SCA工具基准。它提供一个数据集和一组针对Web应用程序的评估指标。

#基准测试结果

基准测试结果因不同的SCA工具和数据集而异。然而,一些一般趋势可以观察到:

*商用SCA工具通常比开源工具具有更低的误报率。

*特定于语言的SCA工具在检测语言特有漏洞方面往往性能更好。

*扫描时间因代码库的大小和复杂性而异。

#局限性

SCA工具基准测试也存在一些局限性:

*受数据集限制:基准测试数据集可能无法代表所有可能的软件项目。

*配置影响:SCA工具的配置可能会影响其性能。

*缺乏标准化:不同基准测试框架使用不同的数据集和指标,这使得比较工具的性能具有挑战性。

#结论

SCA工具基准测试对于评估其准确性和效率至关重要。通过利用标准化基准测试框架和数据集,组织可以比较不同工具的性能并选择最适合其特定需求的工具。然而,重要的是要注意基准测试的局限性,并将其作为更广泛评估过程的一部分。第三部分动态代码分析工具的有效性验证关键词关键要点主题名称:代码覆盖率

1.代码覆盖率度量工具测量执行期间检测到的代码行或语句的百分比。

2.高代码覆盖率表明测试用例能够很好地执行代码的大部分,但无法揭示特定代码路径是否被执行。

3.代码覆盖率对于识别未经测试的代码部分非常有用,但对于评估测试用例的质量还不够。

主题名称:可疑代码区域

动态代码分析工具的有效性验证

动态代码分析工具通过在代码执行期间检查其行为来识别缺陷。它们的有效性验证至关重要,因为错误配置或不准确的工具可能导致假阳性或漏报。

验证方法

有几种方法可以验证动态代码分析工具的有效性:

*真实世界基准测试:使用已知缺陷的真实代码来评估工具检测和报告缺陷的能力。

*注入缺陷基准测试:在无缺陷代码中注入已知缺陷,然后评估工具检测和报告这些插入缺陷的能力。

*渗透测试:将工具与渗透测试人员或红队配合使用,以评估其检测和阻止攻击的能力。

评估标准

验证动态代码分析工具的有效性时应考虑以下标准:

*准确性:工具检测和报告真实缺陷的能力,如真阳性率。

*完整性:工具检测和报告所有真实缺陷的能力,如召回率。

*效率:工具执行分析并报告缺陷所需的时间和资源。

*误报:工具错误检测和报告无缺陷代码中缺陷的能力,如假阳性率。

*配置要求:工具需要进行适当配置才能有效工作的难易程度。

*可维护性:工具在不断更改的代码库中保持有效性和可扩展性的难易程度。

具体研究

对动态代码分析工具有效性的大量研究表明:

*真阳性率:对于真实世界基准测试,真阳性率通常为70-90%。

*召回率:对于真实世界基准测试,召回率通常为50-80%。

*误报率:对于真实世界基准测试,误报率通常为10-30%。

*配置依赖性:有效性可能因工具配置而异,需要仔细调整以实现最佳结果。

*可维护性:随着代码库的更改,持续维护和调整工具可能具有挑战性。

最佳实践

为了有效验证动态代码分析工具,应遵循以下最佳实践:

*使用涵盖各种缺陷类型的全面基准测试。

*评估工具在不同条件下的性能,例如代码大小、复杂性和语言。

*考虑工具的误报率和可维护性。

*根据特定项目的需要定制工具配置。

*持续监控工具的有效性,并根据需要进行调整。

结论

对动态代码分析工具的有效性验证对于确保其能准确可靠地检测和报告缺陷至关重要。通过遵循最佳实践并考虑评估标准,组织可以验证工具的性能并优化其使用以提高软件安全性。第四部分基准测试数据集的选择和设计基准测试数据集的选择和设计

数据集大小

基准测试数据集的大小应足以代表实际生产代码。通常,较大的数据集可提供更具代表性的结果,但也会增加基准测试的时间成本。

数据集复杂度

数据集应包括各种代码复杂度级别,从简单的函数到复杂的面向对象模块。这将确保基准测试工具能够处理各种代码风格和结构。

数据集多样性

数据集应包含各种编程语言、框架和库的代码。这将评估基准测试工具跨不同技术栈的性能。

数据集真实性

数据集中的代码应真实且代表实际生产环境中发现的代码。避免使用合成或理想化的代码,因为这可能会产生误导性结果。

数据集设计

代码覆盖率

数据集应设计为涵盖一系列代码结构和逻辑流。这意味着应该包括测试所有分支、循环和异常处理的代码。

错误注入

可向数据集中注入已知的错误,以评估基准测试工具检测和报告错误的能力。这些错误可以包括编译时错误、运行时错误和逻辑错误。

可重复性

基准测试数据集应确保可重复的结果。这可以通过使用种子值或其他机制来控制代码生成和错误注入来实现。

基准测试指标

检测能力

基准测试工具应评估其检测错误的能力。这包括正确识别错误和最小化误报。

报告能力

基准测试工具应提供清晰易懂的错误报告。这应包括错误的类型、位置和可能的原因。

性能

基准测试工具应评估其性能,包括代码扫描时间、内存使用和资源消耗。

易用性

基准测试工具应易于使用和配置。这包括安装、设置和生成报告的方便性。

集成

基准测试工具应与现有开发工具和工作流集成。这包括与版本控制系统、构建工具和问题跟踪器的集成。

基准测试流程

1.准备数据集:

-收集和组织代码样例。

-注入已知错误。

-确保数据集的可重复性。

2.设置基准测试工具:

-安装和配置基准测试工具。

-优化工具设置以获得最佳性能。

3.运行基准测试:

-在数据集上运行基准测试工具。

-记录工具的检测能力、报告能力、性能和易用性。

4.分析结果:

-评估基准测试工具的总体表现。

-确定工具的优势和劣势。

-考虑对工具进行改进或调整。

5.持续改进:

-定期更新基准测试数据集以反映代码开发实践的变化。

-尝试新版本或替代基准测试工具以评估进步。第五部分测试用例的覆盖率和准确性测试用例的覆盖率和准确性

覆盖率

覆盖率衡量了代码检查工具识别真实缺陷的能力。它表示为实际缺陷数量与工具检测到的缺陷数量之比。

*语句覆盖率:工具执行了代码中的所有语句。

*分支覆盖率:工具执行了代码中所有可能的路径和分支。

*路径覆盖率:工具执行了代码中所有可能执行路径。

准确性

准确性衡量了代码检查工具避免发出错误报警的能力。它表示为检测到的缺陷中实际缺陷的数量与错误报警的数量之比。

基准测试指标

为了评估代码检查工具的覆盖率和准确性,使用了以下基准测试指标:

*TruePositive(TP):工具正确识别为缺陷的实际缺陷。

*FalsePositive(FP):工具错误识别为缺陷的代码。

*FalseNegative(FN):工具未识别为缺陷的实际缺陷。

*覆盖率:TP/(TP+FN)

*准确性:TP/(TP+FP)

基准测试方法

为了评估代码检查工具的覆盖率和准确性,遵循了以下基准测试方法:

1.收集一组包含真实缺陷和正确代码的代码样本。

2.使用代码检查工具分析代码样本。

3.手动检查工具检测到的缺陷,并将其分类为TP、FP或FN。

4.计算覆盖率和准确性指标。

评估结果

代码检查工具的覆盖率和准确性因工具而异。一般而言,覆盖率越高越好,表明工具能够检测到更多缺陷。同样,准确性越高越好,表明工具发出错误报警的风险较低。

影响因素

代码检查工具的覆盖率和准确性受以下因素影响:

*工具算法:不同工具使用不同的算法来检测缺陷。

*代码复杂性:复杂代码可能对工具检测缺陷构成挑战。

*测试用例质量:精心编写的测试用例可以提高覆盖率和准确性。

结论

覆盖率和准确性是评估代码检查工具有效性的关键指标。通过仔细基准测试这些指标,开发人员可以选择最适合其特定需求的工具。高覆盖率和高准确度的工具可以显著提高缺陷检测的有效性,从而提高代码质量。第六部分误报和漏报率的分析关键词关键要点【误报率的分析】:

1.误报率的定义和计算:误报率是指代码检查工具将无缺陷的代码标记为有缺陷的比率。它通常通过将工具报告的缺陷数量与实际无缺陷的代码行数之比来计算。

2.影响误报率的因素:影响误报率的因素包括工具的复杂性、特定语言和检查规则的特性以及开发人员的编码风格。

3.误报率的趋势:近年来,代码检查工具的误报率已通过改进算法和使用机器学习技术而显著降低。

【漏报率的分析】:

误报和漏报率的分析

代码检查工具评估中的一个关键指标是误报率,即工具识别为缺陷的代码实例中没有实际缺陷的比例。高误报率会浪费开发人员的时间,并可能导致对真实缺陷的忽视。

漏报率是指工具未能识别实际存在的缺陷的比例。高漏报率会使开发人员面临风险,因为他们无法修复未被发现的缺陷。

为了评估误报率和漏报率,可以采用以下方法:

手动审查

手动审查是验证代码检查工具准确性的最可靠方法。它涉及人工审查工具报告的缺陷,以及确定是否存在实际缺陷。这种方法可以提供高精度的结果,但非常耗时。

缺陷注入

缺陷注入是一种向代码中引入已知缺陷的技术,然后使用代码检查工具检测这些缺陷。通过比较工具识别的缺陷与注入的缺陷,可以计算误报率和漏报率。缺陷注入依赖于缺陷模型的准确性。

覆盖率分析

覆盖率分析通过测量代码检查工具检测缺陷的程度来评估其准确性。通过将工具识别的缺陷与实际缺陷进行比较,可以计算覆盖率。低覆盖率可能表明工具存在漏报问题。

误报率分析

误报率分析涉及评估代码检查工具报告的缺陷与实际缺陷之间的差异。可以按严重性、类别或其他标准对误报进行分类,以了解工具的弱点。

漏报率分析

漏报率分析涉及评估代码检查工具未能报告的实际缺陷。可以将未报告的缺陷与已知的缺陷进行比较,以识别工具的盲区。

数据分析

数据分析在错误和漏报率评估中至关重要。收集到的数据可以用于计算误报率和漏报率,并识别工具性能的趋势和模式。

结果解释

在解释结果时,考虑以下因素很重要:

*缺陷模型的准确性:缺陷注入方法的可靠性依赖于缺陷模型的准确性。

*代码覆盖率:覆盖率分析仅衡量工具检测缺陷的程度,而不衡量其准确性。

*误报分类:误报率分析可以提供对工具弱点的高级视图,但重要的是深入了解误报的性质。

*漏报分类:漏报率分析可以识别工具的盲区,但重要的是确定漏报类型及其影响。

基准测试报告

基准测试报告应包含以下信息:

*评估方法:用于评估代码检查工具准确性的方法。

*数据集:用于评估工具的代码集合。

*结果:误报率和漏报率的计算。

*分析:对结果的解释,包括识别的趋势和模式。

*限制:评估的任何限制或局限性。第七部分资源消耗(如时间和内存)评估关键词关键要点资源消耗评估

1.基准测试的目的:评估代码检查工具的资源消耗,包括执行时间、内存占用和网络开销,以确定工具的效率和适用性。

2.评测指标:常用指标包括执行时间(毫秒或秒)、内存使用(兆字节或吉字节)和网络消耗(字节或兆字节)。

3.影响因素:资源消耗受代码检查工具的底层算法、代码复杂度和计算环境的影响。

执行时间

1.重要性:执行时间是衡量代码检查工具效率的关键指标,影响开发人员的工作流和代码审查过程的整体吞吐量。

2.算法优化:利用并行处理、缓存和增量分析等算法优化技术可以显着减少执行时间。

3.趋势:随着云计算和分布式系统的发展,对快速高效的代码检查工具的需求不断增长,推动了执行时间优化研究的前沿。

内存占用

1.影响因素:内存占用受代码复杂度、检查规则数量和工具的内部数据结构的影响。

2.内存管理:有效的内存管理策略,如垃圾回收和内存池,对于优化内存占用至关重要。

3.趋势:随着代码检查工具变得越来越复杂,优化内存占用以避免内存溢出和性能下降变得越来越重要。

网络开销

1.远程分析:当代码检查工具需要访问远程存储库或云平台时,网络开销变得尤为重要。

2.优化策略:优化网络开销的策略包括缓存、批量请求和使用高效的网络协议。

3.趋势:随着分布式开发和云协作的兴起,针对网络开销优化的代码检查工具日益受到重视。资源消耗评估

简介

资源消耗评估是基准测试代码检查工具的关键方面之一,因为效率对于开发过程至关重要。资源消耗评估可以帮助确定工具的性能,包括处理大型代码库所需的时间和内存。

时间测量

时间测量涉及测量工具分析代码库所需的时间。这对于评估不同工具之间的相对效率非常重要,并有助于确定工具是否适合特定的开发环境。通常,报告以下时间测量指标:

*分析时间:整个代码库的分析所需时间。

*平均分析文件时间:分析单个文件的平均时间。

*最慢文件分析时间:分析最慢文件的所需时间。

内存消耗

内存消耗测量工具在分析过程中消耗的内存量。这对于确定工具是否适用于内存受限的环境非常重要。通常,报告以下内存消耗指标:

*峰值内存使用量:分析过程中消耗的最大内存量。

*平均内存使用量:整个分析过程中的平均内存使用量。

*内存泄漏:分析过程结束时未释放的内存量。

评估方法

资源消耗评估通常采用以下方法进行:

*合成基准:使用具有已知特征和复杂度的合成代码库。这可以提供可控且可重复的结果。

*真实世界基准:使用真实世界的代码库。这可以提供更现实的结果,但可能存在可变性和不可重复性。

评估指标

评估资源消耗时需要考虑以下指标:

*可扩展性:工具是否能够处理大型代码库而不出现显著性能下降。

*效率:工具分析代码库的速度和内存效率。

*稳定性:工具在内存消耗和分析时间方面的稳定性。

*可预测性:工具资源消耗的可预测性,这对于规划和管理开发过程至关重要。

数据结果

基准测试结果通常以图表和表格的形式呈现,显示不同工具的资源消耗测量。这些结果可以帮助开发人员根据特定需求选择最合适的代码检查工具。

结论

资源消耗评估是代码检查工具基准测试的重要组成部分。通过测量时间和内存消耗,开发人员可以评估工具的性能和效率,以便在开发环境中做出明智的决策。第八部分工具之间的可扩展性和兼容性关键词关键要点代码检查工具的可扩展性和兼容性

1.工具的可移植性:

-代码检查工具应能够轻松部署和集成到各种开发环境中。

-跨平台兼容性至关重要,确保工具可在不同的操作系统和硬件配置上运行。

2.与持续集成和部署(CI/CD)管道集成:

-代码检查工具应无缝地集成到CI/CD管道中,以便在开发周期中自动化代码检查过程。

-与流行的CI/CD工具(如Jenkins、CircleCI)的兼容性至关重要,确保平滑的集成。

3.扩展性:

-工具应允许用户创建自定义规则和检查,以满足特定项目或行业要求。

-可扩展性确保工具可以随着项目和业务需求的变化而发展。

代码检查工具的兼容性

1.与流行的编程语言和技术栈的兼容性:

-代码检查工具应支持广泛的编程语言和技术栈,包括Java、Python、C++和JavaScript。

-兼容性确保工具可以与各种项目一起使用,提供全面的代码质量分析。

2.与代码存储库的集成:

-代码检查工具应与流行的代码存储库(如GitHub、GitLab)集成,以无缝地扫描代码更改。

-集成允许自动触发代码检查,并根据更改提供实时的反馈。

3.与IDE和编辑器的集成:

-代码检查工具应集成到开发者使用的IDE和编辑器中,以便在开发过程中提供即时的代码反馈。

-集成有助于识别和解决问题,提高开发效率和代码质量。工具之间的可扩展性和兼容性

可扩展性

可扩展性是指代码检查工具处理大规模项目的效能;处理大文件和庞大代码库的能力。可扩展性可通过以下指标来衡量:

*支持的文件大小:工具支持的最大文件大小,单位为MB或GB。

*代码库规模:工具有效处理的代码库行数或项目大小。

*处理器性能:工具扫描大型项目时所需的CPU和内存资源。

*并行处理:工具利用并行处理技术的能力,可提高对大项目的扫描速度。

兼容性

兼容性是指代码检查工具与开发环境、集成开发环境(IDE)和持续集成(CI)工具集成的能力。兼容性可通过以下指标来评估:

*支持的编程语言:工具支持的编程语言和版本。

*IDE集成:工具与常见IDE(如VisualStudio、Eclipse、IntelliJIDEA)的集成级别。

*CI工具集成:工具与主流CI工具(如Jenkins、Bamboo、CircleCI)的集成能力。

*第三方集成:工具是否提供与其他代码分析工具或错误跟踪系统的集成。

具体工具评估

下表比较了市面上一些领先的代码检查工具的可扩展性和兼容性:

|工具|可支持的最大文件大小|可处理的最大代码库规模|处理器性能(CPU和内存)|并行处理|支持的编程语言|IDE集成|CI工具集成|第三方集成|

||||||||||

|SonarQube|256MB|10M行|高|是|Java、C#、Python、JavaScript|是|是|是|

|CodeClimate|100MB|5M行|中|否|Ruby、JavaScript、Java、PHP|是|是|是|

|Codacy|1GB|20M行|高|是|Java、C#、Python、JavaScript|是|是|是|

|Checkmarx|100MB|10M行|中|否|Java、C#、Python、JavaScript|是|是|是|

|Klocwork|2GB|100M行|低|否|C、C++、Java、Ada|是|否|否|

结论

代码检查工具的可扩展性和兼容性对于企业在选择工具时至关重要。根据项目的规模和技术栈,需要考虑以下因素:

*确保工具支持的文件大小和代码库规模足以满足当前和未来的需求。

*评估工具的处理器性能,以确保扫描不会成为瓶颈。

*寻找支持组织开发环境和CI工具的兼容工具,以实现无缝集成。

*考虑第三方集成,以扩展工具功能并与其他错误跟踪或分析系统连接。关键词关键要点主题名称:性能评估的指标

关键要点:

-执行时间:度量工具执行分析所需的时间,对于大型代码库至关重要。

-内存消耗:评估工具对系统内存的消耗,以避免内存不足和性能下降。

-准确率:测量工具检测缺陷的能力,包括真实缺陷的检测率和误报率。

-覆盖率:衡量工具分析代码库的范围,以确保代码的全面检查。

主题名称:不同工具的比较

关键要点:

-工具功能:比较不同工具支持的特性和功能,例如语法检查、缺陷检测和代码度量。

-用户界面和可用性:评估工具的用户友好性、直观性和易用性。

-集成和可扩展性:审查工具与其他开发工具和平台的集成和可扩展性能力。

-支持和文档:评估工具提供商提供的支持和文档的质量和可用性。

主题名称:基准测试方法

关键要点:

-基准数据集的选择:选择代表性代码库,反映真实世界应用程序的复杂性和规模。

-测试场景设计:制定明确的测试场景,覆盖常见的代码缺陷和分析目标。

-自动化和可重复性:利用自动化脚本和测试框架来确保基准测试的客观性和可重复性。

-结果分析和解释:

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论