多(duō)核處理(lǐ)器(qì)軟件(jγ$ ¶iàn)自(zì)動并行(xíng)化(huà)技₽'(jì)術(shù)

信息技(jì)術(shù)的(de)發展對(duì)C‌≈×εPU的(de)處理(lǐ)能(néng)力提出αε ©了(le)更高(gāo)的(de)要(yào)求，處理≈♣★(lǐ)器(qì)從(cóng)單核向多(duō)核發展，從(cóng)物(wù)理(lǐ)上>>←£(shàng)實現(xiàn)了(le)并行(xíng)計(jì)算(suàn)，大(dà)大©₹(dà)提高(gāo)了(le)計(jì)算(suàn)能δ™(néng)力。但(dàn)是(shì)，相(xiàng)應的(de)軟φ∑×件(jiàn)開(kāi)發方法由于受到(dà↕≥§o)人(rén)類思維活動方式的(de)限制(zhì)，很(hěn)難實現(xiàn→σΩ)并行(xíng)化(huà)編程。
本軟件(jiàn)工(gōng)具能(néng)夠分(fēn)析傳統的(de)軟 ​ ≈件(jiàn)代碼，自(zì)動提取并行(↓₩₹xíng)化(huà)代碼，自(zì)動估算(suà₩ππn)代碼執行(xíng)時(shí)間(jiān)，按照(zhào)總體(tǐ)性能(néng)α×₽最優策略，給出多(duō)核并行(xíngσ≤)執行(xíng)的(de)方案。本軟件(jiàn)✘‌♥工(gōng)具還(hái)能(néng)夠讓用(yòng)戶根據自(zì)己的(d±←e)需要(yào)調整并行(xíng)執行(xíng)方案，在調整的(de)同時✘≈★(shí)可(kě)以實時(shí)看(k£☆"àn)到(dào)總體(tǐ)效率的(de)變化(huà)，實現(xiàn)各個(g€™è)核上(shàng)的(de)任務執行(xíng)仿真。
本軟件(jiàn)工(gōng)具是(shì)針對(duì)基于多(duō)核處理(lǐ)器(q♥™₩'ì)軟件(jiàn)開(kāi)發的(de)輔助設計(jì)工(gōng)具，₩δ♦®可(kě)以大(dà)大(dà)提高(gāo)多↔↔(duō)核處理(lǐ)器(qì)軟件(jiàn)的(dγβ ☆e)開(kāi)發效率。

軟件(jiàn)Bug自(zì)動定位技(jì)術(shù)

在可(kě)靠性要(yào)求非常高(gāo)的(de)領域，比如(rú)汽車"™♦'(chē)電(diàn)子(zǐ)、軌道(dào)交通(tō ∞¥‌ng)、核電(diàn)站(zhàn)、航空(kōng)航天等領域，對(duì)軟件>≥<φ(jiàn)Bug的(de)容許率是(shì)非常低(dī)的(de)☆♠׶，企業(yè)在開(kāi)發中用(yòng)于Bug÷₩∏測試定位所花(huā)的(de)成本占比非常高(gāo)。随著(< zhe)代碼規模的(de)擴大(dà)，發布周期的(d≥<≥e)縮短(duǎn)，單純的(de)人(rén)工(gōng)測試，發現(xiàn₽©)錯(cuò)誤，排查錯(cuò)誤将不(bù)能(néng)滿足發展的(de)需求。本工φ₹★(gōng)具集成代碼編輯IDE，動态調試環境，編譯與執行 ↕₽₽(xíng)測試環境，高(gāo)效率開(kāi)發的(de)同時(shí)，并且β₩✘✔能(néng)夠自(zì)動發現(xiàn)軟件(jiàn)代碼邏輯的(de♠$φ)錯(cuò)誤，大(dà)大(dà)提高(gāo)了(le)開("≤kāi)發效率。
市(shì)面上(shàng)，面向于C語言的(de)靜(jìng)态≈®•分(fēn)析工(gōng)具往往解決的(de)是(shì'✔$Ω)一(yī)些(xiē)代碼書(shū)寫規範，數(shù)組越界，↔₹空(kōng)指針等常規問(wèn)題。本工(gōng)具通(tōng)過測試源代→≤×δ碼，根據代碼輸出與預想結果的(de)比較，檢查↓™每一(yī)行(xíng)代碼，深度分(fēn)析代碼間(jiān)複雜(zá)的λ<™(de)交互，高(gāo)精度分(fēn)析，發現(xiàn)真正的(₹σde)錯(cuò)誤缺陷代碼。改變了(le)傳統的(•‌ ₹de)測試代碼，人(rén)為(wèi)手工(gōng)分(fēn)析排查錯(cuò)誤的(de≥∑&)開(kāi)發模式，大(dà)大(dà)節省​☆®了(le)尋找錯(cuò)誤代碼的(de)時(shí)間(jiān)。

大(dà)型高(gāo)可(kě)靠性軟件(jiàn)的(de)過程管理(lǐ)和'δ₹(hé)測試驗證

在軌道(dào)交通(tōng)、航空(kōng)航天等領域，軟件(jiàn)的(de)規×φ">模很(hěn)大(dà)、同時(shí)可(kě)靠性要(yào)求非常高(gāo)≥©€×，通(tōng)常稱為(wèi)苛求系統（Critical Systems）。
按照(zhào)國(guó)際标準IEC61508以及EN50128對(£™≠duì)軟件(jiàn)開(kāi)發的(de∞↓&)要(yào)求，采用(yòng)V模型對(duì)軟Ω☆件(jiàn)開(kāi)發過程進行(xíng)管理(lǐ)π$'φ。本團隊和(hé)某上(shàng)市(shì)公司合作($λ∞zuò)，對(duì)某大(dà)型高(gāo)可(kě)靠性軟件(jiàn)的(de)開(kλλ≠āi)發全流程規劃、開(kāi)發團隊組π 建、開(kāi)發進度管理(lǐ)、軟件(jiàn)品質管理(lǐ)進行¥₩∏(xíng)了(le)規劃和(hé)具體(tǐ)實施，确保了(le)軟件(jiσ ♥ àn)開(kāi)發成功，通(tōng)過了(le)英國(guó)勞氏公司的™₩(de)國(guó)際最高(gāo)等級安全認證。
同時(shí)本團隊接受委托，對(duì)該軟件(jiàn)的(de)功能(nén​←¥ g)和(hé)性能(néng)進行(xíng∏∑≤)了(le)全面的(de)測試驗證，具體(tǐ)包括各個(gè)模塊的(de)詳細測試、¶♥™₽基于白(bái)盒的(de)覆蓋率測試、系統集成接口測試、系統測試，也(yě♠≠₩)包括了(le)認證過程中涉及的(de)代碼、各種需求文(wén)檔、設計(jì)"≤§文(wén)檔、測試報(bào)告等內(nèi)容的(de☆β÷)驗證和(hé)确認（Verify & Validatδ ✔ e)。