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

A Model-Driven Approach for Developing Responsive Web Apps 开发响应式Web应用的模型驱动方法

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

João Seixas, André Ribeiro, A. Silva

{"title":"A Model-Driven Approach for Developing Responsive Web Apps","authors":"João Seixas, André Ribeiro, A. Silva","doi":"10.5220/0007678302570264","DOIUrl":"https://doi.org/10.5220/0007678302570264","url":null,"abstract":"Nowadays users have multiple devices to access a myriad of web and mobile applications. This has increased the importance of developing such applications in a responsive way, i.e. with the ability to seamlessly display their contents on multiple devices. This paper proposes the XIS-Web technology as a model-driven approach focused in the development of responsive web applications. XIS-Web technology includes two main parts: the XIS-Web modeling language, implemented as a UML profile; and the XIS-Web framework, which is a set of integrated software tools. XIS-Web stands out in four key aspects: supports the modeling of web applications around six viewpoints, which ultimately promotes the separation of concerns that is key to managing complexity; generates user-interface models from extended use-case models, relieving this cumbersome and time consuming task from the user; employs latest generation web technologies (such as HTML5, JavaScript, CSS) that allow the required flexibility of developing responsive web applications; and allows the creation of platform-independent models without requiring a significant learning curve. This paper also presents an evaluation conducted in a controlled environment with a group of independent users, and briefly introduces simple case studies.","PeriodicalId":420861,"journal":{"name":"International Conference on Evaluation of Novel Approaches to Software Engineering","volume":"22 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":"129814343","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}

引用次数: 7

Agile Scaled Steps of Doneness: A Standardized Procedure to Conceptualizing and Completing User Stories Across Scrum Teams and Industries 敏捷分级完成步骤:跨Scrum团队和行业概念化和完成用户故事的标准化过程

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

Matthew Ormsby, Curtis Busby-Earle

引用次数: 0

Model-Driven Software Development Combined with Semantic Mutation of UML State Machines 结合UML状态机语义突变的模型驱动软件开发

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

A. Derezińska, L. Zaremba

引用次数: 0

Mutating UML State Machine Behavior with Semantic Mutation Operators 用语义突变操作符改变UML状态机行为

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

A. Derezińska, L. Zaremba

{"title":"Mutating UML State Machine Behavior with Semantic Mutation Operators","authors":"A. Derezińska, L. Zaremba","doi":"10.5220/0007735003850393","DOIUrl":"https://doi.org/10.5220/0007735003850393","url":null,"abstract":"In Model-Driven Software Development (MDSD), an application can be built using classes and their state machines as source models. The final application can be tested as any source code. In this paper, we discuss a specific approach to mutation testing in which modifications relate to different variants of behavioural features modelled by UML state machines, while testing deals with standard executions of the final application against its test cases. We have proposed several mutation operators aimed at mutating behaviour of UML state machines. The operators take into account event processing, time management, behaviour of complex states with orthogonal regions, and usage of history pseudostates. Different possible semantic interpretations are associated with each operator. The operators have been implemented in the Framework for eXecutable UML (FXU). The framework, that supports code generation from UML classes and state machines and building target C# applications, has been extended to realize mutation testing with use of multiple libraries. The semantic mutation operators have been verified in some MDSD experiments.","PeriodicalId":420861,"journal":{"name":"International Conference on Evaluation of Novel Approaches to Software Engineering","volume":"15 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":"123210317","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

Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study 比较物联网系统的测试和运行时验证:基于案例研究的初步评估

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

Maurizio Leotta, Diego Clerissi, Luca Franceschini, Dario Olianas, D. Ancona, F. Ricca, M. Ribaudo

{"title":"Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study","authors":"Maurizio Leotta, Diego Clerissi, Luca Franceschini, Dario Olianas, D. Ancona, F. Ricca, M. Ribaudo","doi":"10.5220/0007745604340441","DOIUrl":"https://doi.org/10.5220/0007745604340441","url":null,"abstract":"Assuring the quality of Internet of Things (IoT) systems is of paramount importance, and guaranteeing their reliability and compliance with the requirements is mandatory, but few attempts have been made so far. In previous works, we proposed two approaches for acceptance testing and runtime verification of IoT systems. Both works rely on a UML state machine to specify the system expected behaviour. In the acceptance testing approach, the interesting paths to exercise are identified and translated into executable test scripts. In the runtime verification approach, the relevant events during the system execution are monitored and compared against a formal specification derived from the UML state machine. In this paper, we compare the effectiveness of our two approaches, by applying them to a mobile health IoT system for the management of diabetic patients, employing over 100 mutated versions of the original system and analysing more than 1000 different executions. Results show that both approaches are effective in different ways in detecting bugs. While the acceptance testing approach is more effective to detect the bugs affecting the user interface, the runtime verification approach tracks better the subtle deviations from the system expected behaviour, in particular those concerning network issues.","PeriodicalId":420861,"journal":{"name":"International Conference on Evaluation of Novel Approaches to Software Engineering","volume":"87 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":"126022413","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}

引用次数: 4

Suggesting Software Measurement Plans with Unsupervised Learning Data Analysis 基于无监督学习数据分析的软件测量方案建议

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

S. Dahab, S. Maag

{"title":"Suggesting Software Measurement Plans with Unsupervised Learning Data Analysis","authors":"S. Dahab, S. Maag","doi":"10.5220/0007768101890197","DOIUrl":"https://doi.org/10.5220/0007768101890197","url":null,"abstract":"Software measurement processes require to consider more and more data, measures and metrics. Measurement plans become complex, time and resource consuming, considering diverse kinds of software project phases. Experts in charge of defining the measurement plans have to deal with management and performance constraints to select the relevant metrics. They need to take into account a huge number of data though distributed processes. Formal models and standards have been standardized to facilitate some of these aspects. However, the maintainability of the measurements activities is still constituted of complex activities. In this paper, we aim at improving our previous work, which aims at reducing the number of needed software metrics when executing measurement process and reducing the expertise charge. Based on unsupervised learning algorithm, our objective is to suggest software measurement plans at runtime and to apply them iteratively. For that purpose, we propose to generate automatically analysis models using unsupervised learning approach in order to efficiently manage the efforts, time and resources of the experts. An implementation has been done and integrated on an industrial platform. Experiments are processed to show the scalability and effectiveness of our approach. Discussions about the results have been provided. Furthermore, we demonstrate that the measurement process performance could be optimized while being effective , more accurate and faster with reduced expert intervention","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":"121711190","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

Analyzing the Evolution of Javascript Applications 分析Javascript应用程序的演变

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

Angelos Chatzimparmpas, S. Bibi, Ioannis Zozas, A. Kerren

引用次数: 4

Hammock-based Identification of Changes in Advice Applications between Aspect-oriented Programs 基于吊床的面向方面程序之间的通知应用变更识别

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

Marija Katic

引用次数: 0

Refactoring Misuse Case Diagrams using Model Transformation 使用模型转换重构错误用例图

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

M. El-Attar, N. Nasser

引用次数: 1

From Requirements to Automated Acceptance Tests of Interactive Apps: An Integrated Model-based Testing Approach 从需求到交互式应用的自动验收测试:一种集成的基于模型的测试方法

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

Daniel Maciel, A. C. Paiva, A. Silva

{"title":"From Requirements to Automated Acceptance Tests of Interactive Apps: An Integrated Model-based Testing Approach","authors":"Daniel Maciel, A. C. Paiva, A. Silva","doi":"10.5220/0007679202650272","DOIUrl":"https://doi.org/10.5220/0007679202650272","url":null,"abstract":"Frequently software testing tends to be neglected at the beginning of the projects, only performed on the late stage. However, it is possible to benefit from combining requirement with testing specification activities. On one hand, acceptance tests specification will require less manual effort since they are defined or generated automatically from the requirements specification. On the other hand, the requirements specification itself will end up having higher quality due to the use of a more structured language, reducing typical problems such as ambiguity, inconsistency and incorrectness. This research proposes an approach that promotes the practice of tests specification since the very beginning of projects, and its integration with the requirements specification itself. It is a model-driven approach that contributes to maintain the requirements and tests alignment, namely between requirements, test cases, and low-level automated test scripts. To show the applicability of the approach, two complementary languages are adopted: the ITLingo RSL that is particularly designed to support both requirements and tests specification; and the Robot language, which is a low-level keyword-based language for the specification of test scripts. The approach includes model-to-model transformation techniques, such as test cases into test scripts transformations. In addition, these test scripts are executed by the Robot test automation framework.","PeriodicalId":420861,"journal":{"name":"International Conference on Evaluation of Novel Approaches to Software Engineering","volume":"42 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":"133642836","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}

引用次数: 13