6月12日上午，應基礎軟件國家工程研究中心的邀請，美國亞利桑那州立大學蔡維德教授到軟件所進行訪問，并作題為Test Algebra for Concurrent Combinatorial Testing in a Cloud Environment的學術講座，講座由王青研究員主持。

報告中，蔡教授詳細地了移動云（Mobile Cloud）環境下的軟件測試問題，Mobile Cloud是由眾多移動設備組成的云計算環境，由在云計算和移動互聯結合后產生的一個新的概念，對當前移動計算產生著重要影響。

在講到云環境下軟件測試時，他強調了改造傳統測試方法的重要性，證實了云環境下動態優化的并發的軟件測試方法可以大幅提高測試效率。同時，他還對 TaaS (Testing-as-a-Service)提出了自己的見解，他認為 Mobile Cloud 環境下的TaaS 需要新的數學與計算模型。

蔡維德教授是軟件工程領域的著名學者，在 Mobile Cloud 研究領域擁有眾多成果，近年來已在IEEE Transactions、Communications of the ACM、IEEE Computer、IEEE Software等國際期刊以及ICSM、QSIC、COMPSAC等國際會議上發表論文300多篇，曾任COMPSAC、HASE、WORDS等國際會議主席或程序委員會主席。

蔡維德教授作報告