當前位置:軟服之家 > 軟件分類 > 程序設計與開發
程序設計與開發

程序設計與開發

程序設計是給出解決特定問題程序的過程,是軟件構造活動中的重要組成部分。程序設計往往以某種程序設計語言為工具,給出這種語言下的程序。程序設計過程應當包括分析、設計、編碼、測試、排錯等不同階段。程序開發是指軟件項目的開發,如市場調查,需求分析,可研分析,初步設計,詳細設計,形成文檔,建立初步模型,編寫詳細代碼,測試修改,發布等。

程序設計與開發軟件
TASKING??SmartCode是用于英飛凌下一代AURIX??TC4x微控制器家族的開發解決方案。SmartCode產生快速并且緊湊的代碼,是唯一全面支持TC4x全部架構和內核的軟件開發平臺。英飛凌AURIXTM提供了實現ECU所需的
Coverity 是一款精確的綜合靜態分析與應用安全測試 (SAST) 平臺,它可以在編寫代碼時發現關鍵的缺陷和安全缺陷,防止它們變成安全漏洞、故障或維護缺陷。
Micro Focus? LoadRunner 是一款行業標準性能工程軟件。生成真實負載。確定并診斷問題。放心地進行部署。
Keil?MDK是基于ARM?的微控制器的最全面的軟件開發解決方案。包括您需要創建,構建所有的組件以及調試嵌入式應用。
最優秀的二元代碼分析工具,是世界級軟件分析師、反向工程師、惡意軟件分析員和網絡安全專業人員工具箱中不可或缺的項目。
  Burp Suite是一款信息安全從業人員必備的集成型滲透測試工具,采用自動測試和半自動測試的方式。用于執行Web應用程序安全測試的集成平臺。它的各種工具支持整個測試過程中無縫協作,從 初的映射和應用程序的攻擊面分析,通過去發現并利用安
針對 C/C++ 軟件開發提供統一、完全集成的測試解決方案
  通過TIA Portal ,可以不受限制地訪問西門子的完整數字化服務系列:從數字化規劃和一體化工程到透明的運行。 新版本通過仿真工具等來縮短產品上市時間,通過附加診斷及能源管理功能提高工廠生產力,并通過連接到管理層來提供更大靈活性。新的
Source Insight是一個功能強勁的程序編輯器,他內置對C/C++,Java和x86匯編語言程序的解析;有自己的動態數據庫在你編程時提供有用的文本提示,包括有關的函數,宏,參數等。如今最好用的語言編輯器,支持幾乎所有的語言, 如C、
LabVIEW?簡化?了?硬件?集成,?使?您?能夠?快速?采集?和?可?視?化?幾乎?任何?I/?O?設備?(無論?是?NI?還是?第三?方)?的?數據?集。?LabVIEW 2017?采用?圖形?化?編?程?語法,?可?縮短?編?程?時
Parasoft? dotTEST?是專業針對C#,VB,.NET,ASP.NET和Managed C++語言的開發測試方案,經廣泛證明能提高軟件開發團隊效率和代碼質量的自動化最佳實踐解決方案
PyCharm是一種Python IDE(Integrated Development Environment,集成開發環境),帶有一整套可以幫助用戶在使用Python語言開發時提高其效率的工具,比如調試、語法高亮、項目管理、代碼跳轉、智能
  PC-lint Plus是一種靜態分析工具,通過分析C和C ++源代碼來發現軟件中的缺陷。與編譯器一樣,PC-lint Plus會解析源代碼文件,執行語義分析,并構建一個抽象語法樹來表示程序。PC-lint Plus采用各種機制,包括數
MULTI-IDE在嵌入式軟件行業是比較先進的。開發人員可以依賴MULTI來生成高質量的代碼,并使他們的設備更快地推向市場
Helix QAC是Perforce公司(原PRQA 公司)產品,主要用于C/C++ 代碼的自動化靜態分析工作,可以提供編碼規則以及信息安全相關檢查、代碼質量度量、軟件結構分析、測試結果管理等功能。Helix QAC 能夠發現軟件中潛在的
強大的 DevSecOps 精確定位應用程序漏洞,從而在開發生命周期的每個階段進行快速補救。HCL AppScan 提供一流的應用程序安全測試工具,以確保您的業務和客戶不會受到攻擊。
Fortify SCA 是一個靜態的、白盒的軟件源代碼安全測試工具。它通過內置的五大主要分析引擎:數據流、語義、結構、控制流、配置流等對應用軟件的源代碼進行靜態的分析,分析的過程中與它特有的軟件安全漏洞規則集進行全面地匹配、查找,從而將源代
Defensics 是新一代的安全測試平臺,幫助開發人員和技術用戶迅速、可靠且高效地找到并糾正各種危險的錯誤和缺陷。通過主動將未知因素納入整體視圖之中,Defensics 可以設定標準,以此支持出色的漏洞管理。Defensics 的核心技術
Qt是一個1991年由Qt Company開發的跨平臺C++圖形用戶界面應用程序開發框架。它既可以開發GUI程序,也可用于開發非GUI程序,比如控制臺工具和服務器。Qt是面向對象的框架,使用特殊的代碼生成擴展(稱為元對象編譯器(Meta O
Parasoft SOAtest是業內領先的針對面向服務的架構和復合應用的測試平臺。
程序設計與開發軟件顧問
<
>