LDRA Testbed

来自维基百科，自由的百科全书

Found in articles

用到的數學函式庫的品質。Hennell教授後來成立了LDRA公司（英语：Liverpool Data Research Associates），將為計劃開發的測試平台商品化販售，也就是後來的LDRA Testbed（英语：LDRA Testbed）。 LCSAJ是從1976年開始的，現在也稱為是跳躍—跳躍路徑（JJ-path）。

需求可追蹤性

Visio等工具軟體中。而最後實現的開發產物可能是以原始碼的形式出現。驗證產物可能是由內部測試或是型式驗證工具（像是LDRA Testbed suite（英语：LDRA Testbed）、Parasoft DTP（英语：Parasoft DTP）或SCADE）所產生的結果。