自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(260)
  • 收藏
  • 关注

原创 渗透测试神器Burp Suite v2025.11更新,发布命令面板、重置内存管理

渗透测试工具Burp Suite推出v2025.11,新版本引入命令面板、更直观的内存管理入口、对自定义扫描中 OAST/Collaborator 的全面支持,并同步更新 Intruder Payload 列表以及多项安全与体验优化。

2025-11-24 10:11:03 438

原创 Visual Paradigm UML建模:用例图、类图与序列图的创建与运用

在软件开发生命周期中,清晰、标准化的可视化建模是确保团队成员间高效协作、精准传递需求与设计意图的关键。Visual Paradigm作为一款功能强大的统一建模平台,为UML提供了全面的支持,使企业能够构建从需求分析到系统设计的可追溯模型体系。

2025-11-21 15:03:57 669

原创 软件测试工具Parasoft如何解决结构体中包含零大小数组时的静态分析错误

在嵌入式系统开发中,C/C++开发团队经常面临确保代码质量、可靠性和安全性的挑战,特别是在处理非标准语言特性时。Parasoft C/C++test作为一款自动化代码测试工具,支持编码策略实施、静态分析、单元和组件测试以及运行时错误检测,为团队提供了一条确保代码按预期运行的实用途径。

2025-11-21 15:01:16 426

原创 通过Enterprise Architect如何进行领域特定语言定制与建模

Sparx Systems Enterprise Architect作为一款功能强大的UML建模平台,其高级功能允许团队为特定行业或领域创建定制化的建模语言(Domain-Specific Language, DSL),从而实现更精准、更高效的业务与IT对齐。通过扩展标准UML,Enterprise Architect帮助企业构建贴合自身需求的建模解决方案,确保模型语义丰富且能在团队间无缝协作。

2025-11-20 15:03:01 962

原创 自动化测试工具Parasoft在keil中如何解决C99规则的结构体变量指定初始化报错

在嵌入式C语言开发领域,尤其是在遵循MISRA C、CERT C等严格编码标准的项目中,静态代码分析是保证软件质量、可靠性与安全性的关键环节。Parasoft C/C++test作为一款用于C/C++语言的自动化软件测试工具,在执行静态分析时,其内置的解析器会严格检查代码。

2025-11-20 14:57:03 401

原创 建模平台Visual Paradigm基于TOGAF和ArchiMate如何实现企业架构治理

Visual Paradigm作为一款功能强大的统一建模平台,通过深度集成TOGAF框架与ArchiMate建模语言,为企业提供了系统化、可视化的架构治理解决方案。它不仅支持架构的全生命周期管理,还通过自动化工具链确保治理过程的可追溯性和一致性,帮助企业构建符合业务战略目标的可控架构体系。

2025-11-19 14:46:55 587

原创 软件测试工具Parasoft C/C++test如何为模板函数、模板类实现打桩

Parasoft C/C++test作为一款自动化测试工具,能够帮助团队系统化地提升代码质量。然而,C++的模板编程特性,如其隐式实例化机制,常导致模板函数和模板类的内部逻辑难以被传统测试方法有效覆盖,给全面质量验证带来独特挑战。接下来将会详细阐述在Parasoft C/C++test中通过显式实例化或条件编译等策略,为模板代码生成桩函数,从而精确控制测试路径,提升测试覆盖率。

2025-11-19 14:42:58 283

原创 企业级建模平台Enterprise Architect:资源库的规划、维护与优化

Sparx Systems Enterprise Architect作为基于UML的综合性建模平台,已成为企业架构师和系统分析师不可或缺的专业工具。其核心组件——资源库,不仅是存储模型的简单容器,更是企业级项目成功的关键基石。一个精心规划和维护的资源库能够有效支撑团队协作、确保模型一致性,并为大型项目的知识管理提供可靠保障。

2025-11-18 14:49:08 805

原创 自动化测试工具Parasoft C/C++test如何在cpptestcli命令行中过滤文件

Parasoft C/C++test作为一款功能强大的自动化测试工具,为C/C++语言提供了从静态分析到单元测试、再到运行时错误检测的全方位质量保障方案。其命令行接口cpptestcli更是实现了与持续集成(CI)系统的无缝对接,允许开发团队在构建流水线中自动执行代码质量检查。

2025-11-18 14:43:47 777

原创 基于UML的精准需求管理:Visual Paradigm需求追踪与用例分析解决方案

在软件开发过程中,需求管理是项目成功的核心要素。面对需求频繁变更、团队成员理解不一致以及需求与实现之间可追溯性差等常见挑战,如何确保项目在规定时间和预算内交付真正符合客户期望的产品,成为开发团队必须解决的难题。

2025-11-17 14:17:10 798

原创 自动化测试工具Parasoft如何在Cygwin环境下生成完整的bdf文件

Parasoft C/C++test是一款用于自动化执行C/C++代码测试的集成解决方案,它支持静态分析、单元测试以及运行时错误检测等多种最佳实践,帮助开发团队提升软件质量与开发效率。在实际使用中,尤其是在构建过程的跟踪与分析环节,工程师们有时会借助cpptesttrace这类工具来捕获构建信息并生成对应的BDF(Build Data File)文件,以供后续的测试与扫描。

2025-11-17 14:12:10 419

原创 API性能测试必看,起底5种负载测试的策略和原理

在API的全生命周期管理中,负载测试通过不同场景的模拟,帮助团队发现潜在瓶颈。本文将介绍五种常见的负载测试策略——基线测试、压力测试、浸泡测试、峰值测试与尖峰测试,并结合专业工具的使用方式,展示如何高效验证API的性能极限。

2025-11-17 11:21:06 544

原创 UML建模工具Enterprise Architect在DevOps中如何实现架构模型同步

Sparx Systems Enterprise Architect(EA)作为一款基于UML的综合性建模平台,通过其深度集成能力,将架构治理融入持续交付管道,确保了在快速迭代中架构与实施的一致性,为敏捷与严谨的平衡提供了关键支撑。

2025-11-14 15:00:46 506

原创 自动化测试工具Parasoft C/C++test如何导入IAR项目

在嵌入式软件开发中,集成专业的自动化测试工具对于提升代码质量和验证效率至关重要。Parasoft C/C++test作为一款支持多种编译环境的测试平台,能够通过构建数据文件(BDF)方式无缝导入第三方工程,实现对嵌入式项目的静态分析、单元测试及覆盖率验证。

2025-11-14 14:54:12 833

原创 Visual Paradigm作为统一建模平台在软件开发生命周期中的核心作用

Visual Paradigm作为一款功能强大的统一建模平台,它通过可视化的建模工具和自动化引擎,为软件开发生命周期的各个阶段提供了无缝衔接的支持,确保了项目从概念到交付的一致性与可追溯性。

2025-11-13 16:12:53 830

原创 Parasoft C/C++test如何对抽象类的成员函数做单元测试

Parasoft C/C++test作为一款专业的自动化测试工具,广泛用于C/C++语言的静态分析、单元测试及覆盖率验证。然而,在实际测试过程中,抽象类因包含纯虚函数而无法直接实例化,导致其成员函数的自动化测试面临挑战。

2025-11-13 16:05:03 351

原创 如何使用Enterprise Architect和SysML进行复杂嵌入式系统建模

面对异构设备集成、实时数据处理、系统可靠性及安全保障等挑战,传统的设计方法已难以应对。Sparx Systems Enterprise Architect作为一款基于UML的综合性建模平台,为物联网系统设计提供了完整的解决方案,支持从需求分析、系统设计到代码生成和测试的全生命周期管理。

2025-11-11 14:57:23 742

原创 Parasoft C/C++test单元测试如何发现内存泄漏问题

Parasoft C/C++test提供了一套完整的解决方案,帮助开发团队执行静态代码分析、单元测试、运行时错误检测等多项质量保障活动。通过深度插桩与动态监控能力,C/C++test能够精准捕捉代码中的内存泄露、资源未释放等运行时缺陷。

2025-11-11 14:53:52 370

原创 嵌入式AI如何安全的在汽车电子系统中落地

汽车嵌入式AI研发面临硬件限制、安全合规和复杂场景等挑战。成功落地需遵循五步策略:明确解决实际问题的AI用例,进行软硬件协同优化,确保高质量数据采集与管理,实施全面验证确认流程,并建立部署后的持续监控改进机制。关键要平衡技术创新与安全合规,满足ISO26262等严苛标准。专业合作伙伴如Parasoft可提供嵌入式验证工具,助力实现安全可控的汽车AI系统全生命周期管理。

2025-11-11 09:47:15 783

原创 UML建模工具Enterprise Architect如何实现从业务逻辑到自动化代码的转变

模型驱动工程(MDE)作为一种以模型为核心的软件开发范式,通过提升抽象级别和自动化代码生成,为应对这些挑战提供了系统化的解决方案。Sparx Systems Enterprise Architect作为基于UML的综合性建模平台,为企业实施MDE提供了完整的技术支撑,实现了从业务需求到可执行代码的自动化转换,显著提升了软件开发的质量和效率。

2025-11-10 14:29:18 831

原创 软件测试工具Parasoft C/C++test如何通过桩函数实现多次调用返回不同值

在实际测试过程中,经常会遇到一个函数多次调用另一个依赖函数,并且需要根据不同的调用顺序返回不同结果的情况。Parasoft C/C++test 作为一款专业的自动化测试工具能够通过桩函数实现多次调用返回不同值,从而完成对复杂逻辑的充分测试。

2025-11-10 14:22:35 837

原创 UML建模工具Enterprise Architect如何建立和执行架构标准和规范

Sparx Systems Enterprise Architect作为一款基于UML的综合性建模平台,为企业提供了强大的能力,用以定义、传播和执行架构治理框架与标准,从而在整个组织范围内维护架构的一致性与合规性。

2025-11-07 13:16:26 781

原创 Parasoft C/C++test如何使用桩函数替代MFC窗口类顺利执行单元测试

Parasoft C/C++test作为专业的软件测试工具,致力于帮助开发团队高效实施自动化测试,通过其强大的桩函数功能,能够有效模拟依赖组件的行为,从而实现对复杂逻辑的隔离测试。

2025-11-07 13:12:54 410

原创 【干货拆解】软件测试+AI在嵌入式项目中的应用

摘要:AI/ML技术在嵌入式系统应用中面临硬件资源受限、安全合规等核心挑战。Parasoft通过模型优化(剪枝/冻结)、对抗训练和可解释AI三大技术策略,结合其智能测试平台(如C/C++Test),为自动驾驶等安全关键系统提供解决方案:在保持精度的前提下压缩模型规模(NASA案例实现30%性能提升),通过冻结机制确保行为确定性(特斯拉案例),并利用自动化测试工具满足ISO26262等合规要求。该方案通过AI赋能的静态分析和测试用例生成,显著提升开发效率与系统可靠性。(149字)

2025-11-06 10:41:00 755

原创 基于企业级建模平台Enterprise Architect的云地融合架构设计

Sparx Systems Enterprise Architect作为基于UML的统一建模平台,通过全面的架构设计工具集,支持架构师从战略规划到技术落地的全过程,帮助企业在云地融合的复杂环境中构建可持续演进的技术基础。

2025-11-05 14:20:49 593

原创 Parasoft C/C++test如何解决在VC6环境中单元测试的LNK2005错误

Parasoft C/C++test是一款专为C/C++代码设计的自动化测试工具,通过静态代码分析、单元测试和运行时错误检测等功能,帮助开发团队在早期发现并修复缺陷,提升代码质量和开发效率 。在实际使用中,尤其是在VC6此类旧版开发环境中执行单元测试时,可能会因环境兼容性问题触发链接错误。

2025-11-05 14:15:48 559

原创 全生命周期建模平台Enterprise Architect如何支持大型项目管理

Sparx Systems Enterprise Architect作为一款领先的UML全生命周期建模平台,通过提供统一的建模环境和贯穿从概念到退役的完整工具链,为大型项目提供了至关重要的战略支撑。

2025-11-04 14:23:04 778

原创 Parasoft C/C++test中Trace32调试器的配置与单元测试执行

Parasoft C/C++test作为专业的C/C++测试工具,能够与劳特巴赫Trace32调试器深度集成。下面会详细介绍如何在C++test中配置Trace32调试器,实现对PowerPC架构程序的单元测试,涵盖环境设置、项目导入到测试执行的全过程。

2025-11-04 14:19:49 896

原创 AI智能体在API测试中的应用:数据处理&无代码技术

Parasoft推出基于AI智能体的解决方案,通过自然语言交互简化测试流程:AI将业务需求自动转换为API测试用例,智能处理动态数据依赖,实现复杂场景的无代码测试。

2025-11-04 10:20:16 790

原创 UML建模工具Enterprise Architect如何通过威胁建模保障系统安全

在当今高度数字化的环境中,系统安全已成为软件开发不可或缺的一环。Sparx Systems Enterprise Architect作为一款基于UML的统一建模平台,通过内置的威胁建模和风险分析功能,帮助团队在系统设计阶段主动识别和缓解潜在安全威胁,为构建安全可靠的软件系统提供了坚实基础。

2025-11-03 14:23:28 681

原创 Parasoft C/C++test如何在CCS3环境下进行F2812项目的单元测试

Parasoft C/C++test作为一款功能强大的自动化测试工具,为嵌入式开发提供了全面的测试解决方案。特别是在CCS开发环境中,C++test能够无缝集成,为F2812等DSP项目提供专业的单元测试支持。下面将介绍如何在CCS3环境下配置和使用C++test进行F2812项目的单元测试。

2025-11-03 14:20:25 522

原创 数据驱动的架构设计:通过Enterprise Architect实现基于UML的架构治理

Sparx Systems Enterprise Architect作为一款支持全生命周期的建模平台,通过其内置的数据分析和报告功能,为这一转变提供了关键技术支撑,帮助团队基于UML模型本身及其关联数据做出更客观的架构决策。

2025-10-31 14:23:37 645

原创 Parasoft C/C++test如何在ARM DS-5环境中进行测试(下)

在嵌入式开发中,尤其是基于ARM架构的安全关键领域,单元测试是验证代码在目标硬件上运行时行为正确性的关键环节,对于保障最终产品的可靠性至关重要。下面将介绍如何利用Parasoft C/C++test开展单元测试,包括配置、执行及解决可能遇到的许可证问题,完成从静态检查到动态运行的完整测试闭环。

2025-10-31 14:18:56 278

原创 建模工具Enterprise Architect:敏捷开发中的架构治理与迭代适配

Sparx Systems Enterprise Architect作为全生命周期UML建模平台,通过UML可视化建模和架构治理功能,为敏捷团队提供了有效的解决方案。EA基于UML标准确保了系统架构的清晰性与一致性,又支持迭代开发所需的适应能力,在敏捷项目中发挥着关键的架构稳定性作用。

2025-10-30 14:04:48 594

原创 Parasoft C/C++test如何在ARM DS-5环境中进行测试(上)

Parasoft C/C++test作为一款强大的自动化代码测试工具,集成了静态分析、单元测试等多种测试技术,能够帮助开发者在开发早期持续地发现代码中的缺陷与漏洞。下面将聚焦于如何将Parasoft C/C++test无缝集成到ARM DS-5这一专业的开发环境中,并详细说明从环境搭建到成功执行静态分析的完整流程,为构建高可信度的ARM嵌入式软件奠定坚实基础。

2025-10-30 14:02:07 899

原创 企业级建模平台Enterprise Architect如何自动化生成报告

在现代软件开发与系统工程项目中,规范化的项目文档是确保项目质量、促进团队协作和满足合规要求的重要保障。Sparx Systems Enterprise Architect作为一款基于UML标准的全生命周期建模平台,其内置的报告生成器功能通过自动化的文档生成流程,帮助企业快速创建符合行业标准的高质量项目文档。

2025-10-29 14:37:59 495

原创 Parasoft C/C++test 命令行运行测试:静态分析的构建、执行与报告

在自动化开发流程中,集成静态代码分析对保障代码质量至关重要。Parasoft C/C++test 的命令行工具为持续集成提供了强大支持。下面将说明如何使用 cpptesttrace 和 cpptestcli 这两个核心工具,完成从项目构建到静态分析的全流程。

2025-10-29 14:32:33 775

原创 UI设计工具Sketch为相机应用Obscura Studio打造流畅开发体验

Sketch如何帮助独立开发者高效实现产品视觉一致性、提升设计交付效率,并在快速迭代中保持优秀的用户体验。

2025-10-29 11:09:42 909

原创 UML建模平台Enterprise Architect通过协作功能提升大型团队开发效率

Sparx Systems Enterprise Architect作为一款基于UML标准的专业建模平台,通过其强大的团队协作功能,为分布式开发团队提供了统一的工作环境和标准化的协作流程

2025-10-28 14:25:00 824

原创 自动化测试工具Parasoft C/C++test如何进行静态分析文件过滤配置

开发团队通常需要对分析范围进行精确界定。例如,第三方库文件、自动生成的代码或平台特定的实现文件,往往不需要纳入分析范围。Parasoft C/C++test提供的资源过滤机制,正是为了解决测试资源合理分配问题而设计的范围管理工具。

2025-10-28 14:18:45 275

空空如也

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除