Proceedings. 2004 First International Workshop on Model, Design and Validation, 2004.最新文献

Reliability analysis of the k-out-of-n multi-state system k-out- n多状态系统的可靠性分析

Proceedings. 2004 First International Workshop on Model, Design and Validation, 2004. Pub Date : 2004-11-02 DOI: 10.1109/MODEVA.2004.1425848

E. Zaitseva, S. Kovalik, V. Levashenko, K. Matiaško

引用次数: 2

Optimal allocation of testing resources 测试资源的最优分配

Proceedings. 2004 First International Workshop on Model, Design and Validation, 2004. Pub Date : 2004-11-02 DOI: 10.1109/MODEVA.2004.1425842

Yves Le Traon, Benoit Baudry

引用次数: 2

Models for synchronous software testing 同步软件测试的模型

Proceedings. 2004 First International Workshop on Model, Design and Validation, 2004. Pub Date : 2004-11-02 DOI: 10.1109/MODEVA.2004.1425847

A. Lakehal, F. Ouabdesselam, I. Parissis, J. Vassy

引用次数: 4

Avoiding unpredicted behaviour of large scale embedded systems by design and application of modelling rules 通过设计和应用建模规则来避免大规模嵌入式系统的不可预测行为

Proceedings. 2004 First International Workshop on Model, Design and Validation, 2004. Pub Date : 2004-11-02 DOI: 10.1109/MODEVA.2004.1425850

B. Florentz, M. Mutz, M. Huhn

引用次数: 2

Validation in model-driven engineering: testing model transformations 模型驱动工程中的验证:测试模型转换

Proceedings. 2004 First International Workshop on Model, Design and Validation, 2004. Pub Date : 1900-01-01 DOI: 10.1109/MODEVA.2004.1425846

Franck Fleurey, Jim Steel, B. Baudry

{"title":"Validation in model-driven engineering: testing model transformations","authors":"Franck Fleurey, Jim Steel, B. Baudry","doi":"10.1109/MODEVA.2004.1425846","DOIUrl":"https://doi.org/10.1109/MODEVA.2004.1425846","url":null,"abstract":"The OMG's model-driven architecture is quickly attracting attention as a method of constructing systems that offers advantages over traditional approaches in terms of reliability, consistency, and maintainability. The key concepts in the MDA are models that are related by model transformations. However, for the MDA to provide an adequate alternative to existing approaches, it must offer comparable support for software engineering processes such as requirements analysis, design and testing. This paper attempts to explore the application of the last of these processes, testing, to the most novel part of the MDA, that of model transformation. We present a general view of the roles of testing in the different stages of model-driven development, and a more detailed exploration of approaches to testing model transformations. Based on this, we highlight the particular issues for the different testing tasks, including adequacy criteria, test oracles and automatic test data generation. We also propose possible approaches for the testing tasks, and show how existing functional and structural testing techniques can be adapted for use in this new development context.","PeriodicalId":250841,"journal":{"name":"Proceedings. 2004 First International Workshop on Model, Design and Validation, 2004.","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132831472","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 136