クエリ: 英語で「基準」という意味がある、コンピューターのハードウェアやソフトウェアの性能を比較するために行われるテストを何という?
文章: ベンチマーク コンピュータの分野においては、コンピュータシステムのハードウェアやソフトウェアの性能を測定するための指標のことを指す。ひとつあるいは複数のプログラムを実行した結果をベンチマークスコアと呼び、ある対象に関する相対的な性能を表す指標として用いられる。また、ベンチマークスコアを測定するための特別なプログラム(ベンチマーキングプログラム)自体をベンチマークと呼ぶこともある。著名なベンチマーキングプログラムとしてHPC性能を測るLINPACKや、データベース処理の性能を測定するTPC、DirectXにより3DCGの性能を測る3DMarkなどがある。 その他、ハードウェアの3D機能を高度に駆使し、十分な動作速度を確保するための要求スペックが高いパソコン用のゲームソフトやオンラインゲームでは、動作の確認と宣伝を主目的として、メーカーがゲーム素材を利用したベンチマークソフトや体験版を制作し、配布することもみられている。 ベンチマークは、異なる部品構成やアーキテクチャを持ちスペックなどによる直接的な性能比較ができないシステムの間において、様々な観点で性能を比較する手段を提供する。またベンチマーク結果を集計しグラフ化や比較が可能なウェブサイトも多数存在している。レタッチソフトなどビデオカードのGPUに依存した機能があるソフトウェアではインストール前に自身のハードウェアで利用できる機能を把握したり、適切な機材へ変更する際の指針となる。AdobeはPhotoshopに対応したGPUの最小要件に関しては、ベンチマーク結果を集計したサイトを参照するように誘導している。
文章: 機械翻訳 自動評価尺度として、以下のようなものがある。それぞれの尺度に特徴があるため、1つの尺度を信頼するのではなく、複数の尺度を併用することが望ましい。 文章: 互換性 しかし上位のものに対して、上位の互換性を持つ、と表現する事自体が同語反復的(トートロジー)で、逆の意味に取られることもしばしば起こる。そもそも上位の互換性、という表現自体、互換性に上下は無いのだから微妙である。単に「互換である」でいいし、新しいものが普通は優れているのだからわざわざ上位と言う事はやはりトートロジーである。本来は、英語の出典にならって上方互換/下方互換 と呼称すべきだった。 これらの語はしばしば混同される。前方・後方は時系列についてであり(前方が未来を、後方が過去を意味し、一般的な前後と逆になる)、上位・下位は機能および性能の比較である。何を比較するか、そしてどちらを比較基準にするかを取り違えることのないよう明確にするべきである。 単に従来よりも性能がいいことを「上位互換」と称するのは正しくない(アナログやローテクの誤用と同じく)。 文章: 仮想化 仮想化(かそうか、英語: virtualization)とは、コンピュータのリソースを抽象化することであり、ソフトウェアと物理的なハードウェアの間に抽象化されたレイヤーを提供することで、コンピュータリソースを管理するための様々な技術である。仮想化ソフトウェアを実行しているマシンは、さまざまなオペレーティングシステム(OS)で実行されているアプリケーションを管理できる。サーバー、ストレージデバイス、ネットワークリソースなどのハードウェアプラットフォームをソフトウェアで効果的にエミュレートまたはシミュレートする。一言で言えば、WindowsなどのOS内で別のOSを使用すること。 主にユーザーに提供するコンピュータそのものをハードウェアの詳細から切り離した状態でソフトウェア化する事を指す。ユーザーは画面切り替えの要領で複数のコンピュータを使い分けられる。管理者にとっては、ユーザーに提供するコンピュータに関わる全ての作業をソフトウェアの設定変更のみで行えるようになり、構成変更に掛かる時間が劇的に短縮されるため、物理的な作業では対応できないような管理を行う事が出来るようになる。ソフトウェア化したコンピュータを仮想マシン、仮想マシンを実際に稼動させるハードウェアを物理マシンと呼ぶ。仮想マシンは別の物理マシン上にデータ移動のみで移す事が出来るため、USBメモリなどにも収められる。 「リソースの物理的特性を、そのリソースと相互作用するシステム/アプリケーション/エンドユーザーから隠蔽する技法。単一の物理リソース(サーバ、OS、アプリケーション、補助記憶装置など)を複数の論理リソースに見せかけたり、複数の物理リソース(複数の補助記憶装置群やサーバ群)を単一の論理リソースに見せかけたりできる」という実用的定義がある。また、単一の物理リソースを何らかの特性の異なる単一の論理リソースに見せかけることもできる。そして、仮想回線により、幅が拡がる。 文章: Folding@home Folding@homeでは、オープンソースのOpenMMライブラリを使用している。 このライブラリは、2つのアプリケーション・プログラミング・インターフェース(API)レベルを持つブリッジ設計パターンを使用して、分子シミュレーション・ソフトウェアの基礎となるハードウェア・アーキテクチャにインターフェースする。 OpenMMベースのGPUシミュレーションでは、ハードウェアの最適化が追加されたことで、大幅な変更は必要とせず、手作業でチューニングされたGPUコードとほぼ同等の性能を実現し、CPUの実装を大幅に上回る性能を発揮する。 2010年以前は、GPGPUコンシューマーグレードのハードウェアの計算信頼性はほとんど知られておらず、GPUメモリに内蔵された誤り検出と訂正がないことに関する状況証拠により、信頼性の懸念が生じた。 2010年、Folding@home ネットワーク上の2万台以上のホストを対象とした大規模なGPU科学的精度テストでは、テストされたGPUの3分の2のメモリサブシステムでソフトエラー(英語版)が検出された。 これらのエラーはボードアーキテクチャと強く相関しているが、ソフトウェア側のエラー検出などのハードウェアの特性に注意を払っている限り、信頼性の高いGPUコンピューティングは大いに実現可能であると結論づけている。 Folding@homeの第一世代のGPUクライアント(GPU1)が2006年10月2日に公開され、CPUベースのGROMACSと比較して、いくつかの計算で20~30倍の高速化を実現した。 これは、GPUが分散コンピューティングや主要な分子動力学計算に使用された初めての試みであった。 GPU1は研究者にGPGPUソフトウェアの開発に関する重要な知識と経験を与えたが、2008年4月10日にDirectXの科学的な不正確さに対応して、第2世代のクライアントであるGPU2に引き継がれた。 GPU2の導入後、GPU1は6月6日に正式に引退した。 GPU1に比べて、GPU2はより科学的な信頼性と生産性が高く、ATIやCUDA対応のNvidia GPU上で動作し、より高度なアルゴリズム、より大きなタンパク質、タンパク質シミュレーションのリアルタイム可視化をサポートしていた。 これに続き、2010年5月25日には第3世代のFolding@homeのGPUクライアント(GPU3)がリリースされた。 GPU3は、GPU2との後方互換性を持ちながらも、より安定性、効率性、柔軟性に優れた科学的能力を持ち、OpenCLフレームワークの上にOpenMMを使用していた。 これらのGPU3クライアントはオペレーティングシステムLinuxとmacOSをネイティブにはサポートしていなかったが、Nvidiaのグラフィックカードを搭載したLinuxユーザーはWineソフトウェアアプリケーションを介してGPU3を実行することができた。 GPUは、Folding@homeのFLOPSの中で最も強力なプラットフォームであることに変わりはない。 2012年11月現在、GPUクライアントは、プロジェクト全体のx86 FLOPSスループットの87%を占めている。 文章: 測定 測定は、必ず何かしらの基準となる機器を用い、その結果として数と測定単位の組み合わせで表示される。したがって、例えば並んで立つ2人の身長がどちらが高いかを見る事は測定とは言い難い。試験も何らかの評価を下す行為だが、これも「合否」という結果を導き出すものである限り、測定とは言えない。ただし、一連の試験を下すプロセスの中には、何かしらの測定が行われる場合もある。 同様な意味で用いられ、日本語において明瞭に区別されていない用語には、計測(けいそく、英: instrumentation)と計量(けいりょう、英: metrology)がある。JIS Z8103の「計測用語」では、計測とはより広い定義がなされ、ある目的のために対象を量的に把握する技術・方法や手段の立案・計画から実行、そして目的の達成、結果を情報として利用できるようにする段階までを含む。同用語定義では、計量とは測定標準における公的な取り決めに基づいた、計る行為そのものとみなすこと出来る。 上記のJIS定義は、ISOが定める国際計量基本用語集(VIM, 1993年)との差異がある。VIMでは計量・計測に違いを設けずいずれも英: metrology、仏: mtrologieとし、測定に関する理論および実践のすべてを包括すると定める。測定には仏: mesurageが当たり、測定行為を指し示す用語としている。しかし、計量学におけるそれぞれの名詞は、奥義において重なり合っている部分が多いため厳密に区分できるものではなく、VIMは逆に区分することで表現が枯渇するような事態にならないよう推奨している。 文章: AV-TEST AV-TESTは、さまざまな基準に従ってMicrosoft Windows、macOS、Android用のウイルス対策ソフトウェアを評価およびランク付けする独立組織であり、ドイツのマクデブルクに拠点を置いている。 隔月でテスト結果を発表しており、そこで認定を受けた製品をリストアップしている。またソフトウェア開発者や雑誌のために、様々なウイルス対策、スパイウェア対策、ファイアウォールソフトウェアを定期的にテストしている。製品認証の分野では、Tekit Consult Bonn GmbHと協力している。 このテストは、Windows 98、ME、NT 4.0、2000、XP、2003、Novell NetWare、Linux、Solaris、FreeBSD、OpenBSD、Lotus Domino/Notes、及びMicrosoft Exchangeがインストールされたデスクトップコンピュータとサーバーで実行される。 文章: ソフトウェア ソフトウェア は、コンピューター分野でハードウェア(物理的な機械)と対比される用語で、何らかの処理を行うコンピュータ・プログラムや、さらには関連する文書などを指す。 文章: 堅牢性テスト 堅牢性テスト (英: robustness testing)は、ソフトウェアの堅牢性のテストに焦点を当てた品質保証方法である。堅牢性テストは、テストプロセスにおけるテストケースの堅牢性(つまり正確性)を検証するプロセスを説明するためにも使用されている。 ANSIとIEEEでは、堅牢性を、無効な入力またはストレスの多い環境条件が存在する場合にシステムまたはコンポーネントが正しく機能できる程度として定義している。 「堅牢性テスト」という用語は、カーネギーメロン大学のバリスタプロジェクトで最初に使用された。彼らは、POSIX APIのデータ型に基づいてオペレーティングシステムの信頼性のテストを実行し、一部のシステムで完全なシステムクラッシュを引き起こした。 この用語は、ソフトウェアセキュリティテストの文脈で、PROTOSプロジェクトに参加しているOUSPGとVTTの研究者によっても使用された。 最終的に、ファジングという用語(セキュリティ担当者が主に非インテリジェントでランダムな堅牢性テストに使用する)は、モデルベースの堅牢性テストもカバーするように拡張された。 文章: ソフトウェアテスト プログラムを実際に動かしてみて行うテストを動的テストと呼び、プログラムを実際に動かしてみることなくソースコードやオブジェクトコードを検証する作業を静的テストと呼ぶ。静的テストには、ツールを用いた静的コード解析の他に、人手で行うコードレビュー、ウォークスルー、インスペクションなどがある。多くの場合、意識されることはないが、コンパイラまたはプリコンパイラはソースコードを静的にテストする。 文章: チューリング・テスト 脳や体のスキャン技術が進歩すれば、人間のデータ要素をコンピュータシステムに複製することも可能になるかもしれない。不滅性テストと呼ばれるバリエーションは、人間の主要な個性が、オリジナルの人物と区別できないくらいそっくりに複製できたかを調べるチューリングテストである。最小知性シグナルテストは、クリス・マッケンストリー(Chris McKinstry)が提唱したチューリングテストのバリエーションである。YES/NOの返答のみが許可される。このテストは主に、人工知能プログラムと対照するための統計データを集めるために使われる。 文章: ホワイトボックステスト ホワイトボックステストは、アプリケーションの機能(ブラックボックス)ではなく、アプリケーションの内部構造をテストするソフトウェアテストの手法である。構造テストとも呼ばれる。開発したソフトウェアを中身が見える箱として扱い、内部論理を網羅的にテストする。プログラムが辿る経路をどれだけ実行したかを基準とする。 ホワイトボックステストでは、システムの内部的な視点とプログラミングスキルを使用して、テストケースを設計する。テスターは、入力を選択してコード内のパスを実行し、期待される出力を決定します。これは、インサーキットテスト(ICT)など、回路内のノードのテストに類似しています。ホワイトボックステストは、ソフトウェアテストプロセスのユニット、統合、およびシステムレベルで適用できます。従来のテスターは、ホワイトボックステストをユニットレベルで行われると考える傾向がありましたが、今日では統合およびシステムテストに使用されることが多くなっています。ユニット内のパス、統合中のユニット間のパス、およびシステムレベルのテスト中のサブシステム間のパスをテストできます。このテスト設計方法では、多くのエラーや問題を発見できるが、仕様の実装されていない部分や不足している要件を見逃す可能性がある。ホワイトボックステストが設計主導型である場合 、つまり、ソフトウェアの各コンポーネントの動作が合意された仕様のみに基づく場合、ホワイトボックステスト手法で、未実装の要件と欠落している要件の評価を行うことができる。 ホワイトボックステストの設計手法には、次のコードカバレッジ基準が含まれる。 制御フローテスト データフローテスト ブランチテスト ステートメントカバレッジ 決定範囲 変更された条件/決定範囲 プライムパステスト パステスト 文章: ソフトウェア特許 初めて認可された特許はおそらく、1962年、英国石油によって申請された、線形計画法の解法に関する特許であろう。この特許は、低速な記憶装置と高速な記憶装置を用いて、反復法によって線形計画法を解くようにプログラムされたコンピュータの特許である。これは、多数の制約条件を有する最適化問題を連立一次方程式によって解く方法であったが、この時代には、コンピュータを使うことが、直接「機械」を用いることを意味していたため、産業上の利用可能性を充足すると捉えられていたものである。 このように、かつては、ソフトウェアはハードウェアに極めて近い機械語・低級言語であったことから、ソフトウェアはある意味、具体的で生々しいものであり、ハードウェア等の技術的な構成と密接に関連していたものであった。しかしながら、コンピュータのソフトウェアは、ハードウェアから離れ、徐々に抽象化・概念化が進み、ソフトウェアが必ずしも従来のストアードプログラム方式に基づいて動作することを直接的に意味するものではなくなりつつある。 文章: 半導体試験装置 半導体デバイスに電気を流すことで、正常に動作するかを試験する装置。ATE(Automated Test Equipment)とも呼ばれる。検査対象(DUT, Device Under Test)の集積回路設計時に作成したテストパターンを元に、入力信号を生成し出力信号を期待値と比較する。ウェハーのレベルでの試験(前工程試験、プローブテスト)、パッケージング後の試験(後工程試験)の2回の試験が行われる。装置の価格が数千万円程度と高価であり、テスト時間(主にテストパターン長に依存)が長いと半導体製品の価格に影響を与える。ウェハーレベルでの試験の際、電気を流すためにウェハーに針(プローブ)を当てるための装置。テスタと接続して用いられる。DUTのPADの位置にプローブを配置したプローブカードをDUT毎に交換して用いる。パッケージング後の試験の際、テスタにデバイスを供給するための装置。 文章: ダック・テスト ダック・テスト(duck test)とは、アメリカ合衆国やイギリスでよく見られるアナロジーのひとつである。特にイギリスにおいては、「英国規格ダック・テスト」と、あたかも国の標準規格であるかのようにも呼ばれる。ダック・テストは、以下のように説明される。ダック・テストは帰納法の一種である。ある者が認識可能な事象から、未知のものの真の姿を推し量ることができるというものである。このテストは、ものごとは見えるとおりのものでないこともあり得るとする深遠な議論への反論としても用いられる。起源については定説はないが、有力な説は2説ある。1つは1964年にリチャード・カーディナル・クッシングがフィデル・カストロの言を参考にしてこの言葉を用いたとする説である。 文章: 特許・実用新案審査基準 特許・実用新案審査基準(とっきょ・じつようしんあんしんさきじゅん)は、日本国特許庁の審査官による特許出願の審査および実用新案の技術評価が一定の基準に従って公平妥当かつ効率的に行われるように、特許法等の関連する法律の適用についての日本国特許庁の基本的な考え方をまとめた文書である。日本国特許庁のホームページで無料で公開されるとともに、その印刷物が発明協会から発売されている。『特許・実用新案審査基準』は、現在、日本国特許庁の特許審査第一部調整課審査基準室が過去の判例等を研究し、パブリックコメントの手続を経て改訂している。日本国特許庁の特許および実用新案の審査官は、『特許・実用新案審査基準』に沿った審査または技術評価をすることが求められるとされる。したがって、『特許・実用新案審査基準』は法令の行政解釈の一つといえる。