既然我已同意在 华人科技大会上， 介绍了我们华人的已创造的一个成果。

另外，较长时间的对我们质疑，在事实面前大都消失。

我们也没必要回避“我们在软件领域里的理论与工程的综合二大成果”的事实：

攀登上软件理论和工程双主峰的科学家 

在中美科协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年已宣布自动化软件工程技术成功， 并完成供网页下载的软件，而且又出版了书籍的 科学家，成了攀上了世界二十一世纪自动化 软件工程技术顶峰的唯一科学家。相信，对有着这么同时具有经济价值和划时代性意义的重要技术，必然有新人会把它更推向前.