可以自動判斷語句有問題的軟體

A. 有一種可以辨別英語句子是否正誤的軟體

有一種可以辨別英語句子是否正誤的軟體？Word就有這個功能。字拼錯了，用紅的波浪線標出。句法有誤的話，綠線。有這個軟體，可以幫助你修改句子。但邏輯錯誤，一般它發現不了。復雜一點的語法問題，還是要靠人腦去發現。應該有一些專業軟體包含類似功能，比如專業的多語言翻譯軟體如MemoQ等肯定有這個功能，但renhfsz說得對，什麼東西都是求人不如求己，看看金山快譯的翻譯質量就知道用了還不如不用。
個人覺得這種軟體基本上沒有實用價值，所以也沒有看到什麼軟體開發人員專門開發這種軟體：不懂英語的人呢，你開發個軟體它還是看不懂，懂英語的人根本就不需要用這種軟體。

B. 做靜態代碼分析都是用那個軟體的

本文首先介紹了靜態代碼分析的基本概念及主要技術，隨後分別介紹了現有 4 種主流 Java 靜態代碼分析工具 (Checkstyle，FindBugs，PMD，Jtest)，最後從功能、特性等方面對它們進行分析和比較，希望能夠幫助 Java 軟體開發人員了解靜態代碼分析工具，並選擇合適的工具應用到軟體開發中。

引言

在 Java 軟體開發過程中，開發團隊往往要花費大量的時間和精力發現並修改代碼缺陷。Java 靜態代碼分析（static code analysis）工具能夠在代碼構建過程中幫助開發人員快速、有效的定位代碼缺陷並及時糾正這些問題，從而極大地提高軟體可靠性並節省軟體開發和測試成 本。目前市場上的 Java 靜態代碼分析工具種類繁多且各有千秋，因此本文將分別介紹現有 4 種主流 Java 靜態代碼分析工具 (Checkstyle，FindBugs，PMD，Jtest)，並從功能、特性等方面對它們進行分析和比較，希望能夠幫助 Java 軟體開發人員了解靜態代碼分析工具，並選擇合適的工具應用到軟體開發中。

靜態代碼分析工具簡介

什麼是靜態代碼分析

靜態代碼分析是指無需運行被測代碼，僅通過分析或檢查源程序的語法、結構、過程、介面等來檢查程序的正確性，找出代碼隱藏的錯誤和缺陷，如參數不匹配，有歧義的嵌套語句，錯誤的遞歸，非法計算，可能出現的空指針引用等等。

在軟體開發過程中，靜態代碼分析往往先於動態測試之前進行，同時也可以作為制定動態測試用例的參考。統計證明，在整個軟體開發生命周期中，30% 至 70% 的代碼邏輯設計和編碼缺陷是可以通過靜態代碼分析來發現和修復的。

但是，由於靜態代碼分析往往要求大量的時間消耗和相關知識的積累，因此對於軟體開發團隊來說，使用靜態代碼分析工具自動化執行代碼檢查和分析，能夠極大地提高軟體可靠性並節省軟體開發和測試成本。

靜態代碼分析工具的優勢

1. 幫助程序開發人員自動執行靜態代碼分析，快速定位代碼隱藏錯誤和缺陷。

2. 幫助代碼設計人員更專注於分析和解決代碼設計缺陷。

3. 顯著減少在代碼逐行檢查上花費的時間，提高軟體可靠性並節省軟體開發和測試成本。

Java 靜態代碼分析理論基礎和主要技術

• 缺陷模式匹配：缺陷模式匹配事先從代碼分析經驗中收集足夠多的共性缺陷模式，將待分析代碼與已有的共性缺陷模式進行模式匹配，從而完成軟體的安全分析。這種方式的優點是簡單方便，但是要求內置足夠多缺陷模式，且容易產生誤報。

• 類型推斷：類型推斷技術是指通過對代碼中運算對象類型進行推理，從而保證代碼中每條語句都針對正確的類型執行。這種技術首先將預定義一套類型機制，包括類 型等價、類型包含等推理規則，而後基於這一規則進行推理計算。類型推斷可以檢查代碼中的類型錯誤，簡單，高效，適合代碼缺陷的快速檢測。

• 模型檢查：模型檢驗建立於有限狀態自動機的概念基礎之上，這一理論將被分析代碼抽象為一個自動機系統，並且假設該系統是有限狀態的、或者是可以通過抽象歸 結為有限狀態。模型檢驗過程中，首先將被分析代碼中的每條語句產生的影響抽象為一個有限狀態自動機的一個狀態，而後通過分析有限狀態機從而達到代碼分析的 目的。模型檢驗主要適合檢驗程序並發等時序特性，但是對於數據值域數據類型等方面作用較弱。

• 數據流分析：數據流分析也是一種軟體驗證技術，這種技術通過收集代碼中引用到的變數信息，從而分析變數在程序中的賦值、引用以及傳遞等情況。對數據流進行 分析可以確定變數的定義以及在代碼中被引用的情況，同時還能夠檢查代碼數據流異常，如引用在前賦值在後、只賦值無引用等。數據流分析主要適合檢驗程序中的 數據域特性。

現有主流 Java 靜態分析工具

Checkstyle

Checkstyle 是 SourceForge 的開源項目，通過檢查對代碼編碼格式，命名約定，Javadoc，類設計等方面進行代碼規范和風格的檢查，從而有效約束開發人員更好地遵循代碼編寫規范。

Checkstyle 提供了支持大多數常見 IDE 的插件，文本主要使用 Eclipse 中的 Checkstyle 插件。如下圖 1 所示，Checkstyle 對代碼進行編碼風格檢查，並將檢查結果顯示在 Problems 視圖中。圖中，代碼編輯器中每個放大鏡圖標表示一個 Checkstyle 找到的代碼缺陷。開發人員可通過在 Problems 視圖中查看錯誤或警告詳細信息。



• 圖 1. 使用 Checkstyle 進行編碼風格檢查




此外，Checkstyle 支持用戶根據需求自定義代碼檢查規范，在下圖 2 中的配置面板中，用戶可以在已有檢查規范如命名約定，Javadoc，塊，類設計等方面的基礎上添加或刪除自定義檢查規范。



• 圖 2. 使用 Checkstyle 添加自定義代碼檢查規范




FindBugs

FindBugs 是由馬里蘭大學提供的一款開源 Java 靜態代碼分析工具。FindBugs 通過檢查類文件或 JAR 文件，將位元組碼與一組缺陷模式進行對比從而發現代碼缺陷，完成靜態代碼分析。FindBugs 既提供可視化 UI 界面，同時也可以作為 Eclipse 插件使用。文本將主要使用將 FindBugs 作為 Eclipse 插件。在安裝成功後會在 eclipse 中增加 FindBugs perspective，用戶可以對指定 Java 類或 JAR 文件運行 FindBugs，此時 FindBugs 會遍歷指定文件，進行靜態代碼分析，並將代碼分析結果顯示在 FindBugs perspective 的 bugs explorer 中，如下圖 3 所示：



• 圖 3. 使用 FindBugs 進行靜態代碼分析




圖中 Bug Explorer 中的灰色圖標處為 Bug 類型，每種分類下紅色圖標表示 bug 較為嚴重，黃色的圖標表示 bug 為警告程度。Propreties 列出了 bug 的描述信息及修改方案。

此外，FindBugs 還為用戶提供定製 Bug Pattern 的功能。用戶可以根據需求自定義 FindBugs 的代碼檢查條件，如下圖 4 所示：



• 圖 4. 使用 FindBugs 添加自定義代碼檢查規范




PMD

PMD 是由 DARPA 在 SourceForge 上發布的開源 Java 代碼靜態分析工具。PMD 通過其內置的編碼規則對 Java 代碼進行靜態檢查，主要包括對潛在的 bug，未使用的代碼，重復的代碼，循環體創建新對象等問題的檢驗。PMD 提供了和多種 Java IDE 的集成，例如 Eclipse，IDEA，NetBean 等。本文主要使用 PMD 以插件方式與 Eclipse 集成。如下圖 5 所示：在 Violations Overview 視圖中，按照代碼缺陷嚴重性集中顯示了 PMD 靜態代碼分析的結果。



• 圖 5. 使用 PMD 進行靜態代碼分析




PMD 同樣也支持開發人員對代碼檢查規范進行自定義配置。開發人員可以在下圖 6 中的面板中添加、刪除、導入、導出代碼檢查規范。



• 圖 6. 使用 PMD 添加自定義代碼檢查規范




Jtest

Jtest 是 Parasoft 公司推出的一款針對 Java 語言的自動化代碼優化和測試工具，Jtest 的靜態代碼分析功能能夠按照其內置的超過 800 條的 Java 編碼規范自動檢查並糾正這些隱蔽且難以修復的編碼錯誤。同時，還支持用戶自定義編碼規則，幫助用戶預防一些特殊用法的錯誤。Jtest 提供了基於 Eclipse 的插件安裝。Jtest 支持開發人員對 Java 代碼進行編碼規范檢查，並在 Jtask 窗口中集中顯示檢查結果，如下圖 7 所示：



• 圖 7. 使用 Jtest 進行靜態代碼分析




同時，Jtest 還提供了對用戶定製代碼檢查配置甚至自定義編碼規則的支持，這一功能使得開發人員可以基於不同場景定製所需要的編碼規范，如圖 8 所示：



• 圖 8. 使用 Jtest 添加自定義代碼檢查規范



Java 靜態分析工具對比

本章節將從以下幾個方面對上述 Java 靜態分析工具進行比較：

應用技術及分析對象

下表 1 列出了不同工具的分析對象及應用技術對比：



• 表 1. 不同工具的分析對象及應用技術對比



Java 靜態分析工具

分析對象

應用技術

Checkstyle Java 源文件 缺陷模式匹配

FindBugs 位元組碼 缺陷模式匹配；數據流分析

PMD Java 源代碼 缺陷模式匹配

Jtest Java 源代碼 缺陷模式匹配；數據流分析




內置編程規范

Checkstyle：

• Javadoc 注釋：檢查類及方法的 Javadoc 注釋

• 命名約定：檢查命名是否符合命名規范

• 標題：檢查文件是否以某些行開頭

• Import 語句：檢查 Import 語句是否符合定義規范

• 代碼塊大小，即檢查類、方法等代碼塊的行數

• 空白：檢查空白符，如 tab，回車符等

• 修飾符：修飾符號的檢查，如修飾符的定義順序

• 塊：檢查是否有空塊或無效塊

• 代碼問題：檢查重復代碼，條件判斷，魔數等問題

• 類設計：檢查類的定義是否符合規范，如構造函數的定義等問題

FindBugs：

• Bad practice 壞的實踐：常見代碼錯誤，用於靜態代碼檢查時進行缺陷模式匹配

• Correctness 可能導致錯誤的代碼，如空指針引用等

• 國際化相關問題：如錯誤的字元串轉換

• 可能受到的惡意攻擊，如訪問許可權修飾符的定義等

• 多線程的正確性：如多線程編程時常見的同步，線程調度問題。

• 運行時性能問題：如由變數定義，方法調用導致的代碼低效問題。

PMD：

• 可能的 Bugs：檢查潛在代碼錯誤，如空 try/catch/finally/switch 語句

• 未使用代碼（Dead code）：檢查未使用的變數，參數，方法

• 復雜的表達式：檢查不必要的 if 語句，可被 while 替代的 for 循環

• 重復的代碼：檢查重復的代碼

• 循環體創建新對象：檢查在循環體內實例化新對象

• 資源關閉：檢查 Connect，Result，Statement 等資源使用之後是否被關閉掉

Jtest

• 可能的錯誤：如內存破壞、內存泄露、指針錯誤、庫錯誤、邏輯錯誤和演算法錯誤等

• 未使用代碼：檢查未使用的變數，參數，方法

• 初始化錯誤：內存分配錯誤、變數初始化錯誤、變數定義沖突

• 命名約定：檢查命名是否符合命名規范

• Javadoc 注釋：檢查類及方法的 Javadoc 注釋

• 線程和同步：檢驗多線程編程時常見的同步，線程調度問題

• 國際化問題：

• 垃圾回收：檢查變數及 JDBC 資源是否存在內存泄露隱患

錯誤檢查能力

為比較上述 Java 靜態分析工具的代碼缺陷檢測能力，本文將使用一段示例代碼進行試驗，示例代碼中將涵蓋我們開發中的幾類常見錯誤，如引用操作、對象操作、表達式復雜化、數 組使用、未使用變數或代碼段、資源回收、方法調用及代碼設計幾個方面。最後本文將分別記錄在默認檢查規范設置下，不同工具對該示例代碼的分析結果。以下為 示例代碼 Test.java。其中，代碼的注釋部分列舉了代碼中可能存在的缺陷。



• 清單 1. Test.java 示例代碼
• package Test;import java.io.*;public class Test {/** * Write the bytes from input stream to output stream. * The input stream and output stream are not closed. * @param is * @param os * @throws IOException */public boolean (InputStream is, OutputStream os)throws IOException {intcount = 0;//缺少空指針判斷byte[] buffer =new byte[1024];while((count = is.read(buffer)) >= 0) {os.write(buffer,0, count);}//未關閉I/O流returntrue;}/** * * @param a * @param b * @param ending * @return the elements from a to b, and stop when meet element ending */publicvoid (String[] a, String[] b, String ending){intindex;String temp =null;//空指針錯誤System.out.println(temp.length());//未使用變數intlength=a.length;for(index=0; index&a.length; index++){//多餘的if語句if(true){//對象比較 應使用equalsif(temp==ending){break;}//缺少 數組下標越界檢查b[index]=temp;}}}/** * * @param file * @return file contents as striwww.fltbj.cn#ll if file does not exist */public void readFile(File file) {InputStream is =null;OutputStream os =null;try{is =new BufferedInputStream(newFileInputStream(file));os =new ByteArrayOutputStream();//未使用方法返回值(is,os);is.close();os.close();}catch (IOException e) {//可能造成I/O流未關閉e.printStackTrace();}finally{//空的try/catch/finally塊}}}







• 通過以上測試代碼，我們對已有 Java 靜態代碼分析工具的檢驗結果做了如下比較，如下表 2 所示。




表 2. Java 靜態代碼分析工具對比

代碼缺陷分類

示例

Checkstyle

FindBugs

PMD

Jtest

引用操作 空指針引用 √ √ √ √

對象操作 對象比較（使用 == 而不是 equals） √ √ √

表達式復雜化 多餘的 if 語句 √

數組使用 數組下標越界 √

未使用變數或代碼段 未使用變數 √ √ √

資源回收 I/O 未關閉 √ √

方法調用 未使用方法返回值 √

代碼設計 空的 try/catch/finally 塊 √




由表中可以看出幾種工具對於代碼檢查各有側重。其中，Checkstyle 更偏重於代碼編寫格式，及是否符合編碼規范的檢驗，對代碼 bug 的發現功能較弱；而 FindBugs，PMD，Jtest 著重於發現代碼缺陷。在對代碼缺陷檢查中，這三種工具在針對的代碼缺陷類別也各有不同，且類別之間有重疊。

總結

本文分別從功能、特性和內置編程規范等方面詳細介紹了包括 Checkstyle，FindBugs，PMD，Jtest 在內的四種主流 Java 靜態代碼分析工具，並通過一段 Java 代碼示例對這四種工具的代碼分析能力進行比較。由於這四種工具內置編程規范各有不同，因此它們對不同種類的代碼問題的發現能力也有所不同。其中 Checkstyle 更加偏重於代碼編寫格式檢查，而 FindBugs，PMD，Jtest 著重於發現代碼缺陷。最後，希望本文能夠幫助 Java 軟體開發和測試人員進一步了解以上四種主流 Java 靜態分析工具，並幫助他們根據需求選擇合適的工具。

C. 有沒有能檢測文章錯字及語句是否通順的方法

「word"軟體。它的菜單里有個」工具「，點擊時會有下拉式菜單：第一項是」拼寫和語法「。點擊後，就會自動檢查文章里的語法和拼寫，作者根據提示改或者不改。

Microsoft Office Word是微軟公司的一個文字處理器應用程序。

它最初是由Richard Brodie為了運行DOS的IBM計算機而在1983年編寫的。隨後的版本可運行於Apple Macintosh (1984年)、SCO UNIX和Microsoft Windows (1989年)，並成為了Microsoft Office的一部分。

Word給用戶提供了用於創建專業而優雅的文檔工具，幫助用戶節省時間，並得到優雅美觀的結果。

一直以來，Microsoft Office Word都是最流行的文字處理程序。

作為 Office 套件的核心程序， Word 提供了許多易於使用的文檔創建工具，同時也提供了豐富的功能集供創建復雜的文檔使用。哪怕只使用 Word 應用一點文本格式化操作或圖片處理，也可以使簡單的文檔變得比只使用純文本更具吸引力。

D. 有沒有可以自動檢測語句病句的軟體

個人覺得editplus就挺好！當然還有很多優秀的此類軟體。

E. 有沒有類似「拼寫檢查」的軟體可以自動糾正中文錯別字

Word 2000 以上版本帶有校對功能，用錯了的字或詞，以及標點符號等，其下方會有一個紅色波浪線標明，右擊該處，會有正確的提示，選擇一個便立即更改。下方為綠色波浪線則表明為該句子的語法有問題或是自定義用法，同樣有提示。 當然，有些紅色波浪線也不見得是錯，比如一個的『一』若與其他量詞配合使用時，其下方往往會出現紅色波浪線，可不予理睬。 若是Word選項中的校對沒有溝選，則不會出現校對提示。 還有第三方的專門校對，只不過需要購買，其實也沒必要。

F. 誰知道哪款軟體可以檢查英文語法錯誤的

Grammarly。

Grammarly是一款在線語法糾正和校對工具，支持Windows、Mac、iOS和Android等多個平台。

它能夠檢查單詞拼寫、糾正標點符號、修正語法錯誤、調整語氣以及給出風格建議等；對學術寫作來說，Grammarly還可以幫助查重。

G. 有自動檢測錯別字的軟體嗎

微信公眾號後台發文的時候就會自動檢測疑似的錯別字，提示並標注出來。

H. 有沒有類似「拼寫檢查」的軟體可以自動糾正中文錯別字

有，選中或者派遣游標在首位閃動，點擊工具-拼寫和語法-檢查就開始了。
當自動檢查拼寫和語法時：
①Microsoft Word 用紅色波形下劃線表示可能的拼寫錯誤，在被標識出來的文字上單擊滑鼠右鍵打開快捷菜單，單擊快捷菜單上方給出的拼寫建議，Word將自動用滑鼠單擊的單詞替換紅色波形下劃線上的單詞。單擊菜單里的「全部忽略」命令，Word將忽略掉當前文檔中所有的該字元串的錯誤。單擊「添加到詞典」命令，Word會將該字元串添加到隨機詞典中，此後在文檔中再錄入此字元串時，將不會出現錯誤提示。
②用綠色波形下劃線表示可能的語法錯誤，其處理方法與上面的「拼寫錯誤」的處理方法是一樣的。
打開拼寫檢查的方法
單擊「工具」菜單上的「選項」命令，打開「選項」對話框，單擊「拼寫和語法」選項卡，勾選「鍵入時檢查拼寫」、「鍵入時檢查語法」兩個復選框，或者去掉「隱藏文檔中的拼寫錯誤」、「隱藏文檔中的語法錯誤」復選框前的勾選，然後單擊「確定」退出，Word就不會再自作聰明了。

I. 什麼軟體可以瞬間找出WORD中的所有（錯字、錯詞、語句不通順等問題）錯誤

如果你做了校對文件而且很全，可以找到錯詞，但是語句不通沒法判斷，沒有這種軟體。

J. 有沒有什麼app可以分析英語句子成分的

如下：

1、NOUNPLUS：

Nounplus是一個免費的語法檢查器，具有簡單流暢的界面和三種語言的noun-optional。通過將你想簽入的英文復制到一個矩形框中，BAI可以快速找出文本中的語法錯誤，並提供修改後的內容供參考。

除了語法錯誤，nounplus還可以幫助學習者發現課文中的拼寫問題，可以非常全面和詳細。

2、Ginger

詞語誤用、主謂不一致、上下文拼寫問題……Ginger可以糾正我們的語法，包括標點符號、句子結構和語言風格。無論是商務寫作、發郵件、完成學業還是與朋友分享新狀態，Ginger都能確保你的寫作清晰流暢。該網站還提供翻譯或句子改寫等服務。

免費版本有基本的功能。如果您需要查看大量的文檔，您可以下載Ginger軟體並試用一下。

3、AutoCritOnlineEditing

這個在線語法檢測網站受到許多外國作家和編輯的青睞。只需輸入需要檢測和修改的內容，然後單擊AnalyzeMyText。

唯一的麻煩是，專制要求您輸入您的專制和身份，例如編輯／作者／出版商等，並直接發送專制報告給您的專制。

4、

虛擬寫作導師具有廣泛的語法檢測功能，包括單詞計數、單詞拼寫、語句語法、字典查找、列印等。將需要檢測的文本復制到文本框中，並選擇所需的函數。

5、lang－8

Lang－8是一個論壇形式的英語語法交流網站，在這里您可以幫助來自不同國家和語言背景的學習者共同進步。例如，我們可以用英語寫文章或期刊，英語熟練的朋友會幫你改正錯誤。當然，你也可以主動幫助正在學習中文的朋友。目前，成員國已覆蓋全球190個國家。不幸的是，該網站已經停止注冊新賬戶。你可以在網上論壇找到分享賬號，也可以在淘寶上買一個。