軟件工程自動化
多核處理器軟件自動并行化技術(shù)
信息技術(shù)的發(fā)展對CPU的處理能力提出了更高的要求，處理器從單核向多核發(fā)展，從物理上實現(xiàn)了并行計算，大大提高了計算能力。但是，相應(yīng)的軟件開發(fā)方法由于受到人類思維活動方式的限制，很難實現(xiàn)并行化編程。本軟件工具能夠分析傳統(tǒng)的軟件代碼，自動提取并行化代碼，自動估算代碼執(zhí)行時間，按照總體性能最優(yōu)策略，給出多核并行執(zhí)行的方案。本軟件工具還能夠讓用戶根據(jù)自己的需要調(diào)整并行執(zhí)行方案，在調(diào)整的同時可以實時看到總體效率的變化，實現(xiàn)各個核上的任務(wù)執(zhí)行仿真。
本軟件工具是針對基于多核處理器軟件開發(fā)的輔助設(shè)計工具，可以大大提高多核處理器軟件的開發(fā)效率。
軟件Bug自動定位技術(shù)
在可靠性要求非常高的領(lǐng)域，比如汽車電子、軌道交通、核電站、航空航天等領(lǐng)域，對軟件Bug的容許率是非常低的，企業(yè)在開發(fā)中用于Bug測試定位所花的成本占比非常高。隨著代碼規(guī)模的擴大，發(fā)布周期的縮短，單純的人工測試，發(fā)現(xiàn)錯誤，排查錯誤將不能滿足發(fā)展的需求。本工具集成代碼編輯IDE，動態(tài)調(diào)試環(huán)境，編譯與執(zhí)行測試環(huán)境，高效率開發(fā)的同時，并且能夠自動發(fā)現(xiàn)軟件代碼邏輯的錯誤，大大提高了開發(fā)效率。市面上，面向于C語言的靜態(tài)分析工具往往解決的是一些代碼書寫規(guī)范，數(shù)組越界，空指針等常規(guī)問題。本工具通過測試源代碼，根據(jù)代碼輸出與預(yù)想結(jié)果的比較，檢查每一行代碼，深度分析代碼間復(fù)雜的交互，高精度分析，發(fā)現(xiàn)真正的錯誤缺陷代碼。改變了傳統(tǒng)的測試代碼，人為手工分析排查錯誤的開發(fā)模式，大大節(jié)省了尋找錯誤代碼的時間。
大型高可靠性軟件的過程管理和測試驗證
在軌道交通、航空航天等領(lǐng)域，軟件的規(guī)模很大、同時可靠性要求非常高，通常稱為苛求系統(tǒng)（Critical Systems）。按照國際標準IEC61508以及EN50128對軟件開發(fā)的要求，采用V模型對軟件開發(fā)過程進行管理。本團隊和某上市公司合作，對某大型高可靠性軟件的開發(fā)全流程規(guī)劃、開發(fā)團隊組建、開發(fā)進度管理、軟件品質(zhì)管理進行了規(guī)劃和具體實施，確保了軟件開發(fā)成功，通過了英國勞氏公司的國際最高等級安全認證。
同時本團隊接受委托，對該軟件的功能和性能進行了全面的測試驗證，具體包括各個模塊的詳細測試、基于白盒的覆蓋率測試、系統(tǒng)集成接口測試、系統(tǒng)測試，也包括了認證過程中涉及的代碼、各種需求文檔、設(shè)計文檔、測試報告等內(nèi)容的驗證和確認（Verify & Validate)。
問題