首页 > 最新文献

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
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.
有许多组合测试工具可用于生成测试用例。然而,它们中的许多从未在实践中使用过。其中一个原因是缺乏涉及人类受试者应用测试技术的实证研究。本文旨在研究组合测试工具在SOFTEAM公司的适用性。案例研究是在负责新产品的开发团队中设计和执行的。参与者由公司的3名从业者组成。该工具的适用性已在效率、有效性和学习努力方面进行了检查。
{"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
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.
业务和信息系统之间的一致性这个主题已经有一段时间了,实际上仍然是各个领域研究的首要关注点。它为研究提供了许多开放的道路,即使由于涉及的观点和对象不同而导致了很大的分散和模糊性。在构建包含需求工程、企业架构和战略一致性相关主题的概念性结构化框架的过程中,我们的文献检索揭示了三个主要主题:业务模型工件、战略和目标建模,以及企业建模。接下来,研究问题及其相关的研究问题,这些问题的答案将通过设计科学(利用现有知识)和行动研究(在现场项目中工作)为文物提供起源。我们增量研究方法的初始步骤,对需求工程和业务模型主题的看法,以及围绕生成逻辑体系结构的现有解决方案的新方法的开发,已经受到了研究团体的良好欢迎。我们计划中当前和未来的工作将深化和扩展我们的研究,进一步夯实业务模型工件、策略和目标建模问题,同时接近企业建模、框架结构和工具支持。
{"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
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.
以证据为基础的方法有望在提高我们整个社区的质量意识方面发挥重要作用,方法是在何时何地有效方面提供证据。其中最重要的工具之一是系统文献综述(SLR),这是一种源自医学实践的二次研究技术,旨在通过分析初步研究获得准确的数据,消除这些研究可能遭受的偏倚。测绘研究和准系统文献综述是一种单反,旨在识别相应的初级研究集中的漏洞,这些漏洞需要进一步的初级研究,以及可以成为更集中的单反目标的团块。然而,我们不能忘记,基于证据的方法的构建部分是初级研究,其范围可以从观察研究到控制实验,可以应用定量或定性技术。
{"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
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.
软件体系结构质量属性的定量评估允许在设计阶段支持早期决策,证明涉众建立的质量需求,并在未来的体系结构变更中改进软件质量。在文献中,只有很少的这些质量需求得到了验证,而且大多数情况下都是手工检查的,由于极其复杂的设计,这既耗时又容易出错。本文的目标是为架构师预测和分析软件架构上的可用性约束提供方法。我们计划从架构描述语言(ADL)指定的架构描述中生成随机模型,并通过概率模型检查工具进行适当注释。该模型将允许定量地预测可用性,并确定对整个系统可用性产生负面影响的瓶颈。因此,我们的方法将帮助架构师避免不希望的或不可行的架构设计,并防止在修复生命周期后期检测到的问题时产生额外的成本。
{"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
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.
万维网已经成为多个领域中各种复杂和复杂的企业应用程序的主要交付平台。除了其固有的多面功能之外,Web应用程序还表现出复杂的行为,并对其无处不在的可用性、性能、安全性以及增长和发展的能力提出了一些独特的要求。Web开发可以从其他相关学科的已建立的实践中获益,但是它有一些显著的特征,主要是由于其固有的多学科性,包括来自不同领域的贡献。此外,由于新技术的出现,新的开发实践已经成为可能,例如基于Web mashup的范例,也提供了定义高级用户界面机制的可能性,从而增强了用户体验。
{"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
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.
在不同类型的事件处理中心中,服务台随着其在全球范围内的采用者数量的增加而受到关注。然而,即使服务台拥有一系列理想的功能和资源,它也需要几个过程才能生存,没有这些过程,它可能会因it服务管理不足或不存在而严重受损。为了克服这种需求,最佳IT实践框架(通常称为ITIL)已经在此类场景中得到了广泛实现。然而,服务台操作员对它的遵守并不总是像它应该的那样友好。考虑到遵守在这样的框架上提出的如此之多的建议是多么困难,就可以清楚地看出这一问题的主要原因。此外,技术人员对遵守该框架的关注和担忧是如此之大,以至于可能会损害事件处理的质量。正是在这个挑战中,一种被称为“游戏化”的说服技巧出现了,它建议把那些通常在服务台以这种方式完成的困难、紧张或乏味的任务,变成更有趣、更有吸引力的日常活动。通过游戏设计和元素,游戏化可以提高服务台操作员的积极性和参与度,使他们更多地参与到他们的工作中,从而优化ITIL推荐的IT最佳实践的使用和遵守。在此场景中,由于充分遵循的IT最佳实践越多,事件处理质量就越高,显然IT服务管理质量也会得到更大的改善。
{"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
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.
背景:对移动BIS应用程序的需求不断增加,上市时间要求更短。然而,开发这些应用面临着一些问题,例如能够保证业务规则的实现,支持多个平台,处理本地化和促进应用的发展。目的:为移动BIS应用程序提出一种生成方法,以减轻已确定的问题。它的输入是一个与平台无关的模型(PIM),具有用OCL指定的业务规则。方法:我们采用了设计科学研究方法,这有助于获得问题的理解,确定系统适当的解决方案,并有效地评估新的和创新的解决方案。结果:我们已经确定了问题及其动机,定义了解决方案的目标,为BIS应用程序设计并开发了一个原型生成工具,展示了它的使用情况,并评估了它在观察性研究中减轻部分已确定问题的效果,并开始向研究人员和从业者传达其有效性。局限性:有几个问题尚未解决,例如分布式业务规则实施的问题,以及从PIM到几个特定于平台的模型(psm)所需转换的形式化。结论:我们打算为缩短BIS应用的上市时间做出贡献,同时提高这些应用的可维护性。
{"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
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.
联锁系统监控铁路站场中物体的状态,根据安全规则允许或拒绝火车的移动。这些规则取决于站点的拓扑结构,因此每个单独交付的系统都要遵守一组特定的规则。另一方面,作为安全关键系统,联锁系统需要经过昂贵的认证过程。这些成本的一部分是由于必须对每个交付的产品重复进行测试,此外,由于这种拓扑结构的复杂性,测试套件可能非常大,并且每个产品都不同。在本文中,我们通过从拓扑的目标描述中提取实现的联锁逻辑的模型,展示了如何在生产联锁系统的最终验证阶段解决问题。这个模型是用计划的测试套件来执行的。由于模拟似乎比测试目标要快一个数量级,因此早期发现规则描述中的错误或测试套件中的不准确性可以节省对目标进行重做的时间。
{"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
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).
质量通常被认为是必须符合系统需求的东西。然而,后者不断变化以保证业务一致性,从而使质量成为一个移动的目标!需求工程帮助涉众引出他们对系统的期望,确定这些期望的优先级,并最终与其他有冲突需求的涉众达成共识。此外,它帮助来自不同背景的涉众在他们之间以及与系统开发人员进行沟通。前者不一定对系统实现的技术细节感兴趣,而后者专门研究构建系统,而不是他们构建的系统的特定应用程序。被夹在中间的需求工程师还必须跟上更新的开发方法,如软件产品线(SPL)、模型驱动开发(MDD)、面向服务的体系结构(SOA)。
{"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
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.
技术开发和创新是软件开发组织的关键驱动力。此外,它们对一个地区或一个国家的发展具有战略意义。因此,巴西政府建立了一项公共政策工具,以识别和刺激该国技术发展和创新所产生的软件。因此,在巴西创建并建立了名为CERTICS的软件评估方法。它的构建基于软件开发组织的实际情况,并以包括ISO/IEC 15504 (SPICE)标准在内的方法参考为指导。CERTICS包括参考模型、评估方法以及应用、监测和持续改进的安排。软件组织也可以从CERTICS作为技术开发和创新的良好实践参考模型中获益。本文概述了CERTICS方法论1.1版的合理性、设计、主要组成部分和早期实践成果。
{"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
期刊
2014 9th International Conference on the Quality of Information and Communications Technology
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1