マルコフ連鎖はモデルベーステストの効率的方法となる。マルコフ連鎖を実装したテストモデルは使い方のモデルとみることができる。使い方のあらゆるシナリオを表現した有限オートマトンと、そのシステムがどのように使われるかを統計的に表した運用プロファイルとで構成される。有限オートマトンは何ができるかを表現しており、テスト対象となる。運用プロファイルは運用テストケースの生成を助ける。この技法は、システムを網羅的にテストするのが困難で、そもそも問題（バグ）がほとんどないようなシステムのテストケースを生成するために生まれた。そのため、テスト対象システムの信頼性向上を目的として統計的なテストケースを生成するのに適している。近年、組み込みシステムにも適用できるよう拡張されている。
外部リンク.
ツール
モデルベース評価
期日問題
レビラト婚
死亡した妻の代わりにその姉妹が夫と結婚する慣習のことはソロレート婚という。
概要.
レビラト婚には、最初の婚姻で結ばれた両親族集団の紐帯を維持する役割があった。
歴史的にはユダヤ、パンジャブ、モンゴル族、匈奴、チベット民族などで見られた。兄弟が寡婦の権利・義務を受け継ぐ場合も含めると、世界中に広く見られる。
きゅん
きゅん、キュン
バリー・アクロイド
キュン
国立新竹科学園区実験高級中学
学校は工業園区内の企業、政府機関、学術研究機関（清大、陽明交通大学、工研院及び国家実験室を含む）、海外帰国生徒への特別な教育を実施する目的があり、帰国した研究者や技術者を新竹地区に確保するための重要な要素になっている。
創立の目的.
バイリンガル部が最も特色ある教育を行い、主要授業は英語により実施し、学校管理はアメリカの学校に類似したものとなっている。海外から帰国した外交官、研究者及び技術者の子女に対し就学の機会を提供することで、優秀な人材を科学園区に従業させるための支援を行なっていた。そのため設立当初は一般の台湾の学校とは異なり、教育部及び国科会の共同管理により運営されていた。
生徒募集対象.
新竹科学園区内の企業、食品工業研究所、中科院、核能研究所、科学園区管理局、国家発展研究院機構、国家衛生研究院、財団法人動物科技術研究所、科学園区実験中学等の研究機構、海外より帰国した研究者及び外交官の子女が募集対象であり、試験と抽選により選抜される。
組織構成.