マルチコアソフト自動並行化技術

情報技術の発展に伴うCPU(プロセサ)に対する処理能力を更なる高い要求している、プロセサはシングルコアからマルチコアへ発展し、並行コンピューティングを物理的に実現したから、コンピューティング能力を大きく高めている。しかし、ソフトウェア開発方法を人間の思考活動方式の制限のため、プログラミングの並行化の実現が難しかった。

該当ソフトウェアツールは伝統のソースコードを分析できる、並行化ソースコードを自動抽出、ソースコードの実行時間を自動見積もり、全体の性能の最優方法論でマルチコアての並行実行方案を出せる。本ツールはユーザーが自分のニーズに合わせて必要な並行実行案を調整できる、調整の同時にリアルタイムで全体の実行効率の変化を見える、マルチコアのそれぞれプロセサに各タスクの実行シミュレーションできる。

本ツールは、マルチコアを基つくソフトウェア開発におけるデザイン補助ツール、マルチコアプロセサを基つくソフトウェアの開発効率を大幅に高める。

ソフトウエアエバグ自動特定技術

信頼性の高い要求の分野では、例えば、自動車、電子、軌道交通、原発、宇宙航空などの分野、ソフトウェアのバグの許容率が非常に低いである。企業のソフト開発プロセス中にバグを見つけるためにかかったコストは非常に高い比率を占めている。ソースコードの規模を拡大し続けて、リリース期間が短縮されて、単純な人工のテストによるバグの発見、バグ発生個所の確認するのはますます今現在のニーズに満足できなくなる。

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

市販では、C言語向け静的分析ツールはソースコードのコーディングルール、配列境界のオーバー、ヌルポイントなど通常問題を解決できている。本ツールはテストソースコードを通して、シミュレーションしたアウトレットと期待値の照合し、ソースコードの一行一行を検査し、ソースコート間のお互い複雑な構成関係を深いまで分析、高精度の分析を行う、的確にコード欠陥を見つける。従来のソースコードのテスト及び手動でバグ分析・発生個所の確認する開発モデルを変化させ、バグがあるソースコードの探す時間を大幅に削減されます。

大型高信頼性ソフトの開発プロセス管理・テスト検証

軌道交通、航空宇宙などの分野では、ソフトウェアの規模が大きく、同時に信頼性要求も非常に高くて、一般的に『過酷システム(critical systems)』と呼ばれます。

国際基準であるIEC61508及びEN50128に従うとソフトウェア開発に関する要求は、V字開発プロセスモデルを採用して管理する。

弊社が上場企業のパートナーと共闘で、ある大型高信頼性ソフトウエアプロジェクトにおいて開発全プロセスの企画、開発部隊の構築、開発進捗の管理、ソフト品質の管理を計画・実施を推進した、ソフト開発の成功まで確保もできているので、イギリス国家標準(BSI)の国際最高級ランクの安全認定に通りました。

同時に弊社が委託を受けて、該当ソフトウエアの機能・性能を全面的にテスト・検証するが、具体的に言うと、各モジュールの詳細なユニットテスト、ホワイトボックスを基つくカバレッジテスト、システムインテグレーション・インタフェーステスト、システムテストを含まれますし、かつ認定するために必要なソースコード、全般要件定義ドキュメント、設計ドキュメント、テストレポートなど内容の(Verify & Validate)検証・確認することも含まれます。