computerscience unplugged (CS unplugged) is a method of teaching computerscience and computational thinking. The aim of our study is to illustrate program behavior and to prevent confusion about the program stack th...
详细信息
ISBN:
(纸本)9798350344172
computerscience unplugged (CS unplugged) is a method of teaching computerscience and computational thinking. The aim of our study is to illustrate program behavior and to prevent confusion about the program stack through visualization. To facilitate recognition, we used a toy consisting of a ball, pipes, and magnetic panels. The ball represents which line of code is executed, similar to the program counter. To demonstrate the feasibility of the proposed method, we present three examples based on the proposed method. The examples are necessity of loop to wait user input, necessity of loop to keep program running, and software testing. We conducted an experiment with nine participants to evaluate the effectiveness of the proposed method. The result suggested that the proposed method is expected to be effective.
This paper analyzes the beam spatial arrangement of two-dimensional phased array radar. It defines the coordinate systems involved in beam arrangement, examines the coordinate transformations, and conducts simulation ...
详细信息
Covert channel attacks represent a significant threat to system security, leveraging shared resources to clandestinely transmit information from highly secure systems, thereby violating the system's security polic...
详细信息
This paper describes a formal repair framework for performance bugs in loop programs, which are programming errors that slow down program execution. The approach is developed based on the observation that a program wi...
详细信息
ISBN:
(数字)9798400712487
ISBN:
(纸本)9798400712487
This paper describes a formal repair framework for performance bugs in loop programs, which are programming errors that slow down program execution. The approach is developed based on the observation that a program with a performance bug is a semantically correct program, but it may perform inefficiently for some inputs. This observation permits the formal treatment of performance bugs using the idea of program invariants, where the original program is augmented with a number of non-functional variables that are used to assess the efficiency of the patched version vs. the original program using the derived invariants. The proposed approach offers two major advantages compared to the conventional test-based patch validation approach. First, it enables the formal validation of patches using program verifiers. Second, it helps to assess the efficiency boost provided by the generated patches. To the best of our knowledge, the formal treatment of performance bugs has not been studied in the prior literature.
software Defined Networking (SDN) has emerged as a revolutionary network architecture aimed at surpassing the constraints inherent in traditional network infrastructures. As SDN adoption increases, it brings additiona...
详细信息
This study proposes a bearing fault diagnosis method that combines the Cuckoo Optimization Algorithm (COA) with the KAN algorithm. COA, as an intelligent optimization algorithm, is primarily used to find the optimal h...
详细信息
In the wake of developments in the field of Natural Language Processing, Question Answering (QA) software has penetrated our daily lives. Due to the data-driven programming paradigm, QA software inevitably contains bu...
详细信息
In recent years, the number of computerscience students has steadily risen, but the time for educators to give feedback to the students remains the same. Because of this predicament, many systems for the automatic or...
详细信息
ISBN:
(纸本)9798400706226
In recent years, the number of computerscience students has steadily risen, but the time for educators to give feedback to the students remains the same. Because of this predicament, many systems for the automatic or semi-automatic assessment of student tasks were developed. A fundamental problem of this development is that most of these assessment systems deploy a different type of data representation, which leads to a lack of interoperability between the approaches. This hinders the reuse of teaching materials that need to match the targeted system, leading to situations in which instructors need to recreate their materials. In this work, we aim to close this gap by introducing a model-driven approach called Assisted Assessment. The approach uses a technology-independent assessment model to bridge instructors' and assessment systems' technical spaces, helping instructors to transform their material for various systems. We introduce Assisted Assessment by describing the scenario of an undergraduate course for software technology and how the approach can help to manage the different available assessment systems.
The evolution of software testing from manual to automated methods has significantly influenced quality assurance (QA) practices. However, challenges persist in post-execution phases, particularly in result analysis a...
详细信息
ISBN:
(纸本)9798350389166;9798350389173
The evolution of software testing from manual to automated methods has significantly influenced quality assurance (QA) practices. However, challenges persist in post-execution phases, particularly in result analysis and reporting. Traditional post-execution validation phases require manual intervention for result analysis and report generation, leading to inefficiencies and potential development cycle delays. This paper introduces BugBlitz-AI, an AI-powered validation toolkit designed to enhance end-to-end test automation by automating result analysis and bug reporting processes. BugBlitz-AI leverages recent advancements in artificial intelligence to reduce the time-intensive tasks of manual result analysis and report generation, allowing QA teams to focus more on crucial aspects of product quality. By adopting BugBlitz-AI, organizations can advance automated testing practices and integrate AI into QA processes, ensuring higher product quality and faster time-to-market. The paper outlines BugBlitz-AI's architecture, discusses related work, details its quality enhancement strategies, and presents results demonstrating its effectiveness in real-world scenarios.
This paper presents a novel approach for managing domain analysis in software Product Lines (SPLs) through the use of Decision Tables (DTs) specifically adapted to the unique characteristics of SPLs. The DTs are desig...
详细信息
ISBN:
(数字)9783031641824
ISBN:
(纸本)9783031641817;9783031641824
This paper presents a novel approach for managing domain analysis in software Product Lines (SPLs) through the use of Decision Tables (DTs) specifically adapted to the unique characteristics of SPLs. The DTs are designed to represent and interrelate the features and variation mechanisms within an SPL, originally modeled using the Orthogonal Variability Models (OVM) and the Variability Modeling Language (VML). As a result, the DTs offer a clear and explicit representation of the complex decisions involved in the derivation of individual software products, providing an organized and efficient method to handle SPL variability. Additionally, the paper introduces a method for detecting and resolving anomalies that might hinder the proper derivation of products, thereby ensuring the dependability and robustness of the product line. The effectiveness of the proposed approach is evaluated through a comprehensive running example, revealing its potential to significantly reduce development time and costs for SPLs.
暂无评论