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é)教授Daniel Kroening和薩塞克斯大學(xué)計(jì)算機(jī)科學(xué)教授Peter Schrammel共同創(chuàng)立。
目前，人類(lèi)開(kāi)發(fā)人員必須編寫(xiě)測(cè)試代碼，才能在軟件中找到錯(cuò)誤。根據(jù)Daniel Kroening的說(shuō)法，編程人員不是很喜歡測(cè)試代碼，因?yàn)樗敲芗蛣趧?dòng)，而不是編碼本身。這有點(diǎn)像要求小學(xué)生在上課前站起來(lái)閱讀文章，然后解釋文章的錯(cuò)誤。
Daniel Kroening補(bǔ)充說(shuō)，“測(cè)試有著巨大的價(jià)值，因?yàn)橛脩?hù)不想使用錯(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è)公司表示，其技術(shù)被英國(guó)所有主要銀行所使用，由于公司協(xié)議的保密性質(zhì)，其余的無(wú)法透露。
DiffBlue公司位于牛津大學(xué)，其大部分員工來(lái)自此大學(xué)。它將在倫敦開(kāi)設(shè)一個(gè)新辦事處，雇用銷(xiāo)售和營(yíng)銷(xiāo)人員，希望明年擴(kuò)大到舊金山。
Daniel Kroening告訴科技媒體，公司有野心上市而不是出售。英國(guó)很多公司都賣(mài)得太早，這是我們想要避免的事情。
微信掃一掃
