プログラム言語の分類で、C言語やJavaのように、手続きの順序を記述していく言語を何というか。

ソフトウェアに、意図的に欠陥（バグ）を埋め込み、テストでその欠陥がどれだけ発見されるかによって、ソフトウェア全体の品質を推定する手法はどれか。