首页 > 最新文献

2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C)最新文献

英文 中文
A FANETs System for Autonomous Aerocraft Flying Formation 自主飞行器编队飞行的FANETs系统
Jinyong Lin, Wenlong Cai, Xiangrui Fan, Wenjie Dong, Shuo Zhang
Flying Ad-Hoc Network is the information bridge for autonomous aerocraft flying formation. This paper mainly investigates a given FANETs application system of autonomous aerocraft flying formation. At first the given FANETs system scheme and its specific characteristics have been described respectively. Also,the communication protocol stack model of five layers and its protocol stack software have been proposed. The communication terminal design and the flying test scene have been discussed. Finally, the test results show the system scheme and its communication protocol stack model are feasible.
飞行自组网是自主飞行器编队飞行的信息桥梁。本文主要研究了一个给定的自主飞行器编队飞行FANETs应用系统。首先介绍了给定的FANETs系统方案及其具体特点。提出了五层通信协议栈模型及其协议栈软件。讨论了通信终端的设计和飞行试验场景。最后,测试结果表明系统方案及其通信协议栈模型是可行的。
{"title":"A FANETs System for Autonomous Aerocraft Flying Formation","authors":"Jinyong Lin, Wenlong Cai, Xiangrui Fan, Wenjie Dong, Shuo Zhang","doi":"10.1109/QRS-C57518.2022.00105","DOIUrl":"https://doi.org/10.1109/QRS-C57518.2022.00105","url":null,"abstract":"Flying Ad-Hoc Network is the information bridge for autonomous aerocraft flying formation. This paper mainly investigates a given FANETs application system of autonomous aerocraft flying formation. At first the given FANETs system scheme and its specific characteristics have been described respectively. Also,the communication protocol stack model of five layers and its protocol stack software have been proposed. The communication terminal design and the flying test scene have been discussed. Finally, the test results show the system scheme and its communication protocol stack model are feasible.","PeriodicalId":183728,"journal":{"name":"2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C)","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133649142","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
Dependability Analysis and Verification Technology of Artificial Intelligence Software 人工智能软件可靠性分析与验证技术
Yaming Zhang, Lijin Wu, Xiaomei Shen, Zehua Shen, Tongli Tang
This paper focuses on the dependability analysis and verification technology of artificial intelligence software. Aiming at the dependability problems caused by the uncontrollable algorithm output of artificial intelligence software, misguided learning models and unpredictable software defects, as well as the current intelligent software testing and verification requirements, this paper analyzes the connotation and characteristics of artificial intelligence software dependability, and studies artificial intelligence software dependability mechanism and defect mode analysis method, break through artificial intelligence software dependability verification technology, innovatively build artificial intelligence software dependability index system, and finally form a comprehensive evaluation method for software dependability.
本文主要研究人工智能软件的可靠性分析与验证技术。针对人工智能软件算法输出不可控、学习模型被误导、软件缺陷不可预测等导致的可靠性问题,以及当前智能软件测试验证需求,分析了人工智能软件可靠性的内涵和特点,研究了人工智能软件可靠性机制和缺陷模式分析方法。突破人工智能软件可靠性验证技术,创新构建人工智能软件可靠性指标体系,最终形成软件可靠性综合评价方法。
{"title":"Dependability Analysis and Verification Technology of Artificial Intelligence Software","authors":"Yaming Zhang, Lijin Wu, Xiaomei Shen, Zehua Shen, Tongli Tang","doi":"10.1109/QRS-C57518.2022.00041","DOIUrl":"https://doi.org/10.1109/QRS-C57518.2022.00041","url":null,"abstract":"This paper focuses on the dependability analysis and verification technology of artificial intelligence software. Aiming at the dependability problems caused by the uncontrollable algorithm output of artificial intelligence software, misguided learning models and unpredictable software defects, as well as the current intelligent software testing and verification requirements, this paper analyzes the connotation and characteristics of artificial intelligence software dependability, and studies artificial intelligence software dependability mechanism and defect mode analysis method, break through artificial intelligence software dependability verification technology, innovatively build artificial intelligence software dependability index system, and finally form a comprehensive evaluation method for software dependability.","PeriodicalId":183728,"journal":{"name":"2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C)","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133714328","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
Script Based Pattern Recognition for a Portrait Tracking System on Broadcast Online Scenes 基于脚本的在线广播场景人像跟踪系统模式识别
Qinyun Liu, Xiaopeng Xu
The online broadcast scene is a novel scenario in culture and tourism industry in new period. However, the online broadcast control system has not been solved at the technical level. This research describes a collaborative smart control system for seizing actors and scenarios in broadcast online scene based on drama script with pattern recognition. Based on the script of the cultural and artistic forms under the online broadcast scenario, the training parameters of the pattern recognition algorithm are set to recognize the real-time capture of the face, dress, clothing, etc., and the tracking and overall setting control. The kernel algorithm is set with smart decision making system based for seizing actors and clustering algorithm (discrimination analysis) for seizing different scenarios on stage. Connections between equipment serving for the entire broadcasting drama and online presentations are achieved by the wireless network, software and kernel control system.
网络直播场景是新时期文化旅游行业的新场景。然而,在线直播控制系统在技术层面上一直没有得到解决。本文研究了一种基于戏剧剧本和模式识别的在线直播场景中演员和场景的协同智能控制系统。基于网络直播场景下的文化艺术形式脚本,设置模式识别算法的训练参数,对人脸、服饰、服装等进行实时捕捉识别,并进行跟踪和整体设置控制。核心算法设置了基于捕捉演员的智能决策系统和基于捕捉舞台上不同场景的聚类算法(判别分析)。为整个广播剧服务的设备与在线呈现之间的连接是通过无线网络、软件和核心控制系统实现的。
{"title":"Script Based Pattern Recognition for a Portrait Tracking System on Broadcast Online Scenes","authors":"Qinyun Liu, Xiaopeng Xu","doi":"10.1109/QRS-C57518.2022.00110","DOIUrl":"https://doi.org/10.1109/QRS-C57518.2022.00110","url":null,"abstract":"The online broadcast scene is a novel scenario in culture and tourism industry in new period. However, the online broadcast control system has not been solved at the technical level. This research describes a collaborative smart control system for seizing actors and scenarios in broadcast online scene based on drama script with pattern recognition. Based on the script of the cultural and artistic forms under the online broadcast scenario, the training parameters of the pattern recognition algorithm are set to recognize the real-time capture of the face, dress, clothing, etc., and the tracking and overall setting control. The kernel algorithm is set with smart decision making system based for seizing actors and clustering algorithm (discrimination analysis) for seizing different scenarios on stage. Connections between equipment serving for the entire broadcasting drama and online presentations are achieved by the wireless network, software and kernel control system.","PeriodicalId":183728,"journal":{"name":"2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C)","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133991490","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
A Creative Computing Approach to Optimising Citizens' Fashion Education based on Design Thinking for Responding to Micro-Level Needs of Smart City Development 基于设计思维的创新计算方法优化市民时尚教育响应智慧城市发展微观层面需求
Yue Wu, Xiang Li, Jiafeng Zhou
This paper proposes a creative computing approach to introduce design thinking principles for optimising fashion design students' capabilities, thereby fulfilling the micro-level needs of smart city development. One of the most typical micro-level needs in smart cities is to optimise citizens' well-being and happiness through problem definition, solution generation and consensus-making based on quick, direct, and up-to-date data and information reflecting citizens' situations. Designers, as citizens and significant constructors of smart cities, usually dedicate themselves to optimising people's life qualities by creating products, services and artistic works based on people's needs. Therefore, the design industry usually expects practitioners to possess the capabilities of defining problems, creating concepts, gathering feedback and redesigning. These capabilities constitute the significant parts of the design thinking principles discussed and justify the importance of introducing design thinking. However, challenges still exist when introducing design thinking for instructors. The primary incentives behind these challenges are instructors' limited knowledge, making it difficult to be on the same page with students when selecting the topics, defining problems, and generating design concepts. A creative computing approach could complement instructors' knowledge to support students' topic selection and novel design generation through data collection, manipulation, and presentation. This approach consists of four modules: i) input module, ii) Topic Generation Module, iii) Topic-Design Connection Module, and iv) Supplementary Knowledge Library Module. The creative computing approach would provide a starting point for studying the possibilities of optimising the communication process between educators/instructors and students.
本文提出了一种创造性的计算方法,引入设计思维原理,优化服装设计专业学生的能力,从而满足智慧城市发展的微观需求。智慧城市最典型的微观层面需求之一是,通过快速、直接和最新的反映公民情况的数据和信息,通过定义问题、制定解决方案和达成共识,来优化公民的福祉和幸福。设计师作为智慧城市的公民和重要建设者,通常致力于根据人们的需求创造产品、服务和艺术作品,以优化人们的生活品质。因此,设计行业通常期望从业者具备定义问题、创造概念、收集反馈和重新设计的能力。这些能力构成了所讨论的设计思维原则的重要部分,并证明了引入设计思维的重要性。然而,在向教师介绍设计思维时,仍然存在挑战。这些挑战背后的主要动机是教师知识有限,在选择主题、定义问题和生成设计概念时,很难与学生保持一致。创造性的计算方法可以补充教师的知识,以支持学生通过数据收集、操作和演示来选择主题和产生新的设计。该方法由四个模块组成:1)输入模块,2)主题生成模块,3)主题设计连接模块,4)补充知识库模块。创造性的计算方法将为研究优化教育者/教师与学生之间沟通过程的可能性提供一个起点。
{"title":"A Creative Computing Approach to Optimising Citizens' Fashion Education based on Design Thinking for Responding to Micro-Level Needs of Smart City Development","authors":"Yue Wu, Xiang Li, Jiafeng Zhou","doi":"10.1109/QRS-C57518.2022.00114","DOIUrl":"https://doi.org/10.1109/QRS-C57518.2022.00114","url":null,"abstract":"This paper proposes a creative computing approach to introduce design thinking principles for optimising fashion design students' capabilities, thereby fulfilling the micro-level needs of smart city development. One of the most typical micro-level needs in smart cities is to optimise citizens' well-being and happiness through problem definition, solution generation and consensus-making based on quick, direct, and up-to-date data and information reflecting citizens' situations. Designers, as citizens and significant constructors of smart cities, usually dedicate themselves to optimising people's life qualities by creating products, services and artistic works based on people's needs. Therefore, the design industry usually expects practitioners to possess the capabilities of defining problems, creating concepts, gathering feedback and redesigning. These capabilities constitute the significant parts of the design thinking principles discussed and justify the importance of introducing design thinking. However, challenges still exist when introducing design thinking for instructors. The primary incentives behind these challenges are instructors' limited knowledge, making it difficult to be on the same page with students when selecting the topics, defining problems, and generating design concepts. A creative computing approach could complement instructors' knowledge to support students' topic selection and novel design generation through data collection, manipulation, and presentation. This approach consists of four modules: i) input module, ii) Topic Generation Module, iii) Topic-Design Connection Module, and iv) Supplementary Knowledge Library Module. The creative computing approach would provide a starting point for studying the possibilities of optimising the communication process between educators/instructors and students.","PeriodicalId":183728,"journal":{"name":"2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133064454","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
Transferable Unique Copyright Across AI Model Trading: A Blockchain-Driven Non-Fungible Token Approach AI模型交易中可转让的唯一版权:区块链驱动的不可替代代币方法
Yixin Fan, Guozhi Hao, Jun Wu
Currently, Machine Learning as a Service (MLaaS) greatly benefits artificial intelligence (AI) model trading. However, threats such as model piracy and patent grabbing devastatingly violate the copyright of AI models. Current invasive copyright protection solutions mainly rely on watermarking to embed specific information into AI models, which inevitably decreases the accuracy. While non-invasive schemes, such as adversarial samples, cannot guarantee uniqueness as the adversarial sample generation algorithm would be known to all traders, and thus need to be changed after trading. To enable the ownership information transferable across AI model trading, we propose a blockchain-driven Non-Fungible Token (NFT) approach for trading-oriented AI model copyright protection. We design a mapping mechanism from AI models parameters to NFTs which can identify uniqueness and ownership of AI models across trading. Besides, a reputation-based rewards and penalties scheme is proposed to prevent NFT piracy. Lastly, the evaluation verifies the applicability of our approach.
目前,机器学习即服务(MLaaS)极大地促进了人工智能(AI)模型交易。然而,模型盗版和专利掠夺等威胁严重侵犯了人工智能模型的版权。目前的侵入性版权保护方案主要依靠水印将特定信息嵌入到人工智能模型中,这不可避免地降低了准确性。而非侵入性方案,如对抗样本,不能保证唯一性,因为对抗样本生成算法会为所有交易者所知,因此需要在交易后进行更改。为了使所有权信息能够在人工智能模型交易中转移,我们提出了一种区块链驱动的不可替代代币(NFT)方法,用于面向交易的人工智能模型版权保护。我们设计了一种从人工智能模型参数到nft的映射机制,该机制可以识别跨交易的人工智能模型的唯一性和所有权。此外,提出了基于声誉的奖惩机制来防止NFT盗版。最后,通过评价验证了该方法的适用性。
{"title":"Transferable Unique Copyright Across AI Model Trading: A Blockchain-Driven Non-Fungible Token Approach","authors":"Yixin Fan, Guozhi Hao, Jun Wu","doi":"10.1109/QRS-C57518.2022.00023","DOIUrl":"https://doi.org/10.1109/QRS-C57518.2022.00023","url":null,"abstract":"Currently, Machine Learning as a Service (MLaaS) greatly benefits artificial intelligence (AI) model trading. However, threats such as model piracy and patent grabbing devastatingly violate the copyright of AI models. Current invasive copyright protection solutions mainly rely on watermarking to embed specific information into AI models, which inevitably decreases the accuracy. While non-invasive schemes, such as adversarial samples, cannot guarantee uniqueness as the adversarial sample generation algorithm would be known to all traders, and thus need to be changed after trading. To enable the ownership information transferable across AI model trading, we propose a blockchain-driven Non-Fungible Token (NFT) approach for trading-oriented AI model copyright protection. We design a mapping mechanism from AI models parameters to NFTs which can identify uniqueness and ownership of AI models across trading. Besides, a reputation-based rewards and penalties scheme is proposed to prevent NFT piracy. Lastly, the evaluation verifies the applicability of our approach.","PeriodicalId":183728,"journal":{"name":"2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C)","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124384534","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
A Crawler-Based Vulnerability Detection Method for Cross-Site Scripting Attacks 基于爬虫的跨站脚本攻击漏洞检测方法
Haocheng Guan, Dongcheng Li, Hui Li, Man Zhao
Cross-site scripting attacks, as a means of attack against Web applications, are widely used in phishing, information theft and other fields by unscrupulous people because of their wide targeting and hidden implementation methods. Nevertheless, cross-site scripting vulnerability detection is still in its infancy, with plenty of challenges not yet fully explored. In this paper, we propose Crawler-based Cross Site Scripting Detector, a tool based on crawler technology that can effectively detect stored Cross Site Scripting vulnerabilities and reflected Cross Site Scripting vulnerabilities. Subsequently, in order to verify the effectiveness of the tool, we experim ented this tool with existing tools such as XSSer and Burp Suite by selecting 100 vulnerable websites for the tool's efficiency, false alarm rate and underreporting rate. The results show that our tool can effectively detect Cross Site Scripting vulnerabilities.
跨站脚本攻击作为一种针对Web应用程序的攻击手段,由于其目标广泛、实施方式隐蔽,被不法分子广泛应用于网络钓鱼、信息盗窃等领域。然而,跨站点脚本漏洞检测仍处于起步阶段,许多挑战尚未得到充分探索。本文提出了基于爬虫的跨站脚本探测器,它是一种基于爬虫技术的工具,可以有效地检测存储的跨站脚本漏洞并反映跨站脚本漏洞。随后,为了验证该工具的有效性,我们选择了100个易受攻击的网站,对该工具的效率、虚警率和漏报率进行了测试,并与现有的XSSer、Burp Suite等工具进行了实验。结果表明,该工具能够有效检测跨站脚本漏洞。
{"title":"A Crawler-Based Vulnerability Detection Method for Cross-Site Scripting Attacks","authors":"Haocheng Guan, Dongcheng Li, Hui Li, Man Zhao","doi":"10.1109/QRS-C57518.2022.00103","DOIUrl":"https://doi.org/10.1109/QRS-C57518.2022.00103","url":null,"abstract":"Cross-site scripting attacks, as a means of attack against Web applications, are widely used in phishing, information theft and other fields by unscrupulous people because of their wide targeting and hidden implementation methods. Nevertheless, cross-site scripting vulnerability detection is still in its infancy, with plenty of challenges not yet fully explored. In this paper, we propose Crawler-based Cross Site Scripting Detector, a tool based on crawler technology that can effectively detect stored Cross Site Scripting vulnerabilities and reflected Cross Site Scripting vulnerabilities. Subsequently, in order to verify the effectiveness of the tool, we experim ented this tool with existing tools such as XSSer and Burp Suite by selecting 100 vulnerable websites for the tool's efficiency, false alarm rate and underreporting rate. The results show that our tool can effectively detect Cross Site Scripting vulnerabilities.","PeriodicalId":183728,"journal":{"name":"2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C)","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132167090","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
Internet Governance: Social Mentality and Public Emotion Analysis on Online Media during the COVID-19 Epidemic in Mainland China 互联网治理:新冠肺炎疫情期间中国大陆网络媒体的社会心态与公众情绪分析
Wei Guo, Leyang Zhou, Jia Liu, Miaomiao Liu
Based on a systematical discussion of the logical relationship between social mentality as a psychological basis of social actions and institutions and social governance, and the online emotion as the core element of the dynamic tendency of internet-based social mentality to form emotional energy to promote the operation of the internet society, this paper conducts an empirical study on the online social mentality and public sentiment guidance during the COVID-19 epidemic in mainland China. We use more than 1 million Weibo dynamic data of 104 accounts of three different types including official media, self-media, and big V media and conduct emotional calculation and judgment to address our objectives. The results show that the public sentiment presented by Weibo as the carrier is mainly positive, among which the official media play a positive role in guiding emotions, while the role played by big Vs' is limited during the COVID-19 epidemic. There exists different public sentiment stemmed from the regional differences brought by the heterogeneity of social governance, economic and social development beyond the media guidance. The study provides valuable internet governance experience on how the government can guide the public to respond to and deal with the crisis with a positive attitude when major public health emergencies occur in the future.
本文在系统探讨作为社会行为和制度、社会治理心理基础的社会心态与作为互联网社会心态动态倾向形成情感能量推动互联网社会运行核心要素的网络情感之间的逻辑关系的基础上,对中国大陆地区新冠肺炎疫情期间的网络社会心态与舆情引导进行了实证研究。我们使用官方媒体、自媒体、大V媒体三种不同类型的104个账号的100多万微博动态数据,进行情感计算和判断,以实现我们的目标。结果表明,以微博为载体呈现的公众情绪主要是积极的,其中官方媒体在引导情绪方面发挥了积极的作用,大v在疫情期间的作用有限。在媒体引导之外,由于社会治理、经济社会发展的异质性所带来的地域差异,存在着不同的民意情绪。该研究为未来发生重大突发公共卫生事件时,政府如何引导公众以积极的态度应对和处理危机提供了宝贵的互联网治理经验。
{"title":"Internet Governance: Social Mentality and Public Emotion Analysis on Online Media during the COVID-19 Epidemic in Mainland China","authors":"Wei Guo, Leyang Zhou, Jia Liu, Miaomiao Liu","doi":"10.1109/QRS-C57518.2022.00052","DOIUrl":"https://doi.org/10.1109/QRS-C57518.2022.00052","url":null,"abstract":"Based on a systematical discussion of the logical relationship between social mentality as a psychological basis of social actions and institutions and social governance, and the online emotion as the core element of the dynamic tendency of internet-based social mentality to form emotional energy to promote the operation of the internet society, this paper conducts an empirical study on the online social mentality and public sentiment guidance during the COVID-19 epidemic in mainland China. We use more than 1 million Weibo dynamic data of 104 accounts of three different types including official media, self-media, and big V media and conduct emotional calculation and judgment to address our objectives. The results show that the public sentiment presented by Weibo as the carrier is mainly positive, among which the official media play a positive role in guiding emotions, while the role played by big Vs' is limited during the COVID-19 epidemic. There exists different public sentiment stemmed from the regional differences brought by the heterogeneity of social governance, economic and social development beyond the media guidance. The study provides valuable internet governance experience on how the government can guide the public to respond to and deal with the crisis with a positive attitude when major public health emergencies occur in the future.","PeriodicalId":183728,"journal":{"name":"2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C)","volume":"161 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132103164","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
Code Generation Method based on Structured Tree Input and AST Decoder Attention Augmentation 基于结构化树输入和AST解码器注意力增强的代码生成方法
Wenjun Wei, Junhua Wu
Automatic code generation based on natural language input is important to research in the field of software engineering. In the past, it was mostly a seq2seq structure and used the RNN model. Input and output are regarded as simple sequences, and syntactic structure information in source information is often ignored. This paper proposes a code generation method Tx(Tree-Tree). It uses structured trees to replace simple word sequences so that the model can better learn the syntactic and semantic information in the source information. Therefore, it can alleviate the long dependency problem caused by too long source information. At the same time, the enhanced attention mechanism is adopted in the decoder to distinguish the influence of different historical actions on the current predicted action. The model is validated on three datasets: DJANGO, CONALA, and ATIS. Compared with some typical models, Tx(Tree-Tree) improves both accuracy and BLEU.
基于自然语言输入的代码自动生成是软件工程领域的一个重要研究课题。在过去,它主要是一个seq2seq结构,并使用RNN模型。输入和输出被视为简单的序列,而源信息中的语法结构信息往往被忽略。本文提出了一种代码生成方法Tx(Tree-Tree)。它使用结构化的树来代替简单的词序列,使模型能够更好地学习源信息中的语法和语义信息。因此,它可以缓解由于源信息过长而导致的长依赖问题。同时,在解码器中采用增强注意机制,区分不同历史动作对当前预测动作的影响。模型在三个数据集上进行了验证:DJANGO、CONALA和ATIS。与一些典型模型相比,Tx(Tree-Tree)既提高了准确率,又提高了BLEU。
{"title":"Code Generation Method based on Structured Tree Input and AST Decoder Attention Augmentation","authors":"Wenjun Wei, Junhua Wu","doi":"10.1109/QRS-C57518.2022.00077","DOIUrl":"https://doi.org/10.1109/QRS-C57518.2022.00077","url":null,"abstract":"Automatic code generation based on natural language input is important to research in the field of software engineering. In the past, it was mostly a seq2seq structure and used the RNN model. Input and output are regarded as simple sequences, and syntactic structure information in source information is often ignored. This paper proposes a code generation method Tx(Tree-Tree). It uses structured trees to replace simple word sequences so that the model can better learn the syntactic and semantic information in the source information. Therefore, it can alleviate the long dependency problem caused by too long source information. At the same time, the enhanced attention mechanism is adopted in the decoder to distinguish the influence of different historical actions on the current predicted action. The model is validated on three datasets: DJANGO, CONALA, and ATIS. Compared with some typical models, Tx(Tree-Tree) improves both accuracy and BLEU.","PeriodicalId":183728,"journal":{"name":"2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C)","volume":"113 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115316033","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
Resilience Analysis under the Impact of Cell Failures in the Practical Telecommunication base Station Networks 实际电信基站网络中小区故障影响下的弹性分析
Zongqi Xue, Zhenglin Liang
With the importance of wireless telecommunication services increasing in our daily lives and society operation, the demand for reliable telecommunication networks rapidly grows. However, in contrast to the high reliability of the core telecom systems, the base stations have low redundancy and high failure rate, which lead to a bottleneck in the reliability improvement of the telecommunication network. To figure out the characteristic of the reliability of the base station network, we analyze the compensation mechanism upon the failures of the base station cell by practice data. The results show that the loss of demands caused by base station failures can be compensated by two types of resilience: intrasector resilience and inter-sector resilience. Intra-sector resilience describes the demands absorption occurred between co-sector cells in a base station. Inter-sector resilience is manifested in the demand absorption by the neighbor base stations. We observe these two types of resilience in practical cases and analyze their compensation effects. The results of this paper show that resilience widely exists in base station network and act as an important factor in ensuring the reliability of telecommunication network.
随着无线通信业务在人们日常生活和社会运行中的重要性日益增加,人们对可靠的电信网络的需求迅速增长。然而,与电信核心系统的高可靠性相比,基站的冗余度低,故障率高,成为电信网络可靠性提升的瓶颈。为了解基站网络可靠性的特点,结合实际数据分析了基站单元故障的补偿机制。结果表明,基站故障造成的需求损失可以通过两种类型的弹性来补偿:部门内弹性和部门间弹性。扇区内弹性描述了基站中共扇区单元之间发生的需求吸收。扇区间弹性表现为相邻基站对需求的吸收。我们在实际案例中观察这两种类型的弹性,并分析它们的补偿效应。研究结果表明,弹性在基站网络中广泛存在,是保证电信网络可靠性的重要因素。
{"title":"Resilience Analysis under the Impact of Cell Failures in the Practical Telecommunication base Station Networks","authors":"Zongqi Xue, Zhenglin Liang","doi":"10.1109/QRS-C57518.2022.00131","DOIUrl":"https://doi.org/10.1109/QRS-C57518.2022.00131","url":null,"abstract":"With the importance of wireless telecommunication services increasing in our daily lives and society operation, the demand for reliable telecommunication networks rapidly grows. However, in contrast to the high reliability of the core telecom systems, the base stations have low redundancy and high failure rate, which lead to a bottleneck in the reliability improvement of the telecommunication network. To figure out the characteristic of the reliability of the base station network, we analyze the compensation mechanism upon the failures of the base station cell by practice data. The results show that the loss of demands caused by base station failures can be compensated by two types of resilience: intrasector resilience and inter-sector resilience. Intra-sector resilience describes the demands absorption occurred between co-sector cells in a base station. Inter-sector resilience is manifested in the demand absorption by the neighbor base stations. We observe these two types of resilience in practical cases and analyze their compensation effects. The results of this paper show that resilience widely exists in base station network and act as an important factor in ensuring the reliability of telecommunication network.","PeriodicalId":183728,"journal":{"name":"2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C)","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123805014","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
Automated Modeling of Web Service Composition and Testing: A UML Sequence Diagram-Based Approach Web服务组合和测试的自动化建模:基于UML序列图的方法
Yao Huang, Bingqing Zhang, Yichen Wang
The application of Service-Oriented Architecture (SOA) system software in safety-critical areas such as aerospace is gradually increasing, and the demand of high-quality SOA system software is increasing too. Due to the feature of loose coupling, SOA system software depends strongly on the correctness of the interfaces among services. Web service composition (WSC) testing in the integration phase of service composition thus becomes exceptionally critical. In a model-based testing framework., the test model lays a foundation for the subsequent test activities to proceed smoothly. In this paper, we propose an approach to automate modeling for WSC testing. The idea is to automate the construction of a highly visualized model by fetching adequate test information from two documents in the design phase. Compared to the existing modeling methods, the proposed method is more sufficient in WSC test information extraction. In addition, we also promote the degree of visualization and automation for test modeling. In the end, a case study is conducted to verify the effectiveness of the proposed modeling approach.
面向服务的体系结构(SOA)系统软件在航空航天等安全关键领域的应用日益增多,对高质量SOA系统软件的需求也日益增长。由于松耦合的特性,SOA系统软件在很大程度上依赖于服务之间接口的正确性。因此,服务组合集成阶段的Web服务组合(WSC)测试变得异常关键。在基于模型的测试框架中。,测试模型为后续测试活动的顺利进行奠定了基础。在本文中,我们提出了一种为WSC测试自动建模的方法。这个想法是通过在设计阶段从两个文档中获取足够的测试信息来自动构建高度可视化的模型。与现有的建模方法相比,该方法在WSC测试信息提取方面更加充分。此外,我们还提高了测试建模的可视化和自动化程度。最后,通过一个案例研究验证了所提出的建模方法的有效性。
{"title":"Automated Modeling of Web Service Composition and Testing: A UML Sequence Diagram-Based Approach","authors":"Yao Huang, Bingqing Zhang, Yichen Wang","doi":"10.1109/QRS-C57518.2022.00037","DOIUrl":"https://doi.org/10.1109/QRS-C57518.2022.00037","url":null,"abstract":"The application of Service-Oriented Architecture (SOA) system software in safety-critical areas such as aerospace is gradually increasing, and the demand of high-quality SOA system software is increasing too. Due to the feature of loose coupling, SOA system software depends strongly on the correctness of the interfaces among services. Web service composition (WSC) testing in the integration phase of service composition thus becomes exceptionally critical. In a model-based testing framework., the test model lays a foundation for the subsequent test activities to proceed smoothly. In this paper, we propose an approach to automate modeling for WSC testing. The idea is to automate the construction of a highly visualized model by fetching adequate test information from two documents in the design phase. Compared to the existing modeling methods, the proposed method is more sufficient in WSC test information extraction. In addition, we also promote the degree of visualization and automation for test modeling. In the end, a case study is conducted to verify the effectiveness of the proposed modeling approach.","PeriodicalId":183728,"journal":{"name":"2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C)","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130887244","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
期刊
2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C)
全部 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学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1