マルチコアソフト自(zì)動並行(xíng)化(huà)技(jì)術

情報技(jì)術の発展に伴うCPU(プロセサ)に対する処理(lǐ)能(néng)力を更なΩ÷¶βる高(gāo)い要(yào)求している、プロセサはシングルコアからマルチコアへ発展し、≈€並行(xíng)コンピューティングを物(wù)理(lǐ)的(de)に実現したかε±ら、コンピューティング能(néng)力を大¶★ε(dà)きく高(gāo)めている。しかし、ソフトウェア開発方法を人(rén<§←)間の思考活動方式の制(zhì)限のため、プログラミングの並行(xíng)化(h¥≠​↔uà)の実現が難しかった。

該當ソフトウェアツールは伝統のソースコード✘<®÷を分(fēn)析できる、並行(xíng)化(huà)ソースコードを自(zì)動抽出、ソ§ ¶ースコードの実行(xíng)時間を自(zì)動✔γ見積もり、全體(tǐ)の性能(néng)の最優方法論でマルチコアての並行(xínβ↓δ&g)実行(xíng)方案を出せる。本ツールはユーザーが自(zì)分(fēn)のニーズに合わせ​λて必要(yào)な並行(xíng)実行(xíng)案を調整できる、調整の同時ε×にリアルタイムで全體(tǐ)の実行(xíng)効率の変化(hu&φà)を見える、マルチコアのそれぞれプロセサに各タスクの実行(xíng)シミュレーションでき≈✔₩る。

本ツールは、マルチコアを基つくソフトウェア開発におけるデザイン補助ツール、マルチコアプロセサ≤↑₹を基つくソフトウェアの開発効率を大(dà)幅に高(gāo)®β♣<める。

ソフトウエアエバグ自(zì)動特定技(jì)術

信頼性の高(gāo)い要(yào)求の分(fēn)野では、例えば、自(zì)≠¶∏→動車、電子(zǐ)、軌道(dào)交通(tōng)、原 <♠発、宇宙航空(kōng)などの分(fēn)野、ソフトウェアのバグの許容率が非常に低(d¶‍•‍ī)いである。企業のソフト開発プロセス中にバグを見つけ∞εε₹るためにかかったコストは非常に高(gāo)い比率を占めている。ソースγ♣コードの規模を拡大(dà)し続けて、リリース期間が短(duǎn)縮されて、単純な人(rén)工≥σ±(gōng)のテストによるバグの発見、バグ発生(shēng)個所の確認するのはますます今現在のニー₩♠₹ズに満足できなくなる。

本ツールはソースコードの編集IDE環境、動的(de)デバッグ環境、コンパイル及びテスト実行(x¶±íng)環境をインテグレーションしている、開発の効率をアップと共に、ロジック的(∑Ω÷de)なバグの自(zì)動特定もできる。

市(shì)販では、C言語向け靜(jìng)的(de)分(fēn)析ツールは×α φソースコードのコーディングルール、配列境界のオーバー、ヌルポイントなど通(tōng)常問題を解決で≤♦✘Ωきている。本ツールはテストソースコードを通(tōng)して、シミュレーションした♦↔ アウトレットと期待値の照(zhào)合し、ソースコードの一(yī)行(£ε¥λxíng)一(yī)行(xíng)を検査し、ソースコート間のお互い複雑な構成関係を深いま∑₩で分(fēn)析、高(gāo)精度の分(fēn)析を行(xí<★ng)う、的(de)確にコード欠陥を見つける。従來(lái)のソπ‌ースコードのテスト及び手動でバグ分(fēn)析・発生(shēng)個所の® 確認する開発モデルを変化(huà)させ、バグがあ∞₽₩るソースコードの探す時間を大(dà)幅に削減されます。

大(dà)型高(gāo)信頼性ソフトの開発σ×&プロセス管理(lǐ)・テスト検証

軌道(dào)交通(tōng)、航空(kō®₩ng)宇宙などの分(fēn)野では、ソフトウェアの規模→₹が大(dà)きく、同時に信頼性要(yào)求も非常に高(gāo)くて、一(y↓δ≈ī)般的(de)に『過酷システム(criti←✔>cal systems)』と呼ばれます。

國(guó)際基準であるIEC61508及びEN50128に従うとソフトウ‌↓ェア開発に関する要(yào)求は、V字開発プロセスモデルを採用(yòng)して管理(lǐ♠₩)する。

弊社が上(shàng)場企業のパートナーと共闘で、ある大∑✘©✔(dà)型高(gāo)信頼性ソフトウエアプロジェクトにおいて開発全プロセスの企畫(huà)§₩>、開発部隊の構築、開発進捗の管理(lǐ)、ソフト品質の管理(lǐγ←β)を計畫(huà)・実施を推進した、ソフト開発の成功まで確保もできているので、イギリス國(gu☆$"÷ó)家(jiā)標準(BSI)の國(guó)際最高(gāo)級ランクの安全認定に通>₽"ε(tōng)りました。

同時に弊社が委託を受けて、該當ソフトウエアの機能(nén€δg)・性能(néng)を全面的(de)にテスト・検証するが、↑Ω具體(tǐ)的(de)に言うと、各モジュールの詳細なユニットテスト、ホワイトボックス→ §を基つくカバレッジテスト、システムインテグレーション・インタフェー♦&™ステスト、システムテストを含まれますし、かつ認定するために必☆★₽&要(yào)なソースコード、全般要(yào)π‍件(jiàn)定義ドキュメント、設計ドキュメント、テストレポートなど內(nèi)容の(↔σ©♠Verify & Validate)検証・確認することも含まれます。