前節の意味／行為／感覚の三角形に、ソフトウェアの要求とテスト（実行の反応）を当てはめてみることにします。すなわち、Sは意味（Semantics）、Rは要求（Requirements）、Tはテスト（Test）を表わしています。Ｖ字に対峙して、Λ字モデルとでも言えるでしょう。

 

　Λ字モデルでは、人工物としてのソフトウェアが実行することによる、認識の変化・修正を扱うことができます。（TはTestというよりTrackやTraceのTとした方がよいかもしれません。）

 

　第Ⅰ節のＶ字モデルと統合すると、以下のようになります。

 

　これがΛＶモデルです。

（１） そもそもＲなんて判らない（語れない）かもしれない。

（２） でもＲを満たすＩを作る（既にあるものかもしれない）

　　　　　「実行」できるのはＩだけ。

（３） だからＩを実行させてＴをやる。

　　　　　IがRを満たしていない場合には、Iの実現方法に誤りがあることになる。

　　　　　（これは、従来の伝統的な内部テストの問題）

（４） Ｔという作用を受けて＜S意味（認識）が変わってＲ（要求）が変わる＞ことがある。