A scalable and modular approach to verification of ATM switching system using reverse specification

Proceedings 1998 Asia Pacific Software Engineering Conference (Cat. No.98EX240) Pub Date : 1998-12-02 DOI:10.1109/APSEC.1998.733730

C. Chung, Moon-kun Lee, M. Jeong

{"title":"A scalable and modular approach to verification of ATM switching system using reverse specification","authors":"C. Chung, Moon-kun Lee, M. Jeong","doi":"10.1109/APSEC.1998.733730","DOIUrl":null,"url":null,"abstract":"This paper presents a methodology to verify very large and complex real-time software, such as ATM switching system. Due to the size and complexity, it is commonly very hard to understand and then verify the software. To overcome this problem, the methodology provides a scalable and modular approach to software understanding and verification. Firstly, an architecture of the software is constructed. The basic building block of the architecture is a Software Unit (SWU) which is hierarchically organized in the architecture. It guides understanding of the structural, functional, and behavioral views of the software at different abstraction levels. Secondly, there is a behavioral representation in the Real-time State Machine for Reverse Specification (RSMRS). RSMRS is constructed from SWU using reverse specification. RSMRS is further simulated and the simulation output is analyzed for verification. One of the most powerful characteristics of this approach is the capability of abstracting and exploding and verification information.","PeriodicalId":296589,"journal":{"name":"Proceedings 1998 Asia Pacific Software Engineering Conference (Cat. No.98EX240)","volume":"61 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1998-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings 1998 Asia Pacific Software Engineering Conference (Cat. No.98EX240)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/APSEC.1998.733730","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

Abstract

This paper presents a methodology to verify very large and complex real-time software, such as ATM switching system. Due to the size and complexity, it is commonly very hard to understand and then verify the software. To overcome this problem, the methodology provides a scalable and modular approach to software understanding and verification. Firstly, an architecture of the software is constructed. The basic building block of the architecture is a Software Unit (SWU) which is hierarchically organized in the architecture. It guides understanding of the structural, functional, and behavioral views of the software at different abstraction levels. Secondly, there is a behavioral representation in the Real-time State Machine for Reverse Specification (RSMRS). RSMRS is constructed from SWU using reverse specification. RSMRS is further simulated and the simulation output is analyzed for verification. One of the most powerful characteristics of this approach is the capability of abstracting and exploding and verification information.

查看原文本刊更多论文

一种可扩展和模块化的ATM交换系统反向规范验证方法

本文提出了一种验证大型复杂实时软件的方法，如ATM交换系统。由于软件的大小和复杂性，通常很难理解和验证软件。为了克服这个问题，该方法为软件理解和验证提供了一种可伸缩和模块化的方法。首先，构建了软件的体系结构。体系结构的基本构建块是软件单元(Software Unit, SWU)，它在体系结构中分层组织。它指导在不同抽象层次上对软件的结构、功能和行为视图的理解。其次，在反向规范实时状态机(RSMRS)中有一种行为表示。RSMRS是使用反向规范从SWU构造的。进一步对RSMRS进行了仿真，并对仿真输出进行了分析验证。这种方法最强大的特征之一是抽象、扩展和验证信息的能力。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Proceedings 1998 Asia Pacific Software Engineering Conference (Cat. No.98EX240)

自引率

0.00%

发文量