{"title":"Formal verification process of the compliance of a multicore AUTOSAR OS","authors":"Imane Haur, Jean-Luc Béchennec, Olivier H. Roux","doi":"10.1007/s11219-023-09626-4","DOIUrl":"https://doi.org/10.1007/s11219-023-09626-4","url":null,"abstract":"","PeriodicalId":21827,"journal":{"name":"Software Quality Journal","volume":"31 1","pages":"497 - 531"},"PeriodicalIF":1.9,"publicationDate":"2023-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44240059","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A replication study on the intuitiveness of programming language syntax","authors":"Vilma Lappi, V. Tirronen, Jonne Itkonen","doi":"10.1007/s11219-023-09631-7","DOIUrl":"https://doi.org/10.1007/s11219-023-09631-7","url":null,"abstract":"","PeriodicalId":21827,"journal":{"name":"Software Quality Journal","volume":" ","pages":""},"PeriodicalIF":1.9,"publicationDate":"2023-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49665391","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Machine learning for mHealth apps quality evaluation: An approach based on user feedback analysis.","authors":"Mariem Haoues, Raouia Mokni, Asma Sellami","doi":"10.1007/s11219-023-09630-8","DOIUrl":"10.1007/s11219-023-09630-8","url":null,"abstract":"<p><p>Mobile apps for healthcare (mHealth apps for short) have been increasingly adapted to help users manage their health or to get healthcare services. User feedback analysis is a pertinent method that can be used to improve the quality of mHealth apps. The objective of this paper is to use supervised machine learning algorithms to evaluate the quality of mHealth apps according to the ISO/IEC 25010 quality model based on user feedback. For this purpose, a total of 1682 user reviews have been collected from 86 mHealth apps provided by Google Play Store. Those reviews have been classified initially into the ISO/IEC 25010 eight quality characteristics, and further into Negative, Positive, and Neutral opinions. This analysis has been performed using machine learning and natural language processing techniques. The best performances were provided by the Stochastic Gradient Descent (SGD) classifier with an accuracy of 82.00% in classifying user reviews according to the ISO/IEC 25010 quality characteristics. Moreover, Support Vector Machine (SVM) classified the collected user reviews into Negative, Positive, and Neutral with an accuracy of 90.50%. Finally, for each quality characteristic, we classified the collected reviews according to the sentiment polarity. The best performance results were obtained for the Usability, Security, and Compatibility quality characteristics using SGD classifier with an accuracy equal to 98.00%, 97.50%, and 96.00%, respectively. The results of this paper will be effective to assist developers in improving the quality of mHealth apps.</p>","PeriodicalId":21827,"journal":{"name":"Software Quality Journal","volume":"1 1","pages":"1-31"},"PeriodicalIF":1.9,"publicationDate":"2023-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10203680/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46976501","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Quality aspects of digital forest service management: a case study","authors":"M. Jäntti, Markus Aho","doi":"10.1007/s11219-023-09635-3","DOIUrl":"https://doi.org/10.1007/s11219-023-09635-3","url":null,"abstract":"","PeriodicalId":21827,"journal":{"name":"Software Quality Journal","volume":" ","pages":""},"PeriodicalIF":1.9,"publicationDate":"2023-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48860005","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
J. Alvarado-Valiente, J. Romero-Álvarez, E. Moguel, J. García-Alonso, J. M. Murillo
{"title":"Technological diversity of quantum computing providers: a comparative study and a proposal for API Gateway integration","authors":"J. Alvarado-Valiente, J. Romero-Álvarez, E. Moguel, J. García-Alonso, J. M. Murillo","doi":"10.1007/s11219-023-09633-5","DOIUrl":"https://doi.org/10.1007/s11219-023-09633-5","url":null,"abstract":"","PeriodicalId":21827,"journal":{"name":"Software Quality Journal","volume":" ","pages":""},"PeriodicalIF":1.9,"publicationDate":"2023-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45984830","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Comparative analysis of the syntactic and semantic consistency of terms in software testing glossaries","authors":"L. Olsina, P. Lew, Pablo Becker","doi":"10.1007/s11219-023-09638-0","DOIUrl":"https://doi.org/10.1007/s11219-023-09638-0","url":null,"abstract":"","PeriodicalId":21827,"journal":{"name":"Software Quality Journal","volume":" ","pages":""},"PeriodicalIF":1.9,"publicationDate":"2023-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41835882","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Identifying common and persistent errors made by novice analysts when modeling business processes using UML activity diagram: utilizing a hierarchical error classification","authors":"D. Beimel, Arava Tsoury, Shirly Bar Lev","doi":"10.1007/s11219-023-09628-2","DOIUrl":"https://doi.org/10.1007/s11219-023-09628-2","url":null,"abstract":"","PeriodicalId":21827,"journal":{"name":"Software Quality Journal","volume":" ","pages":""},"PeriodicalIF":1.9,"publicationDate":"2023-05-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47230822","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Shameer Kumar Pradhan, Hans-Martin Heyn, E. Knauss
{"title":"Identifying and managing data quality requirements: a design science study in the field of automated driving","authors":"Shameer Kumar Pradhan, Hans-Martin Heyn, E. Knauss","doi":"10.1007/s11219-023-09622-8","DOIUrl":"https://doi.org/10.1007/s11219-023-09622-8","url":null,"abstract":"","PeriodicalId":21827,"journal":{"name":"Software Quality Journal","volume":" ","pages":""},"PeriodicalIF":1.9,"publicationDate":"2023-05-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42121659","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"From DevOps to DevSecOps is not enough. CyberDevOps: an extreme shifting-left architecture to bring cybersecurity within software security lifecycle pipeline","authors":"Federico Lombardi, Alberto Fanton","doi":"10.1007/s11219-023-09619-3","DOIUrl":"https://doi.org/10.1007/s11219-023-09619-3","url":null,"abstract":"","PeriodicalId":21827,"journal":{"name":"Software Quality Journal","volume":"31 1","pages":"619 - 654"},"PeriodicalIF":1.9,"publicationDate":"2023-04-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44202924","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}