返回首页

面向工业领域的软件形式化建模与自动化测试关键技术及工具国产化应用

CCF科学技术奖

阅读量:310 fancc 收藏本文

面向工业领域的软件形式化建模与自动化测试关键技术及工具国产化应用

完成单位:华东师范大学、上海工业控制安全创新科技有限公司、

     卡斯柯信号有限公司、工业和信息化部电子第五研究所

主要完成人:何积丰、蒲戈光、缪炜恺、苏亭、周庭梁、刘奕宏


本项目针对控制软件的质量问题,形成了一套具有国际影响力的面向控制软件形式化建模、测试和验证的技术和工具,并在实际应用中发挥了重要作用,解决了若干关键质量问题。

读完这篇文章后,您心情如何?