当前位置:软服之家 > 软件分类 > 程序设计与开发
程序设计与开发

程序设计与开发

程序设计是给出解决特定问题程序的过程,是软件构造活动中的重要组成部分。程序设计往往以某种程序设计语言为工具,给出这种语言下的程序。程序设计过程应当包括分析、设计、编码、测试、排错等不同阶段。程序开发是指软件项目的开发,如市场调查,需求分析,可研分析,初步设计,详细设计,形成文档,建立初步模型,编写详细代码,测试修改,发布等。

程序设计与开发软件
Coverity 是一款精确的综合静态分析与应用安全测试 (SAST) 平台,它可以在编写代码时发现关键的缺陷和安全缺陷,防止它们变成安全漏洞、故障或维护缺陷。
Defensics 是新一代的安全测试平台,帮助开发人员和技术用户迅速、可靠且高效地找到并纠正各种危险的错误和缺陷。通过主动将未知因素纳入整体视图之中,Defensics 可以设定标准,以此支持出色的漏洞管理。Defensics 的核心技术
早期设计分析工具可实现 SoC 设计的高效验证和优化
从开发到部署期间提供安全保障和管理开源。Black Duck 提供全面的软件组件分析 (SCA) 解决方案,用于管理在应用程序和Docker中使用开源和第三方代码所带来的安全、质量和许可证合规性风险。Black Duck 为您提供无与伦比的
Protecode Enterprise第三方代码检测工具是一款综合的软件组成分析 (SCA) 解决方案,它有助于安全无误地使用产品中的第三方代码。在开发和测试流程或法律合规部门中充分利用 Protecode Enterprise ,可以管
VisSim是用于模拟嵌入式系统的动力系统和基于模型的设计的视觉框图语言。它是由马萨诸塞州Westford的Visual Solutions开发的视觉解决方案,由Altair于2015年8月被收购,其产品已被重新定义为solidThinki
Altair Embed 是一款成熟的工具,可从框图模型自动生成代码并将其传输到通用控制器硬件来开发嵌入式系统。基于系统关系图创建工作仿真后,用户即可对硬件控制器自动生成相关代码,并通过硬件在环 (HIL) 轻松测试设计。
软件安全签收验证测试工具,软件质量安全签收验证测试工具,Protecode Supply Chain(Appcheck) 是一款全面的软件组成分析 (SCA) 解决方案,能够管理复杂软件供应链的风险。在采购和运营期间使用 Protecode
璞华易构低代码开发平台,匠心十年的结晶,一款基于WEB操作、柔性设计、极速共享的综合性业务系统构建平台,无需编程基础,少量代码可快速搭建应用,提供数字化企业级业务流程管理能力,快速交付业务所需的工作流应用,精准定义流程规则,实现端到端的系统
TASKING® SmartCode是用于英飞凌下一代AURIX™ TC4x微控制器家族的开发解决方案。SmartCode产生快速并且紧凑的代码,是唯一全面支持TC4x全部架构和内核的软件开发平台。英飞凌AURIXTM提供了实现ECU所需的
产品特点 比肩IBM MQ的国产消息中间件 支持多种开发接口 提供了C、C++、JAVA等主流语言的开发接口,并且对JMS1.1提供了更好的支持。在Windows平台上,还支持各种可视化开发工具,如PowerBuilder、Vis
Keil®MDK是基于ARM®的微控制器的最全面的软件开发解决方案。包括您需要创建,构建所有的组件以及调试嵌入式应用。
  PC-lint Plus是一种静态分析工具,通过分析C和C ++源代码来发现软件中的缺陷。与编译器一样,PC-lint Plus会解析源代码文件,执行语义分析,并构建一个抽象语法树来表示程序。PC-lint Plus采用各种机制,包括数
LabVIEW​简化​了​硬件​集成,​使​您​能够​快速​采集​和​可​视​化​几乎​任何​I/​O​设备​(无论​是​NI​还是​第三​方)​的​数据​集。​LabVIEW 2017​采用​图形​化​编​程​语法,​可​缩短​编​程​时
  通过TIA Portal ,可以不受限制地访问西门子的完整数字化服务系列:从数字化规划和一体化工程到透明的运行。 新版本通过仿真工具等来缩短产品上市时间,通过附加诊断及能源管理功能提高工厂生产力,并通过连接到管理层来提供更大灵活性。新的
Helix QAC是Perforce公司(原PRQA 公司)产品,主要用于C/C++ 代码的自动化静态分析工作,可以提供编码规则以及信息安全相关检查、代码质量度量、软件结构分析、测试结果管理等功能。Helix QAC 能够发现软件中潜在的
针对汽车电子电气系统复杂的开发过程,PREEvision提供给用户一个完整的协同开发平台,支持从电子电气架构设计到产品系列开发的全过程。 PREEvision是一个基于模型的电子电气系统设计以及评估优化的开发工具。能够用作电子电气架构
强大的 DevSecOps 精确定位应用程序漏洞,从而在开发生命周期的每个阶段进行快速补救。HCL AppScan 提供一流的应用程序安全测试工具,以确保您的业务和客户不会受到攻击。
Micro Focus® LoadRunner 是一款行业标准性能工程软件。生成真实负载。确定并诊断问题。放心地进行部署。
Axure RP作为一个专业的快速原型设计工具,它可以让设计师们利用需求,设计功能和界面来快速的创建应用软件的线框图、流程图、原型和规格说明文档,并且同时支持多人协作和版本控制管理。
程序设计与开发软件顾问
<
>