用于验证和确认系统和软件工程模型的统一方法

13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06) Pub Date : 2006-03-27 DOI:10.1109/ECBS.2006.17

L. Alawneh, M. Debbabi, Yosr Jarraya, Andrei Soeanu, Fawzi Hassaïne

{"title":"用于验证和确认系统和软件工程模型的统一方法","authors":"L. Alawneh, M. Debbabi, Yosr Jarraya, Andrei Soeanu, Fawzi Hassaïne","doi":"10.1109/ECBS.2006.17","DOIUrl":null,"url":null,"abstract":"We present in this paper a unified paradigm for the verification and validation of software and systems engineering design models expressed in UML 2.0 or SysML. This paradigm relies on an established synergy between three salient approaches, which are model-checking, program analysis, and software engineering techniques. To illustrate the accomplishment of our results, we have designed and implemented an integrated and automated computer-aided assessment tool. We provide three case studies for sequence, state machine, and class and package diagrams to demonstrate the benefits of our methodology","PeriodicalId":430872,"journal":{"name":"13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2006-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"35","resultStr":"{\"title\":\"A unified approach for verification and validation of systems and software engineering models\",\"authors\":\"L. Alawneh, M. Debbabi, Yosr Jarraya, Andrei Soeanu, Fawzi Hassaïne\",\"doi\":\"10.1109/ECBS.2006.17\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We present in this paper a unified paradigm for the verification and validation of software and systems engineering design models expressed in UML 2.0 or SysML. This paradigm relies on an established synergy between three salient approaches, which are model-checking, program analysis, and software engineering techniques. To illustrate the accomplishment of our results, we have designed and implemented an integrated and automated computer-aided assessment tool. We provide three case studies for sequence, state machine, and class and package diagrams to demonstrate the benefits of our methodology\",\"PeriodicalId\":430872,\"journal\":{\"name\":\"13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06)\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2006-03-27\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"35\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ECBS.2006.17\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ECBS.2006.17","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 35

摘要

我们在本文中提出了一个统一的范例，用于在UML 2.0或SysML中表达的软件和系统工程设计模型的验证和确认。该范例依赖于三种显著方法之间建立的协同作用，这三种方法是模型检查、程序分析和软件工程技术。为了说明我们的成果，我们设计并实施了一个综合的自动化计算机辅助评估工具。我们为序列图、状态机图、类图和包图提供了三个案例研究，以演示我们的方法的好处

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

查看原文本刊更多论文

A unified approach for verification and validation of systems and software engineering models

We present in this paper a unified paradigm for the verification and validation of software and systems engineering design models expressed in UML 2.0 or SysML. This paradigm relies on an established synergy between three salient approaches, which are model-checking, program analysis, and software engineering techniques. To illustrate the accomplishment of our results, we have designed and implemented an integrated and automated computer-aided assessment tool. We provide three case studies for sequence, state machine, and class and package diagrams to demonstrate the benefits of our methodology

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06)

自引率

0.00%

发文量