检索结果-内蒙古大学图书馆

Research progress in the processing of crowdsourced test reports 14

Research progress in the processing of crowdsourced test rep...

14th EAI International Conference on Testbeds and Research Infrastructures for the development of Networks and Communications, TridentCom 2019

作者： Wang, Naiqi Cai, Lizhi Chen, Mingang Zhang, Chuwei School of Information Science and Engineering East China University of Science and Technology Shanghai China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai Development Center of Computer Software Technology Shanghai China Shanghai Foreign Affairs Service Center Shanghai China

ISBN: (纸本)9783030432140

In recent years, crowdsourced testing, which uses collective intelligence to solve complex software testing tasks has gained widespread attention in academia and industry. However, due to a large number of workers participating in crowdsourced testing tasks, the submitted test reports set is too large, making it difficult for developers to review test reports. Therefore, how to effectively process and integrate crowdsourced test reports is always a significant challenge in the crowdsourced testing process. This paper deals with the crowdsourced test reports processing, sorts out some achievements in this field in recent years, and classifies, summarizes, and compares existing research results from four directions: duplicated reports detection, test reports aggregation and classification, priority ranking, and reports summarization. Finally explored the possible research directions, opportunities and challenges of the crowdsourced test reports. © ICST Institute for computer Sciences, Social Informatics and Telecommunications Engineering. 2020.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

Hazardous chemicals vehicles rollover pre-warning system based on CPS

Hazardous chemicals vehicles rollover pre-warning system bas...

引用

2012 IEEE 6th International Conference on software Security and Reliability Companion, SERE-C 2012

作者： Cai, Xuesong Wu, Junwei East China Normal University Shanghai Development Center of Computer Software Technology Shanghai China Fudan University Shanghai Academy of Science and Technology Shanghai China

ISBN: (纸本)9780769547435

With the growing of hazardous chemicals transportation, supervision system for hazardous chemicals transportation is getting more and more attention. In China, supervisory system for hazardous chemicals is limited to tracking by Global Positioning System (GPS), positioning and simple data collection and judgments which cannot achieve a real sense of risk pre-warning. The paper develops a system architecture based on cyber-physical systems (CPS) for specific application requirements of vehicle rollover warning, and proposes a collaborative model for rollover pre-warning which considering both the conventional and the external environmental factors. The feasibility of the proposed CPS system architecture and collaborative model is then proved by designing and implementing a monitoring system for rollover warning of hazardous chemicals vehicle. © 2012 IEEE.

关键词： Vehicles

来源：评论

学校读者我要写书评

暂无评论

Research and Implementation of Cross-Chain Transaction Model Based on Improved Hash-Locking 2nd

Research and Implementation of Cross-Chain Transaction Model...

引用

2nd International Conference on Blockchain and Trustworthy Systems, Blocksys 2020

作者： Dai, Bingrong Jiang, Shengming Zhu, Menglu Lu, Ming Li, Dunwei Li, Chao College of Information Engineering Shanghai Maritime University Shanghai201306 China Shanghai Development Center of Computer Software Technology Shanghai201112 China

ISBN: (纸本)9789811592126

Blockchain is a decentralized, trust-free distributed ledger technology which has been applied in various fields such as finance, supply chain, and asset management. However, the network isolation between blockchains has limited their interoperability in asset exchange and business collaboration since it forms blockchain islands. Cross-chain is an important technology aiming to realize the interoperability between blockchains, and has become one of the hottest research topics in this area. This paper proposes a cross-chain transaction model based on improved hash locking consulted by the notary and users, which can solve the security problems in traditional hash locking. It can prevent malicious participants from creating large traffic blocking channels based on the key of unlocking condition. At the same time, the scheme of notary multi-signature is designed to solve the problem of lack of trust in traditional model. The transaction process of cross-chain, key agreement, cooperation mechanism of cross-chain, and security analysis based on the model is given in detail. Experiments of cross-chain transactions are implemented in Ethereum private chain, and prove that the proposed model has good application abilities. © 2020, Springer Nature Singapore Pte Ltd.

关键词： Blockchain

来源：评论

学校读者我要写书评

暂无评论

Object Oriented BDD and Executable Human-Language Module Specification 26

Object Oriented BDD and Executable Human-Language Module Spe...

引用

26th ACIS International Winter Conference on software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD-Winter 2023

作者： Lee, Eric Gong, Jiayu Cao, Qinghong Intelligent Technology Co. Ltd. Shanghai China Shanghai Key Laboratory of Computer Software Testing & Evaluation Shanghai Development Center of Computer Software Technology Shanghai China System Operation Department Shanghai Stock Exchange Shanghai China

ISBN: (纸本)9798350345865

This paper presents an approach to software development which uses a generative AI Model as compiler to translate human language requirements into high-level programming language. We propose an executable human-language module specification and a tool to support it, which has been used successfully for human-language UI test automation. We anticipate further development of this approach to enable complex software to be programmed in human language, allowing for more intuitive and efficient software development. © 2023 IEEE.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Dynamic Pricing based Near-Optimal Resource Allocation for Elastic Edge Offloading

引用

IEEE Transactions on Mobile Computing 2025年

作者： Xia, Yun Xue, Hai Zhang, Di Mumtaz, Shahid Xu, Xiaolong Rodrigues, Joel J. P. C. University of Shanghai for Science and Technology School of Optical-Electrical and Computer Engineering Shanghai200093 China Zhengzhou University School of Electrical and Information Engineering Henan International Joint Laboratory of Intelligent Health Information System National Telemedicine Center National Engineering Laboratory for Internet Medical Systems and Applications Zhengzhou450001 China Nottingham Trent University Department of Engineering NottinghamNG1 4FQ United Kingdom Kyung Hee University Department of Electronic Engineering Gyeonggi-do Yongin-si17104 Korea Republic of Nanjing University of Information Science and Technology School of Software Nanjing210044 China Amazonas State University Manaus Brazil

In mobile edge computing (MEC), task offloading can significantly reduce task execution latency and energy consumption of end user (EU). However, edge server (ES) resources are limited, necessitating efficient allocation to ensure the sustainable and healthy development for MEC system. In this paper, we propose a dynamic pricing mechanism based near-optimal resource allocation for elastic edge offloading. First, we construct a resource pricing model and accordingly develop the utility functions for both EU and ES, the optimal pricing model parameters are derived by optimizing the utility functions. In the meantime, our theoretical analysis reveals that the EU's utility function reaches a local maximum within the search range, but exhibits barely growth with increased resource allocation beyond this point. To this end, we further propose the Dynamic Inertia and Speed-Constrained particle swarm optimization (DISC-PSO) algorithm, which efficiently identifies the near-optimal resource allocation. Comprehensive simulation results validate the effectiveness of DISC-PSO algorithm, demonstrating that it significantly outperforms existing schemes by reducing the average number of iterations to reach a near-optimal solution by 86.88%, increasing the EU utility function value by 0.13%, and decreasing the variance of results by 96.78%. © 2025 IEEE. All rights reserved.

关键词： Mobile edge computing

来源：评论

学校读者我要写书评

暂无评论

A Multi-Agent Spatial Logic for Scenario-Based Decision Modeling and Verification in Platoon Systems

引用

Journal of computer Science & technology 2021年第6期36卷 1231-1247页

作者： Jingwen Xu Yanhong Huang Jianqi Shi Shengchao Qin National Trusted Embedded Software Engineering Technology Research Center East China Normal University Shanghai 200062China College of Computer Science and Software Engineering Shenzhen UniversityShenzhen 518061China

To cater for the scenario of coordinated transportation of multiple trucks on the highway,a platoon system for autonomous driving has been extensively explored in the *** such a platoon is deployed,it is necessary to ensure the safety of its driving behavior,whereby each vehicle’s behavior is commanded by the decision-making function whose decision is based on the observed driving ***,there is currently a lack of verification methods to ensure the reliability of the scenario-based decision-making process in the platoon *** this paper,we focus on the platoon driving scenario,whereby the platoon is composed of intelligent heavy trucks driving on cross-sea *** propose a formal modeling and verification approach to provide safety assurance for platoon vehicles’cooperative driving *** existing Multi-Lane Spatial Logic(MLSL)with a dedicated abstract model can express driving scene spatial properties and prove the safety of multi-lane traffic maneuvers under the single-vehicle *** cater for the platoon system’s multi-vehicle perspective,we modify the existing abstract model and propose a Multi-Agent Spatial Logic(MASL)that extends MLSL by relative orientation and multi-agent *** then utilize a timed automata type supporting MASL formulas to model vehicles’decision controllers for platoon *** the behavior of a human-driven vehicle(HDV)joining the platoon as a case study,we have implemented the model and verified safety properties on the UPPAAL tool to illustrate the viability of our framework.

关键词： autonomous driving decision-making model platoon system safety verification timed automaton

来源：评论

学校读者我要写书评

暂无评论

Honeytoken-Detector: A Symbolic Execution-Based Honeypot Token Detection Tool 26

Honeytoken-Detector: A Symbolic Execution-Based Honeypot Tok...

引用

26th ACIS International Winter Conference on software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD-Winter 2023

作者： Liu, Yi Cai, Lizhi School of Information Science and Engineering East China University of Science and Technology Shanghai China Shanghai Development Center of Computer Software Technology Shanghai Key Laboratory of Computer Testing & Evaluating Shanghai China

ISBN: (纸本)9798350345865

Smart contracts have emerged as one of the most successful applications in the blockchain domain, playing a significant role in various blockchain ecosystems. Inspired by smart contracts, a multitude of cryptographic assets have been created. To standardize these assets, industry standards such as ERC20 (Ethereum Request for Comments 20), ERC721, and ERC1155 have been proposed. In recent years, smart contracts have frequently fallen victim to attacks. Honeypot contracts, disguised as ERC20-compliant tokens, are widely prevalent on the blockchain, enticing victims to make purchases. Such malicious smart contracts exhibiting deceptive behavior are collectively referred to as honeypot tokens. This paper focuses on ERC20-compliant smart contracts and defines six common types of honeypot issues. Building upon advancements in smart contract vulnerability detection, we propose an enhanced symbolic execution-based detection tool called Honeytoken-Detector. We conduct experiments on both contracts known to have similar issues and actual token contracts from the real world. The experimental results demonstrate the effectiveness of our tool in identifying vulnerabilities. © 2023 IEEE.

关键词： Smart contract

来源：评论

学校读者我要写书评

暂无评论

Segmentation of lesions in skin image based on salient object detection with deeply supervised learning 4

Segmentation of lesions in skin image based on salient objec...

引用

4th IEEE International Conference on computer and Communications, ICCC 2018

作者： Ji, Weijia Cai, Lizhi Chen, Wei Chen, Mingang Chai, Gang Laboratory of Computer Software Testing Evaluating Shanghai Development Center of Computer Software Technology Shanghai China Department of Plastic and Reconstructive Surgery Shanghai Ninth People's Hospital Shanghai JiaoTong University School of Medicine Shanghai China

ISBN: (纸本)9781538683392

In this paper, a binary segmentation method HCDS based on salient object detection is proposed to solve the segmentation of lesions in skin images. The original U-Net model encounters some problems in its application to skin image segmentation, one of which is the non-pathological region information remained in the segmentation results. Our HCDS method improves its basic structure by adding a hybrid convolution module to the direct connection between the down-sampling and up-sampling. It deepens the abstract understanding of the input features in shallow layers and further eliminate the information interference of the non-pathological regions. Besides, the method employs a deeply supervised structure in each stage of up-sampling to learn from the output feature and ground truth. Finally, the HCDS integrates the multi-path outputs to obtain the best result. The experimental results show that the proposed method HCDS can effectively segment the lesion regions from the skin images. Our evaluation metrics about the HCDS are obviously superior to the original U-Net's. © 2018 IEEE.

关键词： Image segmentation

来源：评论

学校读者我要写书评

暂无评论

software asset repository open framework supporting customizable faceted classification

Software asset repository open framework supporting customiz...

引用

2010 IEEE International Conference on software Engineering and Service Sciences, ICSESS 2010

作者： HongMin, Ren Jin, Liu JingZhou, Zhang Department of Computer Science and Technology Shanghai Maritime University Shanghai China Shanghai Service Center of Component Technology Shanghai Development Center of Computer Technology Shanghai China

ISBN: (纸本)9781424460526

software asset repository is a primary infrastructure of Asset-Based software Engineering. Now asset repositories are usually built into isolated islands and are browsable or searchable only by people, which has substantially reduced their functionality and greatly hindered the reuse in practice. Based on service-oriented approach, we proposed a lightweight open framework for sharing reusable assets among diverse repositories and third-part tools, which is characterized by supporting customizable faceted classification. We described the runtime reference architecture, UML object model and programmatic service interfaces which together provided a comprehensive technology-enriched specification for opening and sharing asset repository. © 2010 IEEE.

关键词： computer software reusability

来源：评论

学校读者我要写书评

暂无评论

Service-oriented lightweight software asset repository open framework

Service-oriented lightweight software asset repository open ...

引用

2010 7th International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2010

作者： Ren, HongMin Liu, Jin Zhang, JingZhou Department of Computer Science and Technology Shanghai Maritime University Shanghai China Shanghai Service Center of Component Technology Shanghai Development Center of Computer Technology Shanghai China

ISBN: (纸本)9781424459346

software asset repository, a treasure house of knowledge in software industry, is a primary infrastructure of Asset-Based software Engineering. Now asset repositories are usually built into isolated islands and are browsable or searchable only by people, which has substantially reduced their functionality and greatly hindered the reuse in practice. Based on service-oriented approach, we proposed a lightweight open framework for sharing reusable assets among diverse repositories and third-part tools. We described the runtime reference architecture, UML object model and programmatic service interfaces which together provided a comprehensive technology-enriched specification for opening and sharing asset repository. ©2010 IEEE.

关键词： computer software reusability

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：