18+视频免费观看_国产亚洲高清一区_欧美一区二区在线_最大亚洲人成网站_免费中文字幕午夜福利片_欧美亚洲激情视频免费观看_日本a级午夜福利成人_人妻丰满熟妇aV无码

文章
  • 文章
搜索

PRODUCT CENTER

產(chǎn)品中心

详细说明

軟件靜態(tài)測(cè)試工具(MISRA C/C++)/Static Analysis Tool: Codescroll

收藏
商品說(shuō)明

Suresofttech Co. is small but strong and the only enterprise in the nation for inventing independent technology in software testing automation field; They provide test automation tool and verification software for software safety verification in Mission-Critical industry field. They endeavor to make a contribution in software industry carrying social responsibility with the vision to make a safer world with softwares.

                     

Suresoft 公司專(zhuān)注于軟件的自動(dòng)化測(cè)試領(lǐng)域,提供靜態(tài)測(cè)試、動(dòng)態(tài)測(cè)試、模型測(cè)試、故障注入等多種工具,用于對(duì)安全性要求較高的行業(yè),用以保證代碼的安全性和可靠性。Codescroll是用于代碼靜態(tài)測(cè)試的工具,可以提供編碼規(guī)則檢測(cè)、run-time error檢測(cè)、內(nèi)存泄漏、代碼質(zhì)量度量、測(cè)試結(jié)果管理等功能。軟件本身通過(guò)了功能安全認(rèn)證,廣泛應(yīng)用于汽車(chē)、航空、國(guó)防、安全、鐵路、電子電器、核能、醫(yī)療、船舶等多個(gè)行業(yè)。

代碼靜態(tài)測(cè)試工具(MISRA C/C++)Static Analysis Tool:

static-codescroll.jpg


1,編碼規(guī)則檢測(cè):Checking Codeing Rules

                     

Verify source code in accordance to code rules required in each industry.

code-rules.jpg

2,運(yùn)行時(shí)間錯(cuò)誤檢測(cè):Run-time Error Detection

  • 可檢測(cè)算法錯(cuò)誤、內(nèi)存錯(cuò)誤、數(shù)組越界等多種錯(cuò)誤。

run-time%20error.png


3,快速分析:Rapid Analysis using distributed computers

                     

  • 有效利用多臺(tái)電腦的空閑時(shí)間從而減少代碼分析的時(shí)間:Reduce analysis time and cost by utilizing the available resources of mutiple PCs.
  • 快速分析大規(guī)模的源代碼:Quickly analysisof large-scale source code(about 300 C++ source files within 1 minute)

distributed-computer.png

4,分別為manager和developer提供不同的視圖:

result-viewer.png


5,方便快捷的fix缺陷:Easy and quick fix defects

                     

  • 顯示錯(cuò)誤的位置、分布及狀態(tài): Show defect location , assignee status
  • 使用缺陷過(guò)濾器快速查找: Quick search using defect filter
  • 使用向?qū)Э焖賔ix缺陷: Provide guide for fixing defects
  • 跟蹤缺陷的狀態(tài): Trace defects status

defects%20fixed.png

Special Features/Advantages:

                     

Differentiation:

                     

  • Performance: Rapid analytics via distributed computing 可通過(guò)分布式電腦快速分析。
  • Managemant: Provides overall transition and progress of projects 提供多種形式的查看方式(概覽及項(xiàng)目進(jìn)度查看)
  • Easy: Provides user recommended modification guidelines 提供修改推薦向?qū),方便使?/li>
  • Customizing: Development of customized rules for clients 提供可定制化的檢測(cè)規(guī)則

                     

Strength:

                     

  • International Certified: Cert from SGS TUV,provides tool qualification -- 提供工具認(rèn)證證書(shū)
  • Web based UI; Provides easy-to-use analysis request feature; Linkage with continuous integration tool

                     

Benefit

                     

  • Faster Static Analysis -- 快速靜態(tài)代碼分析
  • Easier Defect Correction -- 更容易的缺陷校正
  • Increased Work Productivity -- 提高工作效率 








咨詢(xún)熱線:(86-21)6145-7130

地址:中國(guó)上海長(zhǎng)寧區(qū)天山路600弄1號(hào)同達(dá)創(chuàng)業(yè)大廈803室

E-mail:sales@flashtech.com.cn


官方微信

官方微信

代理產(chǎn)品


技术支持: 賽泊斯 | 管理登录
×
seo seo