点击次数：

论文类型：会议论文

发表时间：2013-01-01

收录刊物：CPCI-S

卷号：38

页面范围：940-943

关键字：Platform Design; Shell Interface; Algebraic Verification; Software architecture

摘要：In this paper, we propose a new software architecture method based on shell engine for the algebraic verification platform. The algebraic verification platform comprises many different assertion checking modules. Based on an extension of the TK shell interprets, we give a novel platform design method which can provide command-line interface and graphical user interface. Users also can add some custom commands to increase new checking modules. Practice shows this software design method had good scalability and efficiency for both developers and users.