以下は、正確にその年が問題となるものもあるが、数年にわたる現象のピークを示すものや、統計上興味深い変化が予想される場合など、その年に実際に何かが起こるわけではないものもある。また、事前の予測年と事象の実際の発生年が異なった場合や、その事象に関する関係者らの事前の対策や努力などで回避・先送りできたり、あるいは過去に問題の発生が予測・懸念されても、その後の社会の変化などで実際には問題は起こらず単なる杞憂に終わった事象もある。
オスカーとルシンダ
ストーリー.
聖公会牧師のオスカー・ホプキンスは、シドニーへ向かう船の中で、ルシンダというガラス工場を持つ金持ちの女性と出会う。ギャンブル好きの二人は意気投合し、ガラスで出来た教会を巡って賭けをする。
モデルベーステスト
モデルベーステストではテストスイートはソースコードからではなくモデルから抽出されるため、一種のブラックボックステストを構成するのが一般的である。見方によってはこれは完全とはいえない。モデルベーステストとソースコードレベルのテストの網羅率測定を組み合わせ、機能的モデルを初期段階のソースコードに基づいて構築するなどのテスト改善方法が考えられる。
複雑なソフトウェアシステムのモデルベーステストは発展途上の分野である。
モデル.
モデルベーステストの使い方.
モデルベーステストの使い方はいくつかあり、「オンラインテスト」、「オフラインの実行可能テスト生成」、「オフラインの手動実行可能なテスト生成」などがある。
オンラインテストとは、対象システムとモデルベーステストのツールを直接接続し、動的にテストを行うものである。
オフラインの手動実行可能なテスト生成とは、人間が読める形のテストを生成し、後でそれに従って人手でテストを行う。例えば、PDFなどの形式で人間が読める（自然言語で書かれた）テスト仕様書を生成する。
アルゴリズム的なテスト導出.
モデルベーステストの主な有効性は、自動化の可能性にある。モデルを機械が読み取ることができ、十分に形式的であれば、基本的にテストケースを機械的に抽出することができるはずである。
有限状態機械.