“要发展软件产品，必须有很好的质量保障工具。”

12月9日，在“万科·万创科技城项目发布暨阿里云创峰会·南昌站”上，中国科学院软件研究所研究员张健表示，希望大家在享受IT技术、软件技术的同时，也要有警觉要知道它可能会带来的危害。

近几年，在软件学术界提到软件定义网络、软件定义无线电、软件定义存储等，目前还在推软件定义卫星，软件的份量越来越重。

但张健提到，软件为人们带来好处的同时，也存在潜在的危险，有缺陷的软件无处不在。他希望大家在享受IT技术、软件技术带来好处的同时，也要有警觉，要知道它可能会带来的危害。

对于如何保障软件质量，降低软件出现问题的概率，软件测试是目前乃至过去几十年一直用来保障软件质量的手段。

张健提到，除了软件测试，一种叫做静态分析的方法，可以通过扫描源代码发现软件的缺陷，或许在未来五年将有非常好的前景。张健进一步介绍道，他所在的课题组在过去十年一直从事这方面的研究，近两年BAT和华为已有不少人到关注这方面的技术，五年后应该有更多公司采用这样的方法。

此外，张健也表示，对于软件缺陷的检测，还有另外一类更加学术性的方法。据介绍，那是一种形式验证方法，要求用数学化的手段表述软件具有什么样的性质或者不具有什么样坏的性质，通过严格的数学推导证明软件是对的。但该方法很难在实际中使用，张健认为，也许十年以后这些方法会得到大规模、广泛的使用。

要尽可能保证软件产品没有缺陷，张健认为，需要学术界和产业界密切合作、互相交流。一方面学术界不仅要写论文，还要真正关注软件开发中的难题，并尝试解决；另一方面产业界人士需要对比较先进的、前沿的技术保持开放的态度。双方形成良性互动，共同努力，提高软件产品质量。

张健表示，软件质量保障相关工具也是“卡脖子”的一方面，要发展软件产品，必须有很好的质量保障工具。

据悉，此次峰会由江西万科牵手阿里云创新中心共同举办，聚焦人工智能、物联网等领域，聚集了院士、科学家、财经作家、产业、创业孵化、投融资等领域国际国内知名人士，会上进行了阿里云创新中心项目落地万科•万创科技城等重磅消息的发布。