Improved checkpoints for error recovery of Estelle

• Main Authors: CAI, YI-MIN, 蔡貽敏
• Other Authors: XIE, WEN-XIONG
• Format: Others
• Language: zh-TW
• Published: 1989
• Online Access: http://ndltd.ncl.edu.tw/handle/21249390806196737401

碩士 === 國立中山大學 === 電機工程研究所 === 77 === Estelle 是一種用來描述分散式且同時發生動件之資料處理系統的形式描述語言。它 與我們平常所使用的程式語言（例如巴斯卡，福傳，C 等等）在很多方面均不相同最 主要者，Estelle 可以用來描述國際標準組織在通信網，路所定義的七層結構中每一 層所具有的服務及通信協定，亦可以用來做為通信協定的測試，尤其當一些編譯器被 研究出來之後，利用它們來降低人工，時間的花費，更可獲得令人滿意的結果。到目 前為止，雖然有許多關於Estelle 的研究曾經被提出（例如程式發展環境，自動化協 定實作系統，及自動化協定測試系列產生系統等等），但是當這些以Estelle 寫成的 程序被編譯成可執行程式，然後如一般程式被載入計算機中執行時，同樣地，也面臨 了一些可靠度的問題。任何暫態性的錯誤均可能導致整個程式執行的失敗，也影響到 協定的穩定性及可靠度。故如何去增進其可靠度實為一重要的任務。在目前大家所熟 知之幾種關於軟體容錯及增進軟體可靠度的方法中，並沒有任何一種可以適恰地應用 在Estelle 特性加以討論，然後提出一套可以適用於Estelle 的方法。另外，藉由這 方法做錯誤恢復的動作也一併加以討論。