一個C 程式測試路線的分析器

Abstract

本論文描述一個C 程式測試路線分析器的設計和完成。此系統是在VAX １１╱７８０ ，４．２BSD UNIX作業系統下發展，它能夠幫助程式測試員分析C 程式，列出測試路 線，產生路線述語，並且符號性地執行程式。