作者：
Li, ZhilinMa, XutongHu, MengzeYan, Jun
State Key Lab. of Computer Science Ins. of Software CAS University of Chinese Academy of Sciences Beijing China
State Key Lab. of Computer Science Ins. of Software CAS Beijing China
State Key Lab. of Computer Science Ins. of Software CAS Tech. Center of Software Eng. Ins. of Software CAS University of Chinese Academy of Sciences Beijing China
Sequence Containers (SC) in the C++ Standard Template Library (STL), such as the vector, are widely used in large-scale projects for their maintainability and flexibility. However, accessing the elements in an SC is b...
详细信息
ISBN:
(数字)9798400712487
ISBN:
(纸本)9798400712487
Sequence Containers (SC) in the C++ Standard Template Library (STL), such as the vector, are widely used in large-scale projects for their maintainability and flexibility. However, accessing the elements in an SC is bug-prone, as such operations will not check their boundaries during compilation or execution, which can lead to memory errors, such as buffer overflow problems. And these bugs are difficult to detect with available static analyzers, since the size of SCs and the target of iterators cannot be precisely tracked without accurate analysis of the behavior of SCs and *** address this problem, we propose a combined model of SC sizes and iterator targets by tracking them simultaneously through a set of meta-operations extracted from corresponding method calls, and report improper operation usages according to three bug patterns. We implement the approach as a static analyzer, Scasa, on the top of the Clang Static Analyzer (CSA) framework, and evaluate its effectiveness and efficiency against CSA and other state-of-the-art static analyzers on a benchmark composed of 2,230 manually created code snippets and eight popular open-source C++ projects with a lot of SC usages. The experimental results reveal that Scasa effectively identifies nearly all inherent bugs within the manual code snippets and generates 125 reports for these projects (with a time loss of 5 - 85%) where 72 of them are marked as correct with a manual revision. And to further confirm these correct reports, we also select some important ones for developers. These results show that accessing elements of SCs is bug-prone, and cooperatively tracking SC sizes and iterator targets can accurately detect these bugs with acceptable overhead. Copyright held by the owner/author(s).
Intelligent technologies are driving the development of smart campuses, fostering a dynamic and diverse intelligent ***, the current trend of customizing smart campus solutions often positions campus citizens as mere ...
详细信息
In the past, the majority of the data produced at the point of care was unstructured and included paper prescriptions, handwritten notes from nurses and doctors, hospital admission and discharge records, and pictures ...
详细信息
The security issues of large-scale software systems and frameworks have become increasingly severe with the development of technology. As complexity of software grows, vulnerabilities are becoming more challenging to ...
详细信息
According to data from the US Bureau of Labor Statistics, the number of job postings for software engineers has steadily increased over the past few years and is expected to grow by 22% from 2019 to 2029. This paper p...
详细信息
ISBN:
(纸本)9798350326970
According to data from the US Bureau of Labor Statistics, the number of job postings for software engineers has steadily increased over the past few years and is expected to grow by 22% from 2019 to 2029. This paper presents the pedagogical experience within the new Immersive softwareengineering (ISE) program concerning mathematical foundations and data analytics topics. These topics were designed to cover essential mathematical concepts such as calculus, linear algebra, probability, and statistics and their integration within data analytic tools and techniques such as time-series forecasting, data cleaning, data visualization, and introduction to pattern recognition. In addition, hands-on projects and real-world applications were incorporated throughout the course to provide students with practical experience in these areas. We reflect on the first delivery of the ISE course, which provided students with a new innovative blended learning environment, and how it will be further developed towards Open Educational Resources (OER) components and refined to respond to the rapidly evolving needs of the softwareengineering industry.
In this era of incessant advancements in quantum computing, bridging the gap between quantum algorithms' hardware requisites and available devices has become crucial. A prime focus in this context is the software ...
详细信息
ISBN:
(纸本)9798350343236
In this era of incessant advancements in quantum computing, bridging the gap between quantum algorithms' hardware requisites and available devices has become crucial. A prime focus in this context is the software and System Level support for quantum computers, which has shown promising potential in significantly decreasing this gap. However, a noteworthy deficit of quantum software and system level-focused courses has been observed in academia worldwide. Addressing this deficiency, this paper proposes the Quantum computer Systems (QuCS) Lecture Series. The QuCS Lecture Series aims to enhance the visibility of quantum computing software and system level and foster diverse participation in quantum computing research across multiple universities worldwide. It is envisioned as an inclusive platform to bring together individuals of diverse backgrounds, catalyzing cross-cultural collaboration and innovation in this burgeoning field. The lecture series begins with an introductory session elucidating the core concepts and fundamentals of quantum computing. This foundational knowledge will be built upon in subsequent sessions, highlighting cutting-edge research trends and recent findings in quantum software and system level. This paper provides a comprehensive overview of the QuCS Lecture Series, detailing the format, the gamut of topics to be covered, and their significance. It emphasizes the potential impact of the series on accelerating progress towards quantum supremacy and fostering a diverse, global community of quantum computing researchers and practitioners. The QuCS Lecture Series has already hosted nearly 40 lectures with over 40 confirmed speakers from more than eight different countries and from both academia and industry, QuCS also attracted more than 1000 subscribers from all over the world.
The proceedings contain 11 papers. The special focus in this conference is on Formal Aspects of Component software. The topics include: Embedding Formal Verification in Model-Driven softwareengineering with ...
ISBN:
(纸本)9783031521829
The proceedings contain 11 papers. The special focus in this conference is on Formal Aspects of Component software. The topics include: Embedding Formal Verification in Model-Driven softwareengineering with Slco: An Overview;overview on Constrained Multiparty Synchronisation in Team Automata;symbolic Path-Guided Test Cases for Models with Data and Time;A Mechanized Semantics for Component-Based Systems in the HAMR AADL Runtime;formal Aspects of Component software: An Overview on Concepts and Relations of Different Theories;Challenges Engaging Formal CBSE in Industrial Applications;Formal Model engineering of Distributed CPSs Using AADL: From Behavioral AADL Models to Multirate Hybrid Synchronous AADL;from Reversible Computation to Checkpoint-Based Rollback Recovery for Message-Passing Concurrent Programs.
This research paper explores the use of Blender, a powerful 3D computersoftware, as a convenient alternative to the traditional hand labeling method for generating keypoints datasets for object pose estimation. By le...
详细信息
ISBN:
(纸本)9798350381566;9798350381559
This research paper explores the use of Blender, a powerful 3D computersoftware, as a convenient alternative to the traditional hand labeling method for generating keypoints datasets for object pose estimation. By leveraging Blender's capabilities and automating the generation of labeled keypoints data;this offers significant time and resource savings when compared to manual labeling, thereby reducing the workload of keypoints annotation. This study aims to compare the speed and model accuracy achieved by using the Blender-generated dataset against the conventional hand labeling approach. Through experimentation, the synthetic datasets generated from Blender demonstrated an accuracy that rivals traditionally hand-labeled datasets yet demanded a fraction of the time. Shortening the process of taking pictures and labeling keypoints of objects is desirable for manipulation tasks such as service robots set up in unknown environments.
This paper characterizes and discusses the software scripts and tools used by the Mars science Laboratory rover planner team, and describes the effort to unify the management of this tool suite. Rover Planners have hi...
详细信息
ISBN:
(纸本)9798350384529;9798350384512
This paper characterizes and discusses the software scripts and tools used by the Mars science Laboratory rover planner team, and describes the effort to unify the management of this tool suite. Rover Planners have historically used numerous command line tools to aid them in designing and implementing activities over the course of a tactical planning shift. The bulk of these tools were developed ad-hoc by various individuals, with little oversight or organization. As a result, the scripts were poorly documented, difficult to locate, and mostly did not have any formal testing associated with them. As part of the modernization process, we identified all of the existing scripts and their source code locations, moved them to a centralized location within the operations venue, and wrote unit tests and integration tests for every tool. Many tools were upgraded from Python 2 to Python 3, or converted from other languages to Python 3 where feasible. We implemented a system for reviewing changes and continuous testing by moving all scripts to a single Git repository, where we track and actively maintain them. Pull requests are tested automatically using Jenkins, and the entire suite of scripts and library functions is tested upon every deployment of the suite. We manage feature requests and bug fixes via GitHub issues, and a working group meets biweekly to discuss changes and progress on efforts relating to software-based tools for the MSL rover planners. In this paper, we detail the design of a unified system for managing these command line tools, the implementation of said system, and the innovation and utility of these tools and how they improve the tactical planning process for MSL Rover Planners. We present this framework as an example for other mission operations teams to use to manage standalone command line scripts that make use of common tools and services.
This paper introduces OBL-AHO, an enhanced Archerfish Hunting Optimizer (AHO) variant that integrates Opposition-Based Learning (OBL) to improve AHO's exploratory capabilities. By leveraging opposite solutions alo...
详细信息
暂无评论