International Conference on Evaluation of Novel Approaches to Software Engineering最新文献_第7页

New Method to Reduce Verification Time of Reconfigurable Real-Time Systems Using R-TNCESs Formalism 利用r - tness形式减少可重构实时系统验证时间的新方法

International Conference on Evaluation of Novel Approaches to Software Engineering Pub Date : 2019-05-04 DOI: 10.1007/978-3-030-40223-5_12

Y. Hafidi, L. Kahloul, M. Khalgui, M. Ramdani

引用次数: 3

Longitudinal Evaluation of Software Quality Metrics in Open-Source Applications 开源应用软件质量度量的纵向评价

International Conference on Evaluation of Novel Approaches to Software Engineering Pub Date : 2019-05-04 DOI: 10.5220/0007725600800091

A. Molnar, A. Neamţu, S. Motogna

{"title":"Longitudinal Evaluation of Software Quality Metrics in Open-Source Applications","authors":"A. Molnar, A. Neamţu, S. Motogna","doi":"10.5220/0007725600800091","DOIUrl":"https://doi.org/10.5220/0007725600800091","url":null,"abstract":"Assessment of software quality remains the focus of important research efforts, with several proposed quality models and assessment methodologies. ISO 25010 describes software quality in terms of characteristics such as reliability, security or maintainability. In turn, these characteristics can be evaluated in terms of software metric values, establishing a relation between software metrics and quality. However, a general metric-based model for software quality does not yet exist. The diversity of software applications, metric definitions and differences between proposed quality models all contribute to this. Our paper proposes a longitudinal evaluation of the metric values and their relations in the context of three complex, open-source applications. We cover the entire 18 year development history of the targeted applications. We explore typical values for metrics associated with software product quality and explore their evolution in the context of software development. We identify dependant metrics and explore the effect class size has on the strength of dependencies. At each step, we compare the obtained results with relevant related work in order to contribute to a growing pool of evidence towards our goal - a metric-based evaluation of software quality characteristics.","PeriodicalId":420861,"journal":{"name":"International Conference on Evaluation of Novel Approaches to Software Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130490072","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}

引用次数: 8

Model-Based Risk Analysis and Evaluation Using CORAS and CVSS 基于CORAS和CVSS的模型风险分析与评估

International Conference on Evaluation of Novel Approaches to Software Engineering Pub Date : 2019-05-04 DOI: 10.1007/978-3-030-40223-5_6

Roman Wirtz, M. Heisel

引用次数: 2

Model-based Network Fault Injection for IoT Protocols 基于模型的物联网协议网络故障注入

International Conference on Evaluation of Novel Approaches to Software Engineering Pub Date : 2019-05-04 DOI: 10.5220/0007618102010209

J. Yoneyama, Cyrille Artho, Yoshinori Tanabe, M. Hagiya

引用次数: 2

Modeling Traceability in Software Development: A Metamodel and a Reference Model for Traceability 软件开发中的可追溯性建模:可追溯性的元模型和参考模型

International Conference on Evaluation of Novel Approaches to Software Engineering Pub Date : 2019-05-04 DOI: 10.5220/0007715103220329

Bruno Azevedo, M. Jino

{"title":"Modeling Traceability in Software Development: A Metamodel and a Reference Model for Traceability","authors":"Bruno Azevedo, M. Jino","doi":"10.5220/0007715103220329","DOIUrl":"https://doi.org/10.5220/0007715103220329","url":null,"abstract":"Many traceability models lack well-defined traceability link types, provide incomplete coverage of situations, do not provide mechanisms to ensure consistency of traceability, and consider only requirements traceability ignoring other activities of development. We propose a set of basic concepts for traceability, a reference model, and a comprehensive metamodel for traceability created using this reference model. The reference model defines: basic elements for traceability, basic actions to be done on artifacts, basic properties that sets of link types and artifact types should have, basic categories that should be realized regarding these sets, and basic set of processes for traceability. The metamodel is composed of a visual model defining how its elements interact, the definition and semantic description of link types and artifact types which realize the categories of the reference model, and a set of detailed processes describing the steps to maintain traceability and system consistency. Our proposal aims to reduce the problems identified; the reference model provides directions to help the creation, or evaluation, of a traceability model; the metamodel provides semantically described traceability link types, coverage of the most common situations, mechanisms to ensure consistency of traceability, and covers the most common activities in software development.","PeriodicalId":420861,"journal":{"name":"International Conference on Evaluation of Novel Approaches to Software Engineering","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128264342","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}

引用次数: 2

Introducing B-Sequenced Petri Nets as a CPN Sub-class for Safe Train Control 介绍b序列Petri网作为安全列车控制的CPN子类

International Conference on Evaluation of Novel Approaches to Software Engineering Pub Date : 2019-05-04 DOI: 10.5220/0007725103500358

Zakaryae Boudi, Abderrahim Ait Wakrime, S. C. Dutilleul, M. Haloua

引用次数: 3

A New Model-based Framework for Testing Security of IoT Systems in Smart Cities using Attack Trees and Price Timed Automata 使用攻击树和价格时间自动机测试智慧城市物联网系统安全性的新模型框架

International Conference on Evaluation of Novel Approaches to Software Engineering Pub Date : 2019-05-04 DOI: 10.5220/0007830605700577

M. Krichen, Roobaea Alroobaea

{"title":"A New Model-based Framework for Testing Security of IoT Systems in Smart Cities using Attack Trees and Price Timed Automata","authors":"M. Krichen, Roobaea Alroobaea","doi":"10.5220/0007830605700577","DOIUrl":"https://doi.org/10.5220/0007830605700577","url":null,"abstract":"In this paper we propose a new model-based framework for testing security properties of Internet of Things in Smart Cities. In general a model-based approach consists in extracting test cases from a formal specification either of the system under test or the environment of the considered system in an automatic fashion. Our framework is mainly built on the use of two formalisms namely Attack Trees and Price Timed Automata. An attack tree allows to describe the strategy adopted by the malicious party which intends to violate the security of the considered IOT system. An attack tree is translated into a network of price timed automata. The product of the constructed price timed automata is then computed using the well known UPPAALL platform. The obtained timed automata product serves as input for the adopted test generation algorithm. Moreover our framework takes advantage of the use of the standardized specification and execution testing language TTCN-3. With this respect, the obtained abstract tests are translated into the TTCN-3 format. Finally we propose a cloud-oriented architecture in order to ensure test execution and to collect the generated verdicts.","PeriodicalId":420861,"journal":{"name":"International Conference on Evaluation of Novel Approaches to Software Engineering","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134112187","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}

引用次数: 27

Experimenting with Liveness in Cloud Infrastructure Management 在云基础设施管理中进行活体实验

International Conference on Evaluation of Novel Approaches to Software Engineering Pub Date : 2019-05-04 DOI: 10.1007/978-3-030-40223-5_4

P. Lourenço, João Pedro Dias, Ademar Aguiar, H. Ferreira, André Restivo

引用次数: 1

Vision of the TFM-driven Code Acquisition tfm驱动的代码获取的远景

International Conference on Evaluation of Novel Approaches to Software Engineering Pub Date : 2019-05-04 DOI: 10.5220/0007843306170624

Vladislavs Nazaruks, J. Osis

引用次数: 0

Live Software Development Environment Using Virtual Reality: A Prototype and Experiment 使用虚拟现实的实时软件开发环境:原型和实验

International Conference on Evaluation of Novel Approaches to Software Engineering Pub Date : 2019-05-04 DOI: 10.1007/978-3-030-40223-5_5

Diogo Amaral, Gil Domingues, João Pedro Dias, H. Ferreira, Ademar Aguiar, Rui Nóbrega, F. F. Correia

引用次数: 1