摘要：使用LDRA Testbed對實例進行覆蓋測試，介紹了獲得語句覆蓋率、分支覆蓋率以及MC/DC覆蓋率的方法，同時闡述了這3種覆蓋測試方法的優劣，表明了LDRA Testbed能夠有效獲取被測軟件的動態覆蓋率信息，降低測試難度，提高測試效率。
注：因版權方要求，不能公開全文，如需全文，請咨詢雜志社
期刊名稱：計算機光盤軟件與應用
計算機光盤軟件與應用雜志緊跟學術前沿，緊貼讀者，致力于創辦以創新、準確、實用為特色，突出綜述性、科學性、實用性，及時報道國內外計算機技術在科研、教學、應用方面的研究成果和發展動態，為國內計算機同行提供學術交流的平臺。堅持指導性與實用性相結合的原則，創辦于1998年，雜志在全國同類期刊中有很重的學術價值。
