A technique for analysing and testing object-oriented software using coloured Petri nets

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

Harumi Watanabe, Hiroki Tokuoka, Wenxin Wu, M. Saeki

{"title":"A technique for analysing and testing object-oriented software using coloured Petri nets","authors":"Harumi Watanabe, Hiroki Tokuoka, Wenxin Wu, M. Saeki","doi":"10.1109/APSEC.1998.733718","DOIUrl":null,"url":null,"abstract":"Object-oriented software essentially has dynamic aspect such as object creation, deletion and dynamic binding during execution. This aspect makes behavior analysis and tests of object-oriented software significantly complicated. In this paper we propose a new technique of object-oriented software analysis and testing by using Coloured Petri Nets (CPN), which is an extended version of Petri Net, one of formal techniques having the ability to analyze concurrent behavior. We represent identified objects with colored tokens of a CPN expressing object oriented software in order to avoid the net-explosion problem. We provide translation rules of object-oriented software into a CPN and a technique to analyze and test effectively the net to investigate several behavioral properties. Our translation technique is essentially independent of which language we describe software. As an example, to show the effectiveness of our technique, we pick up UML (Unified Modeling Language) and translate a specification written in it into a CPN. The net is analyzed tested and simulated as a prototype of the specification.","PeriodicalId":296589,"journal":{"name":"Proceedings 1998 Asia Pacific Software Engineering Conference (Cat. No.98EX240)","volume":"16 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1998-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"22","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.733718","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 22

Abstract

Object-oriented software essentially has dynamic aspect such as object creation, deletion and dynamic binding during execution. This aspect makes behavior analysis and tests of object-oriented software significantly complicated. In this paper we propose a new technique of object-oriented software analysis and testing by using Coloured Petri Nets (CPN), which is an extended version of Petri Net, one of formal techniques having the ability to analyze concurrent behavior. We represent identified objects with colored tokens of a CPN expressing object oriented software in order to avoid the net-explosion problem. We provide translation rules of object-oriented software into a CPN and a technique to analyze and test effectively the net to investigate several behavioral properties. Our translation technique is essentially independent of which language we describe software. As an example, to show the effectiveness of our technique, we pick up UML (Unified Modeling Language) and translate a specification written in it into a CPN. The net is analyzed tested and simulated as a prototype of the specification.

查看原文本刊更多论文

一种利用彩色Petri网分析和测试面向对象软件的技术

面向对象软件在执行过程中具有动态方面，如对象的创建、删除和动态绑定。这使得面向对象软件的行为分析和测试变得非常复杂。本文提出了一种利用彩色Petri网(CPN)进行面向对象软件分析和测试的新技术，它是Petri网的扩展版本，是一种具有分析并发行为能力的形式化技术。为了避免网络爆炸问题，我们用表示面向对象软件的CPN的彩色标记来表示已识别的对象。我们提供了将面向对象软件转换为CPN的规则，并提供了一种有效分析和测试网络的技术，以研究网络的一些行为特性。我们的翻译技术基本上与我们描述软件的语言无关。作为一个例子，为了显示我们技术的有效性，我们选择了UML(统一建模语言)并将用它编写的规范转换为CPN。作为规范的原型，对该网络进行了分析、测试和仿真。

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

求助全文

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

来源期刊

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

自引率

0.00%

发文量