Solid Sands(オランダ アムステルダム)は、このほどSuperTest Vermeerリリースのアップデート#4の販売を開始した。アップデート#4は800個のテストを追加、利用可能で、C++によるセーフティクリティカルなアプリケーション開発に貢献する。

SuperTestは、ISO 26262のセキュリティ、機能安全、動作要件を満たし、C++20コンパイラのテストと検証をサポートすることで開発者がC++プログラミングにおける最新動向すべてを把握できる。
SuperTest Vermeerリリース アップデート#4では、より効率的な最適化スイートを組み込み、繰り返しテストパターンを自動化できる使いやすい人気ツールの最新版Tempest2を導入した。
Tempest2ではSolid Sandsのテストジェネレーターを組み込むための汎用メカニズムを使用し、文脈自由文法とコードテンプレートからテストを生成できる。
Tempest2は、複数のリテラルを結合する方法として「tie」を使用するように開発され、テスト開発者はテストの生成方法を正確に制御できる。

今回のアップデートは、自動車などセーフティクリティカルな業界に最適で、特にC++11/C++14に対する標準ライブラリの構造カバレッジを100%近くまで向上。他のユーザーにも最適化のテストスイートが強化され、適用範囲が広くなったことに加え、テストスイートの構成が言語仕様により合致するよう細かく調整された。すでに多くのテストが作成済みのため、Tempest2のテンプレートを自分で書かなくても、すぐに活用できる。

Solid Sandsは2014年設立。C/C++のコンパイラとライブラリのテスト・検証・安全に貢献するワンストップショップ。比類ないレベルのコンパイラとライブラリのテストカバレッジを持つ広範なテスト・検証スイートを提供する同社は、ISO規格で要求されるソフトウェアツールの品質レベルを達成することを可能にする。

製品およびサービスに関する詳細は
https://www.solidsands.nl

※コンパイラ
コンピュータの自動プログラミングに使うプログラムの一種。一般に、一定方式に従い、使用機種には依存せず人間に分かりよい形で書いたプログラムを、機械コード（＝機械がすぐ実行できる形）に翻訳する仕事を受け持つ。また「コンパイラ言語（＝コンパイラに与えるために約束された人工言語）」の略語としても使う。
※C++
コンパイル C言語を用いて作成されたプログラム(ソースプログラム)を計算機は直接実行できないため、それを翻訳して実行可能形式(機械語プログラム、ロードモジュール)に変換する必要がある。この変換作業をコンパイルと呼び、コンパイルを行ってくれるソフトウェアをコンパイラと呼ぶ。

(※資料提供：Solid Sands)