2014 9th International Conference on the Quality of Information and Communications Technology最新文献_第5页

Automatic Test Set Generation for Function Block Based Systems Using Model Checking 基于模型检查的功能块系统测试集自动生成

2014 9th International Conference on the Quality of Information and Communications Technology Pub Date : 2014-09-01 DOI: 10.1109/QUATIC.2014.15

Jussi Lahtinen

{"title":"Automatic Test Set Generation for Function Block Based Systems Using Model Checking","authors":"Jussi Lahtinen","doi":"10.1109/QUATIC.2014.15","DOIUrl":"https://doi.org/10.1109/QUATIC.2014.15","url":null,"abstract":"Many nuclear instrumentation and control (I&C) systems are designed using a function block diagram description of the system. Strict requirements pertain to the verification of these systems. Different verification techniques, including structure-based testing, are demanded by standards and the regulators. Unfortunately, the traditional structure-based test techniques intended for software code are not directly applicable to function block diagrams. However, coverage criteria for function block diagrams have recently been developed. In this work we have used these coverage criteria and developed a technique for generating structure-based test sets for function block based designs. The test set is automatically generated but the technique requires that a model checking model of the system is available. The technique utilises model checking to determine the concrete test cases. We have also described how tests can be generated so that multiple test requirements can be fulfilled at once, thus decreasing the number of generated test cases. We have implemented our approach as a proof-of-concept tool, and demonstrated the technique on a case study system.","PeriodicalId":317037,"journal":{"name":"2014 9th International Conference on the Quality of Information and Communications Technology","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125263768","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}

引用次数: 11

A Comparative Study on the Effectiveness of Patterns in Software Libraries and Standalone Applications 模式在软件库和独立应用程序中的有效性比较研究

2014 9th International Conference on the Quality of Information and Communications Technology Pub Date : 2014-09-01 DOI: 10.1109/QUATIC.2014.26

P. Sfetsos, Apostolos Ampatzoglou, A. Chatzigeorgiou, Ignatios S. Deligiannis, I. Stamelos

{"title":"A Comparative Study on the Effectiveness of Patterns in Software Libraries and Standalone Applications","authors":"P. Sfetsos, Apostolos Ampatzoglou, A. Chatzigeorgiou, Ignatios S. Deligiannis, I. Stamelos","doi":"10.1109/QUATIC.2014.26","DOIUrl":"https://doi.org/10.1109/QUATIC.2014.26","url":null,"abstract":"The existence of design pattern instances is often regarded as an indication of elaborate software design, since patterns have been reported in many studies as techniques that improve software quality properties. Driven by the widespread belief that software libraries excel in terms of design quality compared to standalone applications, this study investigates first whether this claim is confirmed and second whether the improved quality can be attributed to the use of patterns. In particular we examine: (a) whether libraries exhibit improved design quality in terms of metrics compared to standalone applications, (b) the intensity of use of design patterns in the two software categories and (c) whether there is any correlation of design patterns usage and design quality at system level. The results of the study suggest that, some of the quality properties are improved in library software although no significant difference in the use of patterns have been observed. Moreover, there is an important number of GoF design patterns that appears to be correlated to software quality metrics.","PeriodicalId":317037,"journal":{"name":"2014 9th International Conference on the Quality of Information and Communications Technology","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131269732","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

On the Evaluation of Software Maintainability Using Automatic Test Case Generation 基于自动生成测试用例的软件可维护性评估

2014 9th International Conference on the Quality of Information and Communications Technology Pub Date : 2014-09-01 DOI: 10.1109/QUATIC.2014.48

A. Nogueira, J. Ribeiro, M. Z. Rela

引用次数: 1

A Novel Framework for Creating User Interface Level Tests Resistant to Refactoring of Web Applications 一个新的框架，用于创建用户界面级测试抵抗重构的Web应用程序

2014 9th International Conference on the Quality of Information and Communications Technology Pub Date : 2014-09-01 DOI: 10.1109/QUATIC.2014.43

Heidar Pirzadeh, Sara Shanian, Farzin Davari

引用次数: 1

Automated Pattern-Based Testing of Mobile Applications 移动应用程序基于模式的自动化测试

2014 9th International Conference on the Quality of Information and Communications Technology Pub Date : 2014-09-01 DOI: 10.1109/QUATIC.2014.47

Ines Coimbra Morgado, A. C. Paiva, J. Faria

引用次数: 24

Fuzzy Mashup Quality Requirements Specification for Web Users Web用户模糊混搭质量需求规范

2014 9th International Conference on the Quality of Information and Communications Technology Pub Date : 2014-09-01 DOI: 10.1109/QUATIC.2014.42

Andreas Rümpel, Carsten Radeck, Juri Tichomirow, Klaus Meißner

引用次数: 1

Incident Management Optimization through the Reuse of Experiences and Natural Language Processing 通过经验重用和自然语言处理优化事件管理

2014 9th International Conference on the Quality of Information and Communications Technology Pub Date : 1900-01-01 DOI: 10.1109/quatic.2014.63

Glauber de Tarso Vieira Bezerra, V. Pinheiro, A. Albuquerque

引用次数: 0