【TechWeb報(bào)道】6月27日，國(guó)外媒體報(bào)道，DiffBlue是從牛津大學(xué)孵化出來(lái)的人工智能初創(chuàng)公司，致力于用AI技術(shù)來(lái)檢查和糾正代碼。DiffBlue的A輪融資已經(jīng)籌集了2200萬(wàn)美元（1730萬(wàn)英鎊）的資金。

A輪由高盛主要戰(zhàn)略投資牽頭，牛津科技創(chuàng)新和牛津技術(shù)與創(chuàng)新基金共同領(lǐng)導(dǎo)。

DiffBlue公司由牛津計(jì)算機(jī)科學(xué)教授DanielKroening和薩塞克斯大學(xué)計(jì)算機(jī)科學(xué)教授PeterSchrammel共同創(chuàng)立。

目前，人類開(kāi)發(fā)人員必需編寫(xiě)測(cè)試代碼，才能在軟件中找到錯(cuò)誤。按照DanielKroening的說(shuō)法，編程人員不是很喜歡測(cè)試代碼，因?yàn)樗敲芗蛣趧?dòng)，而不是編碼自己。這有點(diǎn)像要求小學(xué)生在上課前站起來(lái)閱讀文章，然后解釋文章的錯(cuò)誤。

DanielKroening增補(bǔ)說(shuō)，“測(cè)試有著巨大的價(jià)值，因?yàn)橛脩舨幌胧褂缅e(cuò)誤的軟件，然而測(cè)試代碼真的會(huì)讓開(kāi)發(fā)人員脾氣非常急躁。

“測(cè)試不是拼寫(xiě)檢查。就像檢查作者的文章，，如果說(shuō)美國(guó)總統(tǒng)是唐老鴨，當(dāng)然是錯(cuò)的，但拼寫(xiě)檢查沒(méi)錯(cuò)就不會(huì)標(biāo)記出來(lái)。測(cè)試并不料味著找到打字錯(cuò)誤，它們是為了識(shí)別不適當(dāng)行為，這與句法中沒(méi)有意義的句子一樣。”

創(chuàng)業(yè)公司體現(xiàn)，其技術(shù)被英國(guó)所有主要銀行所使用，由于公司協(xié)議的保密性質(zhì)，其余的無(wú)法透露。

DiffBlue公司位于牛津大學(xué)，其大部分員工來(lái)自此大學(xué)。它將在倫敦開(kāi)設(shè)一個(gè)新服務(wù)處，雇用銷售和營(yíng)銷人員，希望明年擴(kuò)大到舊金山。

DanielKroening告訴科技媒體，公司有野心上市而不是出售。英國(guó)很多公司都賣(mài)得太早，這是我們想要制止的事情。（周林）