Pub Date : 2020-12-01DOI: 10.1109/QRS-C51114.2020.00082
Yating Zhang, Wei Dong, Daiyan Wang, Jiaxin Liu, Binbin Liu
The current approaches to program synthesis focus more on works that contain only API methods. However, our survey shows that the ratio of non-API operations to API calls is very close in Java programs. Although non-API operations are difficult to obtain specific information from user intent, those operations in such as mathematics and logic are frequent and important, and that is an indispensable key in practical development tasks. We present Cana (Capsulate Non-API), an improved approach of probabilistic synthesis for non-API operations. Cana synthesizes programs with non-API operations through two main ideas. One is to encapsulate non-API operations into API calls, and the user also can provide related information when describing incomplete specifications. The other is heuristic strategies to solve the difficult problems that select variables with the same type. Experiments show that Cana can synthesize programs contains combinations of non-API operations in seconds.
{"title":"Probabilistic Synthesis for Program with Non-API Operations","authors":"Yating Zhang, Wei Dong, Daiyan Wang, Jiaxin Liu, Binbin Liu","doi":"10.1109/QRS-C51114.2020.00082","DOIUrl":"https://doi.org/10.1109/QRS-C51114.2020.00082","url":null,"abstract":"The current approaches to program synthesis focus more on works that contain only API methods. However, our survey shows that the ratio of non-API operations to API calls is very close in Java programs. Although non-API operations are difficult to obtain specific information from user intent, those operations in such as mathematics and logic are frequent and important, and that is an indispensable key in practical development tasks. We present Cana (Capsulate Non-API), an improved approach of probabilistic synthesis for non-API operations. Cana synthesizes programs with non-API operations through two main ideas. One is to encapsulate non-API operations into API calls, and the user also can provide related information when describing incomplete specifications. The other is heuristic strategies to solve the difficult problems that select variables with the same type. Experiments show that Cana can synthesize programs contains combinations of non-API operations in seconds.","PeriodicalId":358174,"journal":{"name":"2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C)","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115457576","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}
Pub Date : 2020-12-01DOI: 10.1109/QRS-C51114.2020.00055
S. Mondal, Yu Pei, Hongning Dai, H. M. D. Kabir, J. P. Sahoo
The Android operating system captures over 86% mobile OS market share and a large number of software developers are keen on developing applications for the Android platform. Many Android applications, however, suffer from the problem of slow UI rendering, thereby losing their competitive edge. To be able to address this problem, the developers first need to understand the underlying reasons. In this paper, we present an empirical study on reasons for slow UI rendering on the Android platform, with its focus on the impact of (poor) layout implementation on UI rendering. We also propose a taxonomy of existing techniques that might help tackle the problem and strategies for efficient layout implementation. Results from applying the strategies to sample applications demonstrate that they can help enhance the efficiency of UI rendering.
{"title":"Boosting UI Rendering in Android Applications","authors":"S. Mondal, Yu Pei, Hongning Dai, H. M. D. Kabir, J. P. Sahoo","doi":"10.1109/QRS-C51114.2020.00055","DOIUrl":"https://doi.org/10.1109/QRS-C51114.2020.00055","url":null,"abstract":"The Android operating system captures over 86% mobile OS market share and a large number of software developers are keen on developing applications for the Android platform. Many Android applications, however, suffer from the problem of slow UI rendering, thereby losing their competitive edge. To be able to address this problem, the developers first need to understand the underlying reasons. In this paper, we present an empirical study on reasons for slow UI rendering on the Android platform, with its focus on the impact of (poor) layout implementation on UI rendering. We also propose a taxonomy of existing techniques that might help tackle the problem and strategies for efficient layout implementation. Results from applying the strategies to sample applications demonstrate that they can help enhance the efficiency of UI rendering.","PeriodicalId":358174,"journal":{"name":"2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C)","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126772326","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}
Pub Date : 2020-12-01DOI: 10.1109/QRS-C51114.2020.00025
S. Hidaka
Bidirectional transformations are used to maintain consistency between various artifacts. They are studied across different research fields such as databases, programming languages, category theories and software engineering. The consistency is represented in terms of transformations and consistency is maintained by propagating changes through transformations in forward and backward directions when one of the artifacts are changed. In the authors' previous work, the users of bidirectional graph transformations are informed before backward transformation the possibility of errors by explaining the reason using automatically-generated traceability information. In this paper, we recaptulate the previous work by regarding bidirectional transformations as specifications of consistency relation and errors as violation of consistency, and discuss the essence of the mechanism focusing on the data flow in the bidirectional transformation languages.
{"title":"Trace-baed Error Prevention and Detection of Consistency Maintenance via Bidirectional Graph Transformations","authors":"S. Hidaka","doi":"10.1109/QRS-C51114.2020.00025","DOIUrl":"https://doi.org/10.1109/QRS-C51114.2020.00025","url":null,"abstract":"Bidirectional transformations are used to maintain consistency between various artifacts. They are studied across different research fields such as databases, programming languages, category theories and software engineering. The consistency is represented in terms of transformations and consistency is maintained by propagating changes through transformations in forward and backward directions when one of the artifacts are changed. In the authors' previous work, the users of bidirectional graph transformations are informed before backward transformation the possibility of errors by explaining the reason using automatically-generated traceability information. In this paper, we recaptulate the previous work by regarding bidirectional transformations as specifications of consistency relation and errors as violation of consistency, and discuss the essence of the mechanism focusing on the data flow in the bidirectional transformation languages.","PeriodicalId":358174,"journal":{"name":"2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128216836","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}
Pub Date : 2020-12-01DOI: 10.1109/QRS-C51114.2020.00043
Li Zhang, Yong Huang, Qikai Cheng, Wei Lu
Author identifier (ID) is essential for many downstream tasks, such as co-author network and scientist mobility analysis. As a widely used database, author ID of PubMed is not officially provided by National Institutes of Health (NIH), that restrict some identifier-based researches or systems. This study exploited three open bibliographic databases Aminer, Microsoft Academic Graph (MAG) and Semantic Scholar (S2) to associate author ID for PubMed. For this purpose, paper linking and author linking was performed in order to mine paper and author links between PubMed and these databases. Performance of author name disambiguation (AND) was evaluated on two datasets. Our findings suggested that, S2 contains full volume of PubMed regarding link completeness. With respect to correctness of author ID, S2 and MAG achieved better performance than Aminer. The best F1 score of there available identifiers is below 90%, indicate AND for large scale database remain as a difficult task and efforts are being need for further improvement. We made the final dataset publicly available for facilitating future research.
{"title":"Mining Author Identifiers for PubMed by Linking to Open Bibliographic Databases","authors":"Li Zhang, Yong Huang, Qikai Cheng, Wei Lu","doi":"10.1109/QRS-C51114.2020.00043","DOIUrl":"https://doi.org/10.1109/QRS-C51114.2020.00043","url":null,"abstract":"Author identifier (ID) is essential for many downstream tasks, such as co-author network and scientist mobility analysis. As a widely used database, author ID of PubMed is not officially provided by National Institutes of Health (NIH), that restrict some identifier-based researches or systems. This study exploited three open bibliographic databases Aminer, Microsoft Academic Graph (MAG) and Semantic Scholar (S2) to associate author ID for PubMed. For this purpose, paper linking and author linking was performed in order to mine paper and author links between PubMed and these databases. Performance of author name disambiguation (AND) was evaluated on two datasets. Our findings suggested that, S2 contains full volume of PubMed regarding link completeness. With respect to correctness of author ID, S2 and MAG achieved better performance than Aminer. The best F1 score of there available identifiers is below 90%, indicate AND for large scale database remain as a difficult task and efforts are being need for further improvement. We made the final dataset publicly available for facilitating future research.","PeriodicalId":358174,"journal":{"name":"2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129340048","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}
Pub Date : 2020-12-01DOI: 10.1109/QRS-C51114.2020.00092
Qian Zhao
In accordance with the concept of sustainable development, this study aims to transform old factory buildings on the premises of the Shougang (aka Capital Steel) Group into a cultural activities center serving the needs of neighboring communities. BIM information model technology is used to maximize the utility of the old buildings' structure and space. The main contents of the study include an introduction of old factory building data, the analysis of the whole life cycle information of the factory buildings, and the establishment of a visual information model. On this basis, the artistic elements of the building structure and internal space are restructured, the space layout of the site is optimized, the structural materials are reused, the design quality control and the architectural design process are carried out. All these procedures are taken to ensure that the environment meets the functional requirements of public cultural activities, and the continuation and innovation of industrial culture are well demonstrated. It is found that based on BIM technology, the design concept and design scheme of old factory building transformation can be realized creatively and has a good application prospect.
{"title":"BIM Design for Reconstruction of Old Factory Building based on Sustainable Perspective","authors":"Qian Zhao","doi":"10.1109/QRS-C51114.2020.00092","DOIUrl":"https://doi.org/10.1109/QRS-C51114.2020.00092","url":null,"abstract":"In accordance with the concept of sustainable development, this study aims to transform old factory buildings on the premises of the Shougang (aka Capital Steel) Group into a cultural activities center serving the needs of neighboring communities. BIM information model technology is used to maximize the utility of the old buildings' structure and space. The main contents of the study include an introduction of old factory building data, the analysis of the whole life cycle information of the factory buildings, and the establishment of a visual information model. On this basis, the artistic elements of the building structure and internal space are restructured, the space layout of the site is optimized, the structural materials are reused, the design quality control and the architectural design process are carried out. All these procedures are taken to ensure that the environment meets the functional requirements of public cultural activities, and the continuation and innovation of industrial culture are well demonstrated. It is found that based on BIM technology, the design concept and design scheme of old factory building transformation can be realized creatively and has a good application prospect.","PeriodicalId":358174,"journal":{"name":"2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C)","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130635553","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}
Pub Date : 2020-12-01DOI: 10.1109/QRS-C51114.2020.00089
T. Vassiliou-Gioles
Micro-service architecture has become a standard software architecture style, with loosely coupled, specified, and implemented services, owned by small teams and independently deployable. TTCN-3, as test specification and implementation language, allows an easy and efficient description of complex distributed test behavior and seems to be a natural fit to test micro-services. TTCN-3 is independent of the underlying communication and data technology, which is strength and weakness at the same time. While tools and frameworks are supporting micro-service developers to abstract from the underlying data, implementation, and communication technology, this support has to be modeled in a TTCN-3 based test system, manually. This paper discusses the concepts of a TTCN-3 framework on the four different levels of the Richardson-Maturity Model, introducing support for testing hypermedia controls, HATEOAS, proposes a TTCN-3 framework and open-source implementation to realize them and demonstrates its application by a concrete example.
{"title":"A simple, lightweight framework for testing RESTful services with TTCN-3","authors":"T. Vassiliou-Gioles","doi":"10.1109/QRS-C51114.2020.00089","DOIUrl":"https://doi.org/10.1109/QRS-C51114.2020.00089","url":null,"abstract":"Micro-service architecture has become a standard software architecture style, with loosely coupled, specified, and implemented services, owned by small teams and independently deployable. TTCN-3, as test specification and implementation language, allows an easy and efficient description of complex distributed test behavior and seems to be a natural fit to test micro-services. TTCN-3 is independent of the underlying communication and data technology, which is strength and weakness at the same time. While tools and frameworks are supporting micro-service developers to abstract from the underlying data, implementation, and communication technology, this support has to be modeled in a TTCN-3 based test system, manually. This paper discusses the concepts of a TTCN-3 framework on the four different levels of the Richardson-Maturity Model, introducing support for testing hypermedia controls, HATEOAS, proposes a TTCN-3 framework and open-source implementation to realize them and demonstrates its application by a concrete example.","PeriodicalId":358174,"journal":{"name":"2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123344311","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}
Pub Date : 2020-12-01DOI: 10.1109/QRS-C51114.2020.00096
Chi Zhang, Xiangjie Qiao, Xianfeng Chen
In view of the characteristics of the complexity of public management and service content, the universality of service objects and the diversity of demands faced by current tourism industry development into a new stage of popularisation and industrialisation, this paper proposes a big data driven decision-making model to innovate tourism public management and service, and discusses the connotation, decision-making and implementation process under this decision-making mode. Through the construction of tourism public management and service framework based on big data, this paper discusses the elements, environment characteristics and promotion mode of the framework operation. The mode of tourism public management and service are reformed with decision-making and management based on big data. The problems solution efficiency, quality and services in current tourism industry are improved. Further, tourism public service in the sustainable development in tourism industry worldwide is promoted.
{"title":"A Big Data based Decision Framework for Public Management and Service in Tourism","authors":"Chi Zhang, Xiangjie Qiao, Xianfeng Chen","doi":"10.1109/QRS-C51114.2020.00096","DOIUrl":"https://doi.org/10.1109/QRS-C51114.2020.00096","url":null,"abstract":"In view of the characteristics of the complexity of public management and service content, the universality of service objects and the diversity of demands faced by current tourism industry development into a new stage of popularisation and industrialisation, this paper proposes a big data driven decision-making model to innovate tourism public management and service, and discusses the connotation, decision-making and implementation process under this decision-making mode. Through the construction of tourism public management and service framework based on big data, this paper discusses the elements, environment characteristics and promotion mode of the framework operation. The mode of tourism public management and service are reformed with decision-making and management based on big data. The problems solution efficiency, quality and services in current tourism industry are improved. Further, tourism public service in the sustainable development in tourism industry worldwide is promoted.","PeriodicalId":358174,"journal":{"name":"2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C)","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123999107","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}
Pub Date : 2020-12-01DOI: 10.1109/QRS-C51114.2020.00074
Hao Li, Tao Li, Sheng Zhong, Yan Kang, Tie Chen
APIs play an important role in modern software development. Programmers need to frequently search for the appropriate APIs according to different tasks. With the development of the information industry, API reference documents have become larger and larger. Due to redundant and erroneous information on the Internet, traditional search methods can also cause inconvenience to programmers' queries. At the same time, there is a gap in terms of vocabulary and knowledge between the natural language description of the programming task and the description in the API documentation, so it is difficult to find a suitable API. To solve these problems, this paper proposes a Java API recommendation model by fusing the Java domain knowledge base and the Siamese Network to improve the accuracy of API recommendation. Experiments on the BIKER data set show that our method has better recommendation results than the state-of-art DeepAPI and BIKER model.
{"title":"A Fusion of Java Domain Knowledge Base and Siamese Network for Java API Recommendation","authors":"Hao Li, Tao Li, Sheng Zhong, Yan Kang, Tie Chen","doi":"10.1109/QRS-C51114.2020.00074","DOIUrl":"https://doi.org/10.1109/QRS-C51114.2020.00074","url":null,"abstract":"APIs play an important role in modern software development. Programmers need to frequently search for the appropriate APIs according to different tasks. With the development of the information industry, API reference documents have become larger and larger. Due to redundant and erroneous information on the Internet, traditional search methods can also cause inconvenience to programmers' queries. At the same time, there is a gap in terms of vocabulary and knowledge between the natural language description of the programming task and the description in the API documentation, so it is difficult to find a suitable API. To solve these problems, this paper proposes a Java API recommendation model by fusing the Java domain knowledge base and the Siamese Network to improve the accuracy of API recommendation. Experiments on the BIKER data set show that our method has better recommendation results than the state-of-art DeepAPI and BIKER model.","PeriodicalId":358174,"journal":{"name":"2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C)","volume":"130 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126490098","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}
Pub Date : 2020-12-01DOI: 10.1109/QRS-C51114.2020.00109
Chong Zeng, Weihua Li, Hualong Guo, Tung-Lung Wu, Dennis Bumsoo Kim
This paper introduces a three-dimensional light field display system, which is composed of a high-speed projector, a directional scattering mirror, a circular stainless-steel bearing plate, a rotating shaft and a high-speed micro motor. The system reduces information redundancy and computational complexity by reconstructing the light intensity distribution of the observed object, thus generating a real three-dimensional suspended image. The experimental results show that the suspension three-dimensional image can be generated by properly adjusting the projection rate of the image and the rotation speed of the rotating mirror (i.e. the motor speed). The clarity and accuracy of a three-dimension display depending on the number of slices selected, meaning that the more slices can be projected per minute, the finer the three-dimension display. Finally, this study provides the basic parameter matching, which shows the feasibility of developing a real light field 3D display system with stable performance, strong portability, easy implementation, and low cost. In short, naked-eye 3D allows the observer to view objects from any angle and direction, without the need for any auxiliary tools (such as glasses, helmets, etc.).
{"title":"Development of A Real 3D Display System","authors":"Chong Zeng, Weihua Li, Hualong Guo, Tung-Lung Wu, Dennis Bumsoo Kim","doi":"10.1109/QRS-C51114.2020.00109","DOIUrl":"https://doi.org/10.1109/QRS-C51114.2020.00109","url":null,"abstract":"This paper introduces a three-dimensional light field display system, which is composed of a high-speed projector, a directional scattering mirror, a circular stainless-steel bearing plate, a rotating shaft and a high-speed micro motor. The system reduces information redundancy and computational complexity by reconstructing the light intensity distribution of the observed object, thus generating a real three-dimensional suspended image. The experimental results show that the suspension three-dimensional image can be generated by properly adjusting the projection rate of the image and the rotation speed of the rotating mirror (i.e. the motor speed). The clarity and accuracy of a three-dimension display depending on the number of slices selected, meaning that the more slices can be projected per minute, the finer the three-dimension display. Finally, this study provides the basic parameter matching, which shows the feasibility of developing a real light field 3D display system with stable performance, strong portability, easy implementation, and low cost. In short, naked-eye 3D allows the observer to view objects from any angle and direction, without the need for any auxiliary tools (such as glasses, helmets, etc.).","PeriodicalId":358174,"journal":{"name":"2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C)","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126511468","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
扫码关注我们
求助内容：
应助结果提醒方式：