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

筛选
英文 中文
Combinatorial Testing in an Industrial Environment -- Analyzing the Applicability of a Tool 工业环境中的组合测试——分析工具的适用性
Nelly Condori-Fernández, Peter M. Kruse, T. Vos, E. Brosse, A. Bagnato
{"title":"Combinatorial Testing in an Industrial Environment -- Analyzing the Applicability of a Tool","authors":"Nelly Condori-Fernández, Peter M. Kruse, T. Vos, E. Brosse, A. Bagnato","doi":"10.1109/QUATIC.2014.36","DOIUrl":"https://doi.org/10.1109/QUATIC.2014.36","url":null,"abstract":"Numerous combinatorial testing tools are available for generating test cases. However, many of them are never used in practice. One of the reasons is the lack of empirical studies that involve human subjects applying testing techniques. This paper aims to investigate the applicability of a combinatorial testing tool in the company SOFTEAM. A case study is designed and conducted within the development team responsible for a new product. The participants consist of 3 practitioners from the company. The applicability of the tool has been examined in terms of efficiency, effectiveness and learning effort.","PeriodicalId":317037,"journal":{"name":"2014 9th International Conference on the Quality of Information and Communications Technology","volume":"70 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":"131930208","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
An OMG-based Meta-Framework for Alignment of IS/IT Architecture with Business Models 一个基于omg的元框架,用于使IS/IT架构与业务模型保持一致
Carlos E. Salgado, R. J. Machado, R. Maciel
{"title":"An OMG-based Meta-Framework for Alignment of IS/IT Architecture with Business Models","authors":"Carlos E. Salgado, R. J. Machado, R. Maciel","doi":"10.1109/QUATIC.2014.46","DOIUrl":"https://doi.org/10.1109/QUATIC.2014.46","url":null,"abstract":"The topic of alignment between Business and Information Systems has been for some time, and remains actually, a top concern of research in diverse areas. It presents many open roads for research, even if leading to much dispersion and fuzziness due to the different views and subjects involved. On the path to build a conceptual, structured framework that incorporates the related topics of requirements engineering, enterprise architecture and strategy alignment, our literature search uncovered three main themes: the business model artifact, strategy and goal modelling, and enterprise modelling. Following, the research problem and its related research questions, which answers will give origin to artifacts, through design science (working on existing knowledge) and action research (working in live projects), were laid out. Initial steps in our incremental research approach, with a perspective on the requirements engineering and business model topics, and the development of a new method around an existing solution for the generation of logical architectures, have been well received by the research community. Current and future work in our plan will deepen and extend our research, further grounding the business model artifact and the strategy and goal modelling issues, while approaching the enterprise modelling, framework structuring and tools support.","PeriodicalId":317037,"journal":{"name":"2014 9th International Conference on the Quality of Information and Communications Technology","volume":"1 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":"114610472","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}
引用次数: 9
Foreword of the Thematic Track: Evidence-Based Software Quality Engineering 专题报告前言:循证软件质量工程
G. Travassos, Fernando Brito e Abreu
{"title":"Foreword of the Thematic Track: Evidence-Based Software Quality Engineering","authors":"G. Travassos, Fernando Brito e Abreu","doi":"10.1109/QUATIC.2014.59","DOIUrl":"https://doi.org/10.1109/QUATIC.2014.59","url":null,"abstract":"Evidence-based approaches are expected to play an important role on increasing the quality awareness of our community as a whole, by raising evidence on what works, when and where. One of its most important instruments is the systematic literature review (SLR), a secondary study technique derived from medicine practice, which seeks to obtain accurate data by analyzing primary studies, eliminating possible bias that these studies may suffer. Mapping studies and quasi-systematic literature reviews are a kind of SLR aimed at identifying breaches in the corresponding set of primary studies, where further primary studies are required, as well as clumps that can be the target of more focused SLRs. However, we cannot forget that the building pieces of evidence-based approaches are primary studies, which can range from observational studies to controlled experiments, either applying quantitative or qualitative techniques.","PeriodicalId":317037,"journal":{"name":"2014 9th International Conference on the Quality of Information and Communications Technology","volume":"38 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":"134197484","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}
引用次数: 0
Availability Evaluation of Software Architectures through Formal Methods 通过形式化方法对软件体系结构进行可用性评估
J. M. Franco, R. Barbosa, M. Z. Rela
{"title":"Availability Evaluation of Software Architectures through Formal Methods","authors":"J. M. Franco, R. Barbosa, M. Z. Rela","doi":"10.1109/QUATIC.2014.45","DOIUrl":"https://doi.org/10.1109/QUATIC.2014.45","url":null,"abstract":"The quantitative assessment of quality attributes on software architectures allow to support early decisions in the design phase, certify quality requirements established by stakeholders and improve software quality in future architectural changes. In literature, only few of these quality requirements are verified and most often they are manually checked, which is time-consuming and error-prone due to the overwhelmingly complex designs. The goal of this thesis is to provide means for architects predict and analyze availability constraints on software architectures. We plan to generate a stochastic model from an architectural description specified by an Architecture Description Language (ADL) properly annotated to be solved by a probabilistic model-checking tool. This model will allow to quantitatively predict availability and identify bottlenecks that are negatively influencing the overall system availability. Hence, our approach will help architects to avoid undesired or infeasible architectural designs and prevent extra costs in fixing late life-cycle detected problems.","PeriodicalId":317037,"journal":{"name":"2014 9th International Conference on the Quality of Information and Communications Technology","volume":"18 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":"125228283","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
Foreword of the Thematic Track: Quality in Web Engineering 专题专题:Web工程中的质量前言
M. Matera
{"title":"Foreword of the Thematic Track: Quality in Web Engineering","authors":"M. Matera","doi":"10.1109/QUATIC.2014.61","DOIUrl":"https://doi.org/10.1109/QUATIC.2014.61","url":null,"abstract":"HE World Wide Web has become a major delivery platform for a variety of complex and sophisticated enterprise applications in several domains. In addition to their inherent multifaceted functionality, Web applications exhibit complex behaviour and place some unique requirements on their ubiquitous usability, performance, security and ability to grow and evolve. Web development can benefit from established practices from other related disciplines, but it has some distinguishing characteristics that are mainly due to its inherent multidisciplinary, encompassing contributions from diverse areas. In addition, due to the advent of new technologies, novel development practices have become possible, for example based on the paradigm of Web Mashups, also offering the possibility of defining advanced user interface mechanisms enhancing the user experience.","PeriodicalId":317037,"journal":{"name":"2014 9th International Conference on the Quality of Information and Communications Technology","volume":"176 5","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120990039","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}
引用次数: 0
Toward a Gamification Model to Improve IT Service Management Quality on Service Desk 游戏化模式提升服务台IT服务管理质量
Fabio Silva da Conceicao, Alan Silva, A. O. Filho, Reinaldo Cabral Silva Filho
{"title":"Toward a Gamification Model to Improve IT Service Management Quality on Service Desk","authors":"Fabio Silva da Conceicao, Alan Silva, A. O. Filho, Reinaldo Cabral Silva Filho","doi":"10.1109/QUATIC.2014.41","DOIUrl":"https://doi.org/10.1109/QUATIC.2014.41","url":null,"abstract":"Among the different kinds of incident processing centers, the service desk has highlighted with the increasing number of its adopters around the world. Nonetheless, even though it has a series of desirable features and resources, a service desk needs several procedures to survive, without which it can severely suffer with inadequate or inexistent IT service management. In order to overcome this need, the framework of best IT practices, mostly known as ITIL, has been widely implemented on such scenarios. However, its adherence by service desk operators, has not always been as friendly as it should. The main reason for this can be made evident when considering how hard is to comply with so many recommendations laid out on such framework. Additionally, the technical staff attention and worry on complying with that framework is so great that incident treatment quality can be impaired. It is exactly on that challenge, where the persuasive technique named gamification arises here as a proposal to turn hard, tense or tedious tasks, that are commonly performed on this way on service desks, into more interesting and engaging activities in a daily basis. Through game design and elements, gamification can improve the service desk operators' motivation and engaging, by making them more involved in their job and consequentely optimizing the use and adherence of ITIL recommended IT best practices. In this scenario, since the more IT best practices are adequately followed and the more incident treatment quality increases, obviously the more IT service management quality would be improved.","PeriodicalId":317037,"journal":{"name":"2014 9th International Conference on the Quality of Information and Communications Technology","volume":"39 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":"127104706","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
A MDE Generative Approach for Mobile Business Apps 移动商务应用的MDE生成方法
Luis Alexandre Ferreira da Silva, Fernando Brito e Abreu
{"title":"A MDE Generative Approach for Mobile Business Apps","authors":"Luis Alexandre Ferreira da Silva, Fernando Brito e Abreu","doi":"10.1109/QUATIC.2014.50","DOIUrl":"https://doi.org/10.1109/QUATIC.2014.50","url":null,"abstract":"Context: There is an increasing demand for mobile BIS apps and shorter time-to-market requirements. However, developing those apps faces several problems, such as being able to guarantee business rules fulfilment, support multiple platforms, handle localization and facilitate apps evolution. Objective: Propose a generative approach for mobile BIS apps that will mitigate the identified problems. Its input is a platform independent model (PIM), with business rules specified in OCL. Method: We adopted the Design Science Research methodology, that helps gaining problem understanding, identifying systemically appropriate solutions, and in effectively evaluating new and innovative solutions. Results: We have already identified the problem and its motivation, defined the objectives for a solution, designed and developed a prototype generative tool for BIS apps, demonstrated its usage and evaluated how well it mitigates a subset of the identified problems in an observational study and started to communicate its effectiveness to researchers and practitioners. Limitations: Several issues have not been addressed yet, such as the problem of distributed business rules enforcement and the formalization of the required transformations from the PIM to several platform-specific models (PSMs). Conclusion: We intend to contribute for reducing BIS apps time-to-market, while improving the maintainability of those apps.","PeriodicalId":317037,"journal":{"name":"2014 9th International Conference on the Quality of Information and Communications Technology","volume":"49 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":"133974325","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}
引用次数: 0
Validation of Interlocking Systems by Testing their Models 通过模型测试验证联锁系统
A. Bonacchi, A. Fantechi
{"title":"Validation of Interlocking Systems by Testing their Models","authors":"A. Bonacchi, A. Fantechi","doi":"10.1109/QUATIC.2014.37","DOIUrl":"https://doi.org/10.1109/QUATIC.2014.37","url":null,"abstract":"An interlocking system monitors the status of the objects in a railway yard, allowing or denying the movement of trains, in accordance with safety rules. These rules depend on the topology of the station and hence every single delivered system obeys a particular set of rules. On the other hand, being safety critical systems, interlocking are subject to expensive certification processes. Part of these costs are due to the fact that testing has to be repeated for each delivered product, moreover, due to the complexity of such topologies, the test suites may be very large, and different for each product. In this paper we show how the problem has been addressed at the final validation stage of production interlocking systems, by extracting a model of the implemented interlocking logic from the on-target description of the topology. This model is exercised with the planned test suite. Since simulation appears to be more than an order of magnitude faster than testing the target, early discovery of bugs in the description of rules or of inaccuracies in the test suite can spare hours of rework on the target.","PeriodicalId":317037,"journal":{"name":"2014 9th International Conference on the Quality of Information and Communications Technology","volume":"29 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":"124885103","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}
引用次数: 5
Foreword of the Thematic Track: Quality in ICT Requirements Engineering 专题报告前言:信息通信技术需求工程中的质量
Maria Lencastre
{"title":"Foreword of the Thematic Track: Quality in ICT Requirements Engineering","authors":"Maria Lencastre","doi":"10.1109/QUATIC.2014.54","DOIUrl":"https://doi.org/10.1109/QUATIC.2014.54","url":null,"abstract":"UALITY is often considered something that must be in conformance to system requirements. However, the latter keeps changing to guarantee business alignment, thus making quality a moving target! Requirements engineering helps stakeholders to elicit their expectancies with respect to systems, to prioritize such expectancies and, ultimately, to reach a common ground with other stakeholders with conflicting requirements. Furthermore, it helps stakeholders from different backgrounds to communicate among them, and with the systems developers. The former are not necessarily interested in the technical details of the implementation of the systems, while the latter are specialized in building systems, rather than on the specific applications of the systems they build. Caught in-between, requirements engineers must also keep up with newer development approaches such as Software Product Lines (SPL), Model Driven Development (MDD), Service Oriented Architectures (SOA).","PeriodicalId":317037,"journal":{"name":"2014 9th International Conference on the Quality of Information and Communications Technology","volume":"55 10 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":"114569563","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
CERTICS Assessment Methodology for Software Technological Development and Innovation 软件技术发展与创新的CERTICS评估方法
A. M. Alves, Clenio F. Salviano, G. Stefanuto, Sonia T. Maintinguer, Carolina V. Mattos, Camila Zeitoum, Márcia Regina Martins Martinez, Giancarlo Reuss
{"title":"CERTICS Assessment Methodology for Software Technological Development and Innovation","authors":"A. M. Alves, Clenio F. Salviano, G. Stefanuto, Sonia T. Maintinguer, Carolina V. Mattos, Camila Zeitoum, Márcia Regina Martins Martinez, Giancarlo Reuss","doi":"10.1109/QUATIC.2014.32","DOIUrl":"https://doi.org/10.1109/QUATIC.2014.32","url":null,"abstract":"Technological development and innovation are key drives for software development organizations. Furthermore they are strategic for the growth of a region or a Country. Therefore, the Brazilian government established a public policy instrument to identify and stimulate software resulting from technological development and innovation in the Country. Hence a software assessment methodology, named as CERTICS, has been created and established in Brazil. Its construction has been based on the reality of software development organizations and guided by methodological references including the ISO/IEC 15504 (SPICE) Standard. CERTICS includes a reference model, an assessment method and an arrangement for its application, monitoring and continuous improvement. A software organization can also benefit from CERTICS as good practices reference model on technology development and innovation. This article presents an overview of the rationality, design, major components and early practical results of CERTICS Methodology version 1.1.","PeriodicalId":317037,"journal":{"name":"2014 9th International Conference on the Quality of Information and Communications Technology","volume":"111 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":"122970762","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}
引用次数: 3
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信