当前期刊: Software Quality Journal Go to current issue    加入关注   
显示样式:        排序: IF: - GO 导出
我的关注
我的收藏
您暂时未登录!
登录
  • Two experiments for evaluating the impact of Hamcrest and AssertJ on assertion development
    Software Qual. J. (IF 2.141) Pub Date : 2020-06-03
    Maurizio Leotta, Maura Cerioli, Dario Olianas, Filippo Ricca

    Test automation enables continuous testing, a cornerstone of agile methods, and DevOps. Assertions play a fundamental role in test automation, and recently competing assertion libraries for unit testing frameworks, such as, for example, JUnit or TestNG, emerged. Thus, it is imperative to gauge assertion libraries in terms of developer/tester productivity, allowing SQA managers and software testers

    更新日期:2020-06-03
  • A public unified bug dataset for java and its assessment regarding metrics and bug prediction
    Software Qual. J. (IF 2.141) Pub Date : 2020-06-03
    Rudolf Ferenc, Zoltán Tóth, Gergely Ladányi, István Siket, Tibor Gyimóthy

    Bug datasets have been created and used by many researchers to build and validate novel bug prediction models. In this work, our aim is to collect existing public source code metric-based bug datasets and unify their contents. Furthermore, we wish to assess the plethora of collected metrics and the capabilities of the unified bug dataset in bug prediction. We considered 5 public datasets and we downloaded

    更新日期:2020-06-03
  • Verifying temporal specifications of Java programs
    Software Qual. J. (IF 2.141) Pub Date : 2020-05-25
    Francesco Spegni, Luca Spalazzi, Giovanni Liva, Martin Pinzger, Andreas Bollin

    Many Java programs encode temporal behaviors in their source code, typically mixing three features provided by the Java language: (1) pausing the execution for a limited amount of time, (2) waiting for an event that has to occur before a deadline expires, and (3) comparing timestamps. In this work, we show how to exploit modern SMT solvers together with static analysis in order to produce a network

    更新日期:2020-05-25
  • Towards supporting software assurance assessments by detecting security patterns
    Software Qual. J. (IF 2.141) Pub Date : 2020-05-05
    Michaela Bunke, Karsten Sohr

    Today, many tools exist that attempt to find possible vulnerabilities in Android applications, e.g., FlowDroid, Fortify, or AppScan. However, all these tools aim to detect vulnerabilities or (sometimes) tainted flows and present the reviewer detected possible issues of an analyzed Android application. None of these tools supports the identification of implemented security features in code, although

    更新日期:2020-05-05
  • Test case generation based on mutations over user execution traces
    Software Qual. J. (IF 2.141) Pub Date : 2020-05-01
    Ana C. R. Paiva, André Restivo, Sérgio Almeida

    Automatic test case generation is usually based on models of the software under test. However, those models may not exist or may be outdated and so, the test case generation must resort to other artifacts. In a software maintenance context, test cases must adapt to software changes and should be improved continuously to test adequately the new versions of the software. Mutation testing is a fault-based

    更新日期:2020-05-01
  • Assessing data cybersecurity using ISO/IEC 25012
    Software Qual. J. (IF 2.141) Pub Date : 2020-04-27
    Javier Verdugo, Moisés Rodríguez

    Data is of ever-growing importance and is widely considered to be a company’s most valuable asset. Since data is becoming the main driver of business value, data quality and, specifically, data security are of paramount importance to companies. Various regulations related to data cybersecurity have been drawn up, such as the GDPR and the Cybersecurity Act, thus proving the importance placed on data

    更新日期:2020-04-27
  • Application of machine learning techniques to the flexible assessment and improvement of requirements quality
    Software Qual. J. (IF 2.141) Pub Date : 2020-04-27
    Valentín Moreno, Gonzalo Génova, Eugenio Parra, Anabel Fraga

    It is already common to compute quantitative metrics of requirements to assess their quality. However, the risk is to build assessment methods and tools that are both arbitrary and rigid in the parameterization and combination of metrics. Specifically, we show that a linear combination of metrics is insufficient to adequately compute a global measure of quality. In this work, we propose to develop

    更新日期:2020-04-27
  • QoS monitor as a service
    Software Qual. J. (IF 2.141) Pub Date : 2020-04-18
    Taycir Bouasker, Mahjoub Langar, Riadh Robbana

    Quality of web service becomes more and more interesting as a distinguishing criterion to select a unique web service from all candidate ones. The quality assessment issue, especially regarding the volatility of the web services environment, is one among the main challenges in this context. In this paper, we propose a service-based system for web services monitoring. Compared with other efforts in

    更新日期:2020-04-22
  • Runtime verification of real-time event streams under non-synchronized arrival
    Software Qual. J. (IF 2.141) Pub Date : 2020-04-18
    Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Alexander Schramm

    We study the problem of online runtime verification of real-time event streams. Our monitors can observe concurrent systems with a shared clock, but where each component reports observations as signals that arrive to the monitor at different speeds and with different and varying latencies. We start from specifications in a fragment of the TeSSLa specification language, where streams (including inputs

    更新日期:2020-04-22
  • XACMET: XACML Testing & Modeling
    Software Qual. J. (IF 2.141) Pub Date : 2020-04-16
    Said Daoudagh, Francesca Lonetti, Eda Marchetti

    In the context of access control systems, testing activity is among the most adopted means to assure that sensible information or resources are correctly accessed. In XACML-based access control systems, incoming access requests are transmitted to the policy decision point (PDP) that grants or denies the access based on the defined XACML policies. The criticality of a PDP component requires an intensive

    更新日期:2020-04-22
  • Code smell detection using multi-label classification approach
    Software Qual. J. (IF 2.141) Pub Date : 2020-04-04
    Thirupathi Guggulothu, Salman Abdul Moiz

    Code smells are characteristics of the software that indicates a code or design problem which can make software hard to understand, evolve, and maintain. There are several code smell detection tools proposed in the literature, but they produce different results. This is because smells are informally defined or subjective in nature. Machine learning techniques help in addressing the issues of subjectivity

    更新日期:2020-04-22
  • Increasing validity through replication: an illustrative TDD case
    Software Qual. J. (IF 2.141) Pub Date : 2020-03-26
    Adrian Santos, Sira Vegas, Fernando Uyaguari, Oscar Dieste, Burak Turhan, Natalia Juristo

    Software engineering (SE) experiments suffer from threats to validity that may impact their results. Replication allows researchers building on top of previous experiments’ weaknesses and increasing the reliability of the findings. Illustrating the benefits of replication to increase the reliability of the findings and uncover moderator variables. We replicate an experiment on test-driven development

    更新日期:2020-04-22
  • Data-driven and tool-supported elicitation of quality requirements in agile companies
    Software Qual. J. (IF 2.141) Pub Date : 2020-03-17
    Marc Oriol, Silverio Martínez-Fernández, Woubshet Behutiye, Carles Farré, Rafał Kozik, Pertti Seppänen, Anna Maria Vollmer, Pilar Rodríguez, Xavier Franch, Sanja Aaramaa, Antonin Abhervé, Michał Choraś, Jari Partanen

    Quality requirements (QRs) are a key artifact needed to ensure the quality and success of a software system. Despite their importance, QRs rarely get the same degree of attention as their functional counterpart in agile software development (ASD) projects. Moreover, crucial information that can be obtained from software development repositories (e.g., JIRA, GitHub) is not fully exploited, or is even

    更新日期:2020-04-22
  • A preliminary analysis of self-adaptive systems according to different issues
    Software Qual. J. (IF 2.141) Pub Date : 2020-03-13
    Claudia Raibulet, Francesca Arcelli Fontana, Simone Carettoni

    Self-adaptive systems dynamically change their structure and behavior in response to changes in their execution environment to ensure the quality of the services they provide. Self-adaptive systems are usually built of a managed part, which implements their functionality, and a managing part, which implements the self-adaptive mechanisms. Hence, the complexity of self-adaptive systems results also

    更新日期:2020-04-22
  • Planning-based security testing of web applications with attack grammars
    Software Qual. J. (IF 2.141) Pub Date : 2020-03-09
    Josip Bozic, Franz Wotawa

    Web applications are deployed on machines around the globe and offer almost universal accessibility. These applications assure functional interconnectivity between different components on a 24/7 basis. One of the most important requirements is data confidentiality and secure authentication. However, implementation flaws and unfulfilled requirements often result in security leaks that malicious users

    更新日期:2020-04-22
  • Using the IDEAL model for the construction of a deployment framework of IT Service Desks at the Brazilian Federal Institutes of Education
    Software Qual. J. (IF 2.141) Pub Date : 2020-03-07
    Cristiano Domingues da Silva, Alexandre Marcos Lins de Vasconcelos

    Brazilian Federal Institutes of Education, Science and Technology (FIs) have expanded through multicampi structure, which has led to profound changes in their administrative and academic organization. As consequence of this expansion, the demand for services, systems, and information technology (IT) solutions has increased; and the support service’s provision has become much more relevant. However

    更新日期:2020-04-22
  • Availability and reliability modeling of VM migration as rejuvenation on a system under varying workload
    Software Qual. J. (IF 2.141) Pub Date : 2020-03-04
    Matheus Torquato, Paulo Maciel, Marco Vieira

    Cloud computing serves as a platform for diverse types of applications, from low-priority to critical. Some of these applications require high levels of system availability and reliability. Developing methods for cloud computing availability and reliability evaluation is of utmost importance. In this paper, we propose a set of models for availability and reliability evaluation of a virtualized system

    更新日期:2020-04-22
  • RETORCH: an approach for resource-aware orchestration of end-to-end test cases
    Software Qual. J. (IF 2.141) Pub Date : 2020-03-02
    Cristian Augusto, Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya

    Continuous integration practice mandates to continuously introduce incremental changes into code, but doing so may introduce new faults too. These faults could be detected automatically through regression testing, but this practice becomes prohibitive as the cost of executing the tests grows. This problem is preponderant in end-to-end testing where the whole system is requested for test execution.

    更新日期:2020-04-22
  • Integrating security and privacy in software development
    Software Qual. J. (IF 2.141) Pub Date : 2020-02-28
    Maria Teresa Baldassarre, Vita Santa Barletta, Danilo Caivano, Michele Scalera

    As a consequence to factors such as progress made by the attackers, release of new technologies and use of increasingly complex systems, and threats to applications security have been continuously evolving. Security of code and privacy of data must be implemented in both design and programming practice to face such scenarios. In such a context, this paper proposes a software development approach, Privacy

    更新日期:2020-04-22
  • An automated approach to assess the similarity of GitHub repositories
    Software Qual. J. (IF 2.141) Pub Date : 2020-02-15
    Phuong T. Nguyen, Juri Di Rocco, Riccardo Rubei, Davide Di Ruscio

    Open source software (OSS) allows developers to study, change, and improve the code free of charge. There are several high-quality software projects which deliver stable and well-documented products. Most OSS forges typically sustain active user and expert communities which in turn provide decent levels of support both with respect to answering user questions as well as to repairing reported software

    更新日期:2020-04-22
  • Testing adaptation policies for software components
    Software Qual. J. (IF 2.141) Pub Date : 2020-01-23
    Frédéric Dadeau, Jean-Philippe Gros, Olga Kouchnarenko

    Self-adaptive systems have to implement adaptation policies described by sets of rules that express how the components are reconfigured within the system, the priority of a given reconfiguration to happen, when a given (sequence of) event(s) occurs, and when specific conditions on the system state are satisfied. However, when this priority is given by a fuzzy value (e.g., high, medium, low) depending

    更新日期:2020-04-22
  • Towards a software quality certification of master data-based applications
    Software Qual. J. (IF 2.141) Pub Date : 2020-01-20
    Fernando Gualo, Ismael Caballero, Moisés Rodriguez

    Abstract Master data management (MDM) can provide an integrated and unified view of key business entities to offer better support in business processes. Due to the very nature of master data-based applications, it is possible to use data with the highest possible level of quality. MDM can help ensure that some common concerns, like duplicates or inconsistencies, are prevented by sharing a ‘single version

    更新日期:2020-04-13
  • A model-driven engineering approach for supporting questionnaire-based gap analysis processes through application lifecycle management systems
    Software Qual. J. (IF 2.141) Pub Date : 2020-01-17
    Domenico Amalfitano, Vincenzo De Simone, Stefano Scala, Anna Rita Fasolino

    Abstract Gap analysis is a common approach in industry to evaluate the gaps between the implemented software processes and the requirements of process quality frameworks or standard norms. Gap analysis processes are usually executed by means of questionnaires that need to be crafted ad hoc according to specific appraisal goals. The approaches used for developing, compiling and evaluating the answers

    更新日期:2020-04-13
  • Scen@rist: an approach for verifying self-adaptive systems using runtime scenarios
    Software Qual. J. (IF 2.141) Pub Date : 2020-01-16
    Rômulo Gadelha, Lucas Vieira, Davi Monteiro, Felipe Vidal, Paulo Henrique Maia

    Abstract Traditional runtime quantitative verification approaches for self-adaptive systems usually rely on the use of state-transition models to describe the system behaviour and check property violation at runtime. More recently, some approaches have advocated the use of scenarios as a strategy for representing both the normal and adaptive system behaviour. However, the use of scenarios as a runtime

    更新日期:2020-04-13
  • Invalid bug reports complicate the software aging situation
    Software Qual. J. (IF 2.141) Pub Date : 2020-01-13
    Xiaoxue Wu, Wei Zheng, Minchao Pu, Jie Chen, Dejun Mu

    Abstract Symptoms of software aging include performance degradation and failure occurrence increasing when software systems run for a period of time. Therefore, software aging is closely related to system performance. Understanding and analyzing performance issues in the software system is critical to mastering software aging information. Instead of focusing on normal valid bug reports (VBRs), this

    更新日期:2020-04-13
  • Virtualization of stateful services via machine learning
    Software Qual. J. (IF 2.141) Pub Date : 2019-10-03
    Hasan Ferit Enişer, Alper Sen

    Today’s enterprise software systems are much more complicated than the past. Increasing numbers of dependent applications, heterogeneous technologies, and wide usage of Service-Oriented Architectures (SOA), where numerous services communicate with each other, makes testing of such systems challenging. For testing these software systems, the concept of service virtualization is gaining popularity. Service

    更新日期:2019-10-03
Contents have been reproduced by permission of the publishers.
导出
全部期刊列表>>
Springer化学材料学
骄傲月
如何通过Nature平台传播科研成果
跟Nature、Science文章学绘图
隐藏1h前已浏览文章
中洪博元
课题组网站
新版X-MOL期刊搜索和高级搜索功能介绍
ACS材料视界
x-mol收录
南开大学
朱守非
廖良生
郭东升
汪铭
伊利诺伊大学香槟分校
徐明华
中山大学化学工程与技术学院
试剂库存
天合科研
down
wechat
bug