ニュース
SuperTest Vermeer リリース アップデート#4 Tempest2 を導入し、800を超える C++用のテストを追加【Solid Sands】
2023年5月16日
SuperTest Vermeer リリース アップデート#4 Tempest2 を導入し、
800を超える C++用のテストを追加
オランダ、アムステルダム（2023年 5月 16日）コンパイラとライブラリのテスト・認定技術で世界をリー ドする Solid Sandsは、SuperTest Vermeer リリースのアップデート#4 の販売を開始しました。
この SuperTest Vermeerリリース アップデート#4 では 800 個のテストが追加されて利用でき、それによっ て C++によるセーフティクリティカルなアプリケーションの開発者を次のレベルへと引き上げま す。SuperTest は、ISO 26262 のセキュリティ、機能安全、動作要件を満たしています。C++20 コンパイラ のテストと検証をサポートすることにより SuperTest は、開発者が C++プログラミングにおける最新動向 すべてを把握できるようにします。
SuperTest Vermeer リリース アップデート#4 では、より効率的な最適化スイートを組み込んで、繰り返し のテストパターンを自動化できる使いやすい人気ツールの最新版 Tempest2を導入しました。Tempest2 では Solid Sands のテストジェネレーターを組み込むための汎用メカニズムを使用し、文脈自由文法とコードテ ンプレートからテストを生成できます。Tempest2は、複数のリテラルを結合する方法として「tie」を使用 するように開発されており、テスト開発者はテストの生成方法を正確に制御できます。
Solid Sands の CTO、Marcel Beemster は次のように述べています。「C++にとって大きな前進となる今回 のアップデートは、自動車などセーフティクリティカルな業界のユーザーに歓迎されるものと確信していま す。特に、C++11/C++14 に対する標準ライブラリの構造カバレッジが 100%近くまで向上していることに注 目ください。他の多くのユーザーにも、最適化のテストスイートが強化され、さらに適用範囲が広くなった ことや、テストスイートの構成が言語仕様により合致するよう細かく調整されたことが評価いただけること でしょう。また、すでに多くのテストが作成済みなので、Tempest2 のテンプレートを自分で書かなくても、 誰もがすぐにその恩恵を受けることができます」
Solid Sandsについて
Solid Sands は 2014 年の設立で、C/C++のコンパイラとライブラリのテスト・検証・安全に貢献するワン
ストップショップです。比類ないレベルのコンパイラとライブラリのテストカバレッジを持つ広範なテスト・
検証スイートを提供することで当社は、お客様が ISO 規格で要求されるソフトウェアツールの品質レベル
を達成することを可能にします。この社名は、世界で最も豊富なシリコン源である砂と、この分野をリード
するテスト・検証技術に対して期待される堅牢性と安全性を組み合わせたものです。当社の製品およびサー
ビスに関する詳細は www.solidsands.nl でご覧いただけます。Solid Sands は LinkedIn や
Twitter、YouTubeでフォローいただけます。
お問い合わせ：
Solid Sands B.V.
Marianne Damstra
marianne@solidsands.nl
Solid Sands B.V. ホームページはこちら
