當前位置:首頁 » 編程語言 » c語言靜態檢測工具
擴展閱讀
webinf下怎麼引入js 2023-08-31 21:54:13
堡壘機怎麼打開web 2023-08-31 21:54:11

c語言靜態檢測工具

發布時間: 2022-06-07 05:34:49

⑴ 高手來幫忙下

對不起
幫不了你

⑵ 針對c語言的程序,有什麼好的測試工具

部分白盒測試工具介紹

Parasoft白盒測試工具集

Jtest Java 代碼分析和動態類、組件測試

Jcontract Java 實時性能監控以及分析優化

C++ Test C,C++ 代碼分析和動態測試

CodeWizard C,C++ 代碼靜態分析

Insure++ C,C++ 實時性能監控以及分析優化

其它公司

.test .Net 代碼分析和動態測試

logiscope c/c++ Verlog公司的靜態、動態分析工具

還有testbed、Cantata c/c++等

Rational工具集中的puricoverage和purify、quantify

Compuware白盒測試工具集

BoundsChecker C++,Delphi API和OLE錯誤檢查、指針和泄露錯誤檢查、內存錯誤檢查

TrueTime C++,Java,Visual Basic 代碼運行效率檢查、組件性能的分析

FailSafe Visual Basic 自動錯誤處理和恢復系統

Jcheck M$ Visual J++ 圖形化的純種和事件分析工具

TrueCoverage C++,Java,Visual Basic 函數調用次數、所佔比率統計以及穩定性跟蹤

SmartCheck Visual Basic 函數調用次數、所佔比率統計以及穩定性跟蹤

CodeReview Visual Basic 自動源代碼分析工具

Xunit白盒測試工具集

Aunit Ada http://www.libre.act-europe.fr

CppUnit C++ http://cppunit.sourceforge.net

ComUnit VB,COM http://comunit.sourceforge.net

Dunit Delphi http://nit.sourceforge.net

DotUnit .Net http://dotunit.sourceforge.net

HttpUnit Web http://c2.com/cgi/wiki?HttpUnit

HtmlUnit Web http://htmlunit.sourceforge.net

Jtest Java http://www.junit.org

JsUnit(Hieatt) javascript 1.4以上 http://www.jsunit.net

PhpUnit Php http://phpunit.sourceforge.net

PerlUnit Perl http://perlunit.sourceforge.net

XmlUnit Xml http://xmlunit.sourceforge.net

DUnit .net

JUnit java

⑶ c語言 void函數怎麼調用

//******************************************************************************
//
統計整數裡面各位
1
2
3
的個數
//******************************************************************************
#include
<stdio.h>
int
c1,
c2,
c3;
void
fun(long
n)
{
c1
=
c2
=
c3
=
0;
while
(n
!=
0)
{
switch
(n
%
10)
{
case
1:
c1++;
break;
case
2:
c2++;
break;
case
3:
c3++;
}
n
/=
10;
}
}
int
main()
{
long
n;
scanf("%ld",
&n);
//輸入整數n
fun(n);
//調用自定義函數fun
printf("C1=%d
C2=%d
C3=%d\n",
c1,
c2,
c3);
//輸出
}
//祝你學習進步,更上一層樓!(*^__^*)

⑷ 求 求 求 求 求

你好

小片 5 4 k ku,c om

PC-Lint是一種靜態代碼檢測工具,

可以說,PC-LINT是一種更加嚴格的編譯器,不僅可

以象普通編譯器那樣檢查出一般的語法錯誤,還可以檢查出

那些雖然完全合乎語法要求,但很可能是潛在的、不易發現的錯誤。

PC-lint不但可以檢測單個文件,也可以從整個項目的角度來檢測問題,

因為C語言編譯器固有的單個編譯,這些問題在編譯器環境下很難被檢測,

而PC-Lint在檢查當前文件的同時還會檢查所有與之相關的文件,可想而知,它會對我們有很大的幫助。

⑸ C語言和C++軟體測試工具有哪些

不是這樣的,測試的崗位不是開發的下級,而且技術的兩個分支,大家有各自需要的知識體系,不能說誰更高端,所以做開發一般一開始就是開發,測試一開始就是測試(也不排除中途轉型的),只不過剛開始做簡單的工作,後面厲害了就承擔更復雜的工作

⑹ 程序靜態分析的著名的靜態分析工具

Meta-Compilation(Coverity)
由Stanford大學的Dawson Engler副教授等研究開發,該靜態分析工具允許用戶使用一種稱作metal的狀態機語言編寫自定義的時序規則,從而實現了靜態分析工具的可擴展性。MC的實際效果非常優秀,號稱在Linux內核中找出來數百個安全漏洞。MC目前已經商業化,屬於Coverity Inc.2014年被Synopsys收購。目前學術領域比較認可的靜態分析工具,其技術處於領先地位。
mygcc 由一個法國人N. Volanschi開發,其思想來源於MC,試圖將自定義的錯誤檢測集成到編譯時。
Klocwork
國內用的最為廣泛的靜態分析工具,由加拿大北電於1996年研發,是中國最早的能夠檢測語義缺陷的靜態分析工具。截止到2015年其版本號為V10,也就是大家常說的K10
LDRA Testbed
英國的編碼規則類檢測工具,前身為Liverpool大學開發,能夠支持C/C++數千種條目的規則檢測,包括MISRA C/C++, GJB5369等,是最早進入中國市場的靜態分析工具,在軍隊、軍工廣泛使用,但其技術僅支持風格類檢測,無法進行語義缺陷分析,導致一些常用的運行時缺陷無法發現或者較高誤漏報,由此市場佔有率逐步下降。截止到2015年其版本號為9.5
HP Fortify
美國HP公司的支持安全漏洞類的檢測工具,能夠檢測C/C++/Java/PHP/ASP/JavaScript等多種語言,數千種檢測項,是國內使用最為廣泛的靜態分析工具。但該工具整體的誤報漏報率較高,雖然支持很多種安全漏洞,但需要用戶做很多的二次開發工作。
Cobot(庫博)
北京大學軟體工程中心研發的靜態分析工具,能夠支持編碼規則,語義缺陷的程序分析,能夠支持C/C++數千條規則和缺陷的檢測,是我國唯一可以稱的上是靜態分析產品的商業化工具。由於其自主知識產權,對國內的操作系統,編碼標准支持的較好,檢測精度也基本與上述工具持平,所以也得到了很多用戶的認可。
Parasoft C++Test
美國Parasoft公司研發的支持C、C++靜態分析的工具,該工具除了可以檢測編碼規則外,還能檢測少量的語義缺陷,此外能夠進行測試用例生成。

⑺ c語言程序單元測試用什麼工具比較好

C++test是一個很好的工具,很全面,設置麻煩一點有興趣可以了解一下 http://bbs.51testing.com/thread-42641-1-1.html開源的有CPPunit

⑻ 有哪些好用的輕量級 C 代碼靜態檢測工具

由Stanford大學的Dawson Engler副教授等研究開發,該靜態分析工具允許用戶使用一種稱作metal的狀態機語言編寫自定義的時序規則,從而實現了靜態分析工具的可擴展性。MC的實際效果非常優秀,號稱在Linux內核中找出來數百個安全漏洞。MC目前已經商業化,屬於Coverity Inc.2014年被Synopsys收購。目前學術領域比較認可的靜態分析工具,其技術處於領先地位。
mygcc 由一個法國人N. Volanschi開發,其思想來源於MC,試圖將自定義的錯誤檢測集成到編譯時。

⑼ 測試C語言用的工具是什麼

當然用只有2M大的Turbo C 2.0,保證系統干凈。
如果要好用的也可以Win-tc
把文件打開編譯一下即可以看到結果了。