There is no doubt that agile methods have become mainstream and with their increased use unanswered questions start to appear: How do we address cross-cutting concerns when software is developed vertically? Does value prioritization lead to increases in technical debt by promoting feature development over refactoring? Isn’t the reticence to write initial specifications on the premise of change an invitation to unnecessary change? As agile development matures answers, albeit partial, responses start to appear. The recurring themes in this year presentations are not whether agile is good or bad, better or worse,
{"title":"Foreword of the Thematic Track Quality Aspects in Agile Methods","authors":"Eduardo Miranda, J. Fernandes","doi":"10.1109/QUATIC.2016.027","DOIUrl":"https://doi.org/10.1109/QUATIC.2016.027","url":null,"abstract":"There is no doubt that agile methods have become mainstream and with their increased use unanswered questions start to appear: How do we address cross-cutting concerns when software is developed vertically? Does value prioritization lead to increases in technical debt by promoting feature development over refactoring? Isn’t the reticence to write initial specifications on the premise of change an invitation to unnecessary change? As agile development matures answers, albeit partial, responses start to appear. The recurring themes in this year presentations are not whether agile is good or bad, better or worse,","PeriodicalId":157671,"journal":{"name":"2016 10th International Conference on the Quality of Information and Communications Technology (QUATIC)","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121223514","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}
Juliana Medeiros, M. Goulão, A. Vasconcelos, Carla Schuenemann
The quality of Software Requirements Specifications (SRS) is important to gain a competitive advantage in the software industry. Although the use of agile methods has grown in recent years, empirical studies conducted in industry identified several problems related to SRS in the context of agile projects. The goal of this study is to investigate the phenomenon of the quality of SRS in Agile Software Development (ASD) and build an explanatory model about it. We use a mixed method research strategy for creating a rich description of the factors that affect the quality of SRS in ASD. First, we conducted a systematic mapping study, then we performed a cross-case analysis of two software organizations: one small private organization and a large public organization. We built an initial model from this analysis. The findings were that SRS in agile projects should be directed to the development team, so it should be close to what will be implemented. The fragmentation of the description of the requirements in various artifacts and excessive detail were considered factors that compromise the quality of the SRS.
{"title":"Towards a Model about Quality of Software Requirements Specification in Agile Projects","authors":"Juliana Medeiros, M. Goulão, A. Vasconcelos, Carla Schuenemann","doi":"10.1109/QUATIC.2016.058","DOIUrl":"https://doi.org/10.1109/QUATIC.2016.058","url":null,"abstract":"The quality of Software Requirements Specifications (SRS) is important to gain a competitive advantage in the software industry. Although the use of agile methods has grown in recent years, empirical studies conducted in industry identified several problems related to SRS in the context of agile projects. The goal of this study is to investigate the phenomenon of the quality of SRS in Agile Software Development (ASD) and build an explanatory model about it. We use a mixed method research strategy for creating a rich description of the factors that affect the quality of SRS in ASD. First, we conducted a systematic mapping study, then we performed a cross-case analysis of two software organizations: one small private organization and a large public organization. We built an initial model from this analysis. The findings were that SRS in agile projects should be directed to the development team, so it should be close to what will be implemented. The fragmentation of the description of the requirements in various artifacts and excessive detail were considered factors that compromise the quality of the SRS.","PeriodicalId":157671,"journal":{"name":"2016 10th International Conference on the Quality of Information and Communications Technology (QUATIC)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115138495","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}
Uncertainty is an inherent property of any measure or estimation performed in any physical setting, and therefore it needs to be taken into consideration when modelling systems that manage real data. Although several modelling languages permit the representation of measurement uncertainty for describing certain system attributes, these aspects are not normally incorporated into their type systems. Thus, operating with uncertain values and propagating uncertainty are normally cumbersome processes and difficult to achieve at the model level. This paper proposes an extension of the UML and OCL types to incorporate data uncertainty coming from physical measurements or user estimations into the models, together with the set of operations defined for the values of these types.
{"title":"Expressing Measurement Uncertainty in Software Models","authors":"Antonio Vallecillo, C. Morcillo, Priscill Orue","doi":"10.1109/QUATIC.2016.013","DOIUrl":"https://doi.org/10.1109/QUATIC.2016.013","url":null,"abstract":"Uncertainty is an inherent property of any measure or estimation performed in any physical setting, and therefore it needs to be taken into consideration when modelling systems that manage real data. Although several modelling languages permit the representation of measurement uncertainty for describing certain system attributes, these aspects are not normally incorporated into their type systems. Thus, operating with uncertain values and propagating uncertainty are normally cumbersome processes and difficult to achieve at the model level. This paper proposes an extension of the UML and OCL types to incorporate data uncertainty coming from physical measurements or user estimations into the models, together with the set of operations defined for the values of these types.","PeriodicalId":157671,"journal":{"name":"2016 10th International Conference on the Quality of Information and Communications Technology (QUATIC)","volume":"86 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115159230","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}
The growing dependence of our society on increasingly complex software systems makes software testing ever more important and challenging. In many domains, such as healthcare and transportation, several independent systems, forming a heterogeneous and distributed system of systems, are involved in the provisioning of end-to-end services to users. However, existing testing techniques, namely in the model-based testing field, provide little support for properly testing such systems. To bridge the gaps identified in the state of the art we intend to develop a research work where the main goal is to significantly reduce the cost of testing distributed and heterogeneous systems, from the standpoint of time, resources and expertise required, as compared to existing approaches. For that, we propose a preliminary approach and a toolset architecture for automating the testing of end-to-end services in distributed and heterogeneous systems. The tester interacts with a visual modeling frontend to describe key behavioral scenarios, invoke test generation and execution, and visualize test results and coverage information back in the model. The visual modeling notation is converted to a formal notation amenable for runtime interpretation in the backend. A distributed test monitoring and control infrastructure is responsible for interacting with the components of the system under test, as test driver, monitor and stub. At the core of the toolset, a test execution engine coordinates test execution and checks the conformance of the observed execution trace with the expectations derived from the visual model. A real world example from the Ambient Assisted Living domain is presented to illustrate the approach. As future work we intend to develop distributed and incremental algorithms for online testing of distributed and heterogeneous systems based on Extended Petri Nets at runtime and validate them in real world case studies.
{"title":"Towards the Online Testing of Distributed and Heterogeneous Systems with Extended Petri Nets","authors":"B. Lima, J. Faria","doi":"10.1109/QUATIC.2016.057","DOIUrl":"https://doi.org/10.1109/QUATIC.2016.057","url":null,"abstract":"The growing dependence of our society on increasingly complex software systems makes software testing ever more important and challenging. In many domains, such as healthcare and transportation, several independent systems, forming a heterogeneous and distributed system of systems, are involved in the provisioning of end-to-end services to users. However, existing testing techniques, namely in the model-based testing field, provide little support for properly testing such systems. To bridge the gaps identified in the state of the art we intend to develop a research work where the main goal is to significantly reduce the cost of testing distributed and heterogeneous systems, from the standpoint of time, resources and expertise required, as compared to existing approaches. For that, we propose a preliminary approach and a toolset architecture for automating the testing of end-to-end services in distributed and heterogeneous systems. The tester interacts with a visual modeling frontend to describe key behavioral scenarios, invoke test generation and execution, and visualize test results and coverage information back in the model. The visual modeling notation is converted to a formal notation amenable for runtime interpretation in the backend. A distributed test monitoring and control infrastructure is responsible for interacting with the components of the system under test, as test driver, monitor and stub. At the core of the toolset, a test execution engine coordinates test execution and checks the conformance of the observed execution trace with the expectations derived from the visual model. A real world example from the Ambient Assisted Living domain is presented to illustrate the approach. As future work we intend to develop distributed and incremental algorithms for online testing of distributed and heterogeneous systems based on Extended Petri Nets at runtime and validate them in real world case studies.","PeriodicalId":157671,"journal":{"name":"2016 10th International Conference on the Quality of Information and Communications Technology (QUATIC)","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124739899","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}
The market for mobile robots supporting the work in non-industrial environments is increasing. Mobile robots are sold to millions of households and reached a reliability recommending them for professional environments as eHealth environments. Robots of today might not be designed for such demanding areas, but they evolve in this direction. For nontechnical users there is no advice available how they can test robots for their environment. Former studies indicated some areas which might be important to be tested, but at the end no concrete strategy to derive test cases or scenarios have been provided. A concrete generic test strategy is developed, starting with the advices derived from a literature study. The derived generic test strategy was then evaluated by using it for a concrete scenario. We used one of the most reliable household robots, the Roomba from iRobot for a challenging hospital environment. The evaluation showed that there is a high risk to miss out critical situations and that a generic test strategy could guide teams through an adequate definition of test scenarios.
{"title":"Generic Acceptance Test Strategy for Mobile Robots' Navigation Algorithms: Applied in a Health Care Environment","authors":"Martine Herpers, Daniela Schmelz","doi":"10.1109/QUATIC.2016.051","DOIUrl":"https://doi.org/10.1109/QUATIC.2016.051","url":null,"abstract":"The market for mobile robots supporting the work in non-industrial environments is increasing. Mobile robots are sold to millions of households and reached a reliability recommending them for professional environments as eHealth environments. Robots of today might not be designed for such demanding areas, but they evolve in this direction. For nontechnical users there is no advice available how they can test robots for their environment. Former studies indicated some areas which might be important to be tested, but at the end no concrete strategy to derive test cases or scenarios have been provided. A concrete generic test strategy is developed, starting with the advices derived from a literature study. The derived generic test strategy was then evaluated by using it for a concrete scenario. We used one of the most reliable household robots, the Roomba from iRobot for a challenging hospital environment. The evaluation showed that there is a high risk to miss out critical situations and that a generic test strategy could guide teams through an adequate definition of test scenarios.","PeriodicalId":157671,"journal":{"name":"2016 10th International Conference on the Quality of Information and Communications Technology (QUATIC)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127626260","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}
Traceability supports various activities of the software development process, such as impact analysis of changes, reuse, maintenance, verification and validation. The graphical representation of traceability information is very important to its effective use in those activities. Visualization tools can help in the interaction with large amount of data, in the identification of characteristics, patterns and trends. However, visualization tools are usually built for a specific domain, and generally support a single visualization technique. Therefore, they do not meet appropriately the needs of different contexts. This paper presents a tool to support traceability visualization that provides different visualization techniques, allowing the user to choose the most appropriate to his/her task; the evaluation results of the proposed tool are presented through two studies.
{"title":"Multi-VisioTrace: Traceability Visualization Tool","authors":"Adriana Rodrigues, Maria Lencastre, G. C. Filho","doi":"10.1109/QUATIC.2016.019","DOIUrl":"https://doi.org/10.1109/QUATIC.2016.019","url":null,"abstract":"Traceability supports various activities of the software development process, such as impact analysis of changes, reuse, maintenance, verification and validation. The graphical representation of traceability information is very important to its effective use in those activities. Visualization tools can help in the interaction with large amount of data, in the identification of characteristics, patterns and trends. However, visualization tools are usually built for a specific domain, and generally support a single visualization technique. Therefore, they do not meet appropriately the needs of different contexts. This paper presents a tool to support traceability visualization that provides different visualization techniques, allowing the user to choose the most appropriate to his/her task; the evaluation results of the proposed tool are presented through two studies.","PeriodicalId":157671,"journal":{"name":"2016 10th International Conference on the Quality of Information and Communications Technology (QUATIC)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124367697","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}
How users experience a web-site's usability is mostly subjective. There is an ISO standard adressing usability requirements (EN ISO 9241-11). However, its propositions are kept rather general and focus strongly on individual usage situations. Nevertheless, there are usability critera for websites that can be considered negative, e.g. bad contrast, a high readability index, or discrepancies between an expected user behavior and the users' actual behavior. Our system — AbRUPt — is able to capture a large number of such criteria automatically. By converting, modeling and developing a rule base in the semantic ontology language OWL 2 RL, a system is created that allows automated reasoning for potential web usability problems. This rule base will be presented in this paper.
用户如何体验网站的可用性主要是主观的。有一个关于可用性要求的ISO标准(EN ISO 9241-11)。然而，它的主张保持相当一般，并强烈关注个人使用情况。然而，网站的可用性标准可能被认为是负面的，例如对比度差，可读性指数高，或者预期用户行为与用户实际行为之间的差异。我们的系统——唐突——能够自动捕获大量这样的标准。通过转换、建模和开发语义本体语言OWL 2 RL中的规则库，创建了一个系统，允许对潜在的web可用性问题进行自动推理。本文将介绍该规则库。
{"title":"Usability Reasoning Using OWL 2 RL","authors":"Ludger Martin, Manuel Dudda","doi":"10.1109/QUATIC.2016.040","DOIUrl":"https://doi.org/10.1109/QUATIC.2016.040","url":null,"abstract":"How users experience a web-site's usability is mostly subjective. There is an ISO standard adressing usability requirements (EN ISO 9241-11). However, its propositions are kept rather general and focus strongly on individual usage situations. Nevertheless, there are usability critera for websites that can be considered negative, e.g. bad contrast, a high readability index, or discrepancies between an expected user behavior and the users' actual behavior. Our system — AbRUPt — is able to capture a large number of such criteria automatically. By converting, modeling and developing a rule base in the semantic ontology language OWL 2 RL, a system is created that allows automated reasoning for potential web usability problems. This rule base will be presented in this paper.","PeriodicalId":157671,"journal":{"name":"2016 10th International Conference on the Quality of Information and Communications Technology (QUATIC)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125665122","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}
The increasing need for adaptive systems has led to the creation of many frameworks aiming to support their development. Nonetheless, the implementation of requirements related to adaptation, just as of any other kind of requirement, comes at a cost. In being so, it is necessary to consider requirements' priorities when creating such systems. In this work we analyze the relationship between requirements prioritization and software adaptation. In particular, the following questions are tackled: is the use of requirements-based adaptation frameworks somehow affected by requirements' priorities? Does the use of said frameworks affect requirements' priorities? Through an analysis of selected frameworks, we have found evidences that suggest positive answers for both questions. In this paper we present our findings as well as an initial proposal for interlacing prioritization activities with adaptation activities.
{"title":"Implicit Priorities in Adaptation Requirements","authors":"J. Pimentel, Maria Lencastre, J. Castro","doi":"10.1109/QUATIC.2016.023","DOIUrl":"https://doi.org/10.1109/QUATIC.2016.023","url":null,"abstract":"The increasing need for adaptive systems has led to the creation of many frameworks aiming to support their development. Nonetheless, the implementation of requirements related to adaptation, just as of any other kind of requirement, comes at a cost. In being so, it is necessary to consider requirements' priorities when creating such systems. In this work we analyze the relationship between requirements prioritization and software adaptation. In particular, the following questions are tackled: is the use of requirements-based adaptation frameworks somehow affected by requirements' priorities? Does the use of said frameworks affect requirements' priorities? Through an analysis of selected frameworks, we have found evidences that suggest positive answers for both questions. In this paper we present our findings as well as an initial proposal for interlacing prioritization activities with adaptation activities.","PeriodicalId":157671,"journal":{"name":"2016 10th International Conference on the Quality of Information and Communications Technology (QUATIC)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131707181","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}
We propose a framework for measuring the impact of data anonymisation and obfuscation in information theoretic and data mining terms. Privacy functions often hamper machine learning but obscuring the classification functions. We propose to use Mutual Information over non-Euclidean spaces as a means of measuring the distortion induced by privacy function and following the same principle, we also propose to use Machine Learning techniques in order to quantify the impact of said obfuscation in terms of further data mining goals.
{"title":"On the Development of a Metric for Quality of Information Content over Anonymised Data-Sets","authors":"Ian Oliver, Y. Miché","doi":"10.1109/QUATIC.2016.047","DOIUrl":"https://doi.org/10.1109/QUATIC.2016.047","url":null,"abstract":"We propose a framework for measuring the impact of data anonymisation and obfuscation in information theoretic and data mining terms. Privacy functions often hamper machine learning but obscuring the classification functions. We propose to use Mutual Information over non-Euclidean spaces as a means of measuring the distortion induced by privacy function and following the same principle, we also propose to use Machine Learning techniques in order to quantify the impact of said obfuscation in terms of further data mining goals.","PeriodicalId":157671,"journal":{"name":"2016 10th International Conference on the Quality of Information and Communications Technology (QUATIC)","volume":"131 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130651819","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}
Francesco Basciani, Juri Di Rocco, D. D. Ruscio, Ludovico Iovino, A. Pierantonio
In Model-Driven Engineering (MDE) giving a precise definition of quality models, identifying which quality attributes are of interest for specific stakeholders, and how relating and aggregating together quality attributes are still open issues. The main limitations of currently available quality approaches are limited extensibility, artifact specificity, and manual assessment. This paper proposes an approach supporting the definition of custom quality models consisting of hierarchically organized quality attributes whose evaluation depends on metrics specifically conceived and applied on the modeling artifacts to be analysed. A domain specific language is proposed to specify how quality attributes and metrics have to be aggregated. An execution environment is also provided to apply the defined quality models on actual modeling artifacts so to enable their automated quality assessment. Real applications of the approach are presented by defining and applying explanatory quality models suitably conceived to assess the quality of metamodels and transformations retrieved from public repositories.
{"title":"A Customizable Approach for the Automated Quality Assessment of Modelling Artifacts","authors":"Francesco Basciani, Juri Di Rocco, D. D. Ruscio, Ludovico Iovino, A. Pierantonio","doi":"10.1109/QUATIC.2016.025","DOIUrl":"https://doi.org/10.1109/QUATIC.2016.025","url":null,"abstract":"In Model-Driven Engineering (MDE) giving a precise definition of quality models, identifying which quality attributes are of interest for specific stakeholders, and how relating and aggregating together quality attributes are still open issues. The main limitations of currently available quality approaches are limited extensibility, artifact specificity, and manual assessment. This paper proposes an approach supporting the definition of custom quality models consisting of hierarchically organized quality attributes whose evaluation depends on metrics specifically conceived and applied on the modeling artifacts to be analysed. A domain specific language is proposed to specify how quality attributes and metrics have to be aggregated. An execution environment is also provided to apply the defined quality models on actual modeling artifacts so to enable their automated quality assessment. Real applications of the approach are presented by defining and applying explanatory quality models suitably conceived to assess the quality of metamodels and transformations retrieved from public repositories.","PeriodicalId":157671,"journal":{"name":"2016 10th International Conference on the Quality of Information and Communications Technology (QUATIC)","volume":"1997 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114191694","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：