既然我已同意在 華人科技大會上， 介紹了我們華人的已創造的一個成果。

另外，較長時間的對我們質疑，在事實面前大都消失。

我們也沒必要迴避“我們在軟件領域裡的理論與工程的綜合二大成果”的事實：

攀登上軟件理論和工程雙主峰的科學家 

在中美科協2021全球創新峰會上，在堅持研究計算機科學長期存在的歷史問題的朋友們的勸說下，同意接受大會主席的邀請，給出10 -分鐘演示。他不喜歡出現在公眾面前。即使他發表了三分鐘的演講，也讓別人為他說話。他是一位純興趣的科學家。

            （一）徹底實現“軟件程序驗證”的方法論的首位科學家 TonggaoTang

眾所周知，，電腦軟件的質量牽涉到軟件算法計算的速度問題，以及軟件（語意）的正確性問題。因而軟件發展上的有了二個著名課題：1） 算法的P-NP 問題， 和 2）軟件的正確性問題。上述第一個難題目前已有結論。而上述的第二個難題：“軟件正確性”問題, 遲遲沒有解決。它涉及到是程序一行行代碼符號串，科學家們只能被迫使用一種“形式語言”，即使用符號字符串來研究程序的一般正確性。

此前為解決‘程序正確性’問題，發明了多種‘形式語言’工具，多位科學家獲得圖靈獎。但這些“形式語言”的方法，它們只能表達與驗證那些極為簡單的軟件程序，不能用於一般的實際使用的軟件程序。1987年被Professor Edmund Clarke 邀請到CMU 工作的 Mr. Tang，在工作 多年後認識到， “形式語言” 方法的局限性。  他在業餘時間 探索“是否能為軟件程序找到 一種軟件程序也適合的邏輯判斷的“歸納原理 ”，用以徹底解決‘程序正確性’問題。 他逐漸關注遞歸理論的“廣義歸納法”的原理。經過約五年的軟件系統 編制和算法測試，發現了軟件程序里蘊含了一種“程序歸納原理”。 採用了這種新型的““程序歸納法”，就從歷史上首次實現了能用於“驗證軟件程序正確性”的一般方法。

1991年前後，他對CMU 同行們介紹這個研究成果，他向極為令人敬佩的軟件理論學者Professor Dana S. Scott 演示新完成的“程序正確性驗證系統”時，他發覺Dana S. Scott也有類似觀點。Dana Scott對他說：“僅僅用數學（形式語言）的方法，要徹底解決‘程序驗證’問題， 看來不可能。” Dana S. Scott的高瞻遠矚思想，這與Mr.Tang的用工程化的“程序歸納法”來實現“程序驗證的方法，較為一致。此後，Mr. Tang 遇到 Professor Edmund Clark，他是曾經邀請Mr.Tang 到CMU工作。Edmund Clark是“程序驗證”的 Temporal Logic 的發明人之一，後獲得了2007年圖靈獎 。在他參加Edmund Clark的60歲 大慶的會場旁， Edmund Clark與他聊起了 “Temporal Reasoning” 的方法，討論了Temporal形式語言能“在那些程序里有應用？ ”。此外，他曾經在一個軟件驗證研究中心，輔導一位研究生驗證 她的只有 四，五行語句的“Swap”程序，她用研究中心的 “形式語言”方法，化了二星期。這些形式語言的方法不能用於實際應用程序。這些使得他更堅信： 使用“程序歸納原理”才是真正能驗證程序的唯一正確選擇。

在1991年前後，Mr.Tang 離開 Australian  “Software Verification Centre “ 的 前一天，向研究中心的全體成員，介紹而又演示了： 自動驗證一個 “最大公約數的軟件程序”的實例。他的好友 搞電腦操作系統的系主任 Professor Andrew List 也有興趣此後，對. Tang而言，軟件驗證的理論方法與演示系統都完成了，可告一段路。 他繼續想“要驗證一個軟件程序的正確性很重要，但如果能在編制軟件程序過程里少錯或基本不錯，那麼軟件的可靠性不是更有保證里嗎？他買了近十本各類編程語言的書翻閱，轉向軟件工程技術。他更有幸找到了一個自稱為擁有最先進的軟件工程技術的， First Data Resource 下的一個製作 Credit card 的軟件部門工作，開始轉向思考“怎樣用軟件理論科學知識，對軟件工程技術做些革命性的改革”。

（二） 實現了軟件自動化工程技術的首位科學家TonggaoTang

今年旅美科技協會2021全球創新峰會，邀請了Mr. Tonggao Tang 介紹“自動化軟件工程新技術”，並演示了一個有代表性的實例：

他的軟件系統，能依據客戶的軟件訂單（大致包括 公司管理的 計劃部門，採購部門，收貨部門，倉庫部門，銷售部門，和會計部門的管理軟件），當場 在10 分鐘裡 自動生成了 一套完整的 附有 VC++ 語言的 新應用軟件。這個0出錯的新軟件擁有145 個文件 ，總共約 6.3 的 百萬字節。若由Senior Programmer 去人工編制軟件程序， 至少一年以上時間。自動化比人工方式生成軟件代碼，速度高 500 至1000 被以上。特別是，軟件的維護費近乎與0. 也就是要更改軟件，只要去更改顧客的要求的訂單，軟件程序也會自動更改，不用人去改些程序編碼。

他在2008年宣布成功“自動生成全套程序代碼”的技術，實現這個二十一世紀自動化軟件工程技術的宏偉目標。至今仍無其他科學家報道也成功了自動化技術的報道，

在信息時代，電腦智能軟件處處使用。特別，用手工編寫巨大的程序，Bug不少。要解決電腦軟件的可靠性與花費貴，所有的美國的巨型應用軟件公司 Oracle，IBM Microsoft， 以及歐洲的軟件大公司SAP，等等，都花了大量人力物力， 探索軟件程序製作自動化的方法。 再加上美國約有 4,3 million名 Software 開發 編程序人員 （2019年）中也曾經有成百有志之士，不斷地探索 着自動化軟件的可行性。特別是從1986 年起，美國二大與電腦有關的協會，發起舉辦了

IEEE/ACM International Conference on Automated Software  Engineering

 至今也已經舉辦了 30多屆。

似乎比所有其他研究課題，“軟件自動生成程序技術“ 似乎有着更多的科技人員感興趣。但近四十年來仍然困難重重。

數理邏輯學家 TonggaoTang 也不例外， 他退職在家思索了實現“自動化軟件工程技術中的各種潛在的困難，思考自動化所需的理論基礎，和方法的可行性問題， 以及技術規範。最後，他認為他應該以自己的軟件的理論知識，要試試去 參與解決這個世界難題。

2001年 62 歲的他，懷着極大興趣，開始在家獨自搞起“自動生成高速程序代碼“的研究。

2001年至2004年，他首先創建立了一套模式Pattern Logic 理論，完成了“模式語言理論應用在“自動化軟件”里的可行性測試工作。

其後，又編寫了成百上千萬的 Byte 組成的程序 代碼行，

到2008 年，幸運不負勤奮人，他完成了“一個能根據客戶訂單要求， 自動產生一整套‘Window企業管理軟件’”的SDDA軟件工具系統 ，此軟件在網上可供免費下載使用。並慎重宣布“自動生成全套程序代碼” 技術成功了！

其後，他為了證明模式理論和方法有普遍適用性，他一連串為三個軟件熱門應用領域，做了三個軟件自動化工具系統：

企事業經營管理軟件自動化；

互聯網 平台全套C語言 的 CGI軟件自動化；

安卓手機的應用軟件自動化 。

 他是2008年已宣布自動化軟件工程技術成功， 並完成供網頁下載的軟件，而且又出版了書籍的 科學家，成了攀上了世界二十一世紀自動化 軟件工程技術頂峰的唯一科學家。相信，對有着這麼同時具有經濟價值和劃時代性意義的重要技術，必然有新人會把它更推向前.