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

automatic debugging of real-time systems based on incremental satisfiability counting

IEEE TRANSACTIONS ON COMPUTERS 2006年第7期55卷 830-842页

作者： Andrei, Stefan Chin, Wei Ngan Cheng, Albert Mo Kim Lupu, Mihai Natl Univ Singapore Sch Comp Singapore 117543 Singapore Univ Houston Dept Comp Sci Real Time Syst Lab Houston TX 77204 USA Natl Univ Singapore Singapore MIT Alliance CS Programme Singapore 117576 Singapore

Real-time logic (RTL) [ 2], [ 3], [ 4] is useful for the verification of a safety assertion with respect to the specification of a real-time system. Since the satisfiability problem for RTL is undecidable, the systematic debugging of a real-time system appears impossible. A first step toward this challenge was presented in [ 1]. With RTL, each propositional formula corresponds to a verification condition. The number of truth assignments of a propositional formula can help us determine the specific constraints which should be added or modified to get the expected solutions. This paper solves an even more challenging problem specified as future work in [ 1], namely, the embedding and the integration of our debugger in autonomous systems which generate real-time control plans on-the-fly, since these specifications must meet timing constraints, but without human interaction. The idea is to consider in advance all the necessary information, such as the designer's guidance. We have implemented a tool ( called ADRTL) that is able to perform automatic debugging. The confidence of our approach is high as we have successfully evaluated ADRTL on several existing industrial-based applications.

关键词： real-time system system development tools automatic debugging formal methods timing constraint counting SAT problem incremental computation

来源：评论

学校读者我要写书评

暂无评论

Printed Circuit Board (PCB) Probe Tester (PCBPT) - a Compact Desktop System that Helps with automatic PCB debugging 36

Printed Circuit Board (PCB) Probe Tester (PCBPT) - a Compact...

引用

36th Annual ACM Symposium on User Interface Software and Technology (UIST)

作者： Liu, Fangzheng Paradiso, Joseph MIT Media Lab Respons Environm Cambridge MA 02139 USA

ISBN: (纸本)9798400700965

PCB debugging can be tricky. For example, if we want to use an oscilloscope to measure signals of interest in the PCB, we need to locate them in the schematic and select the appropriate pad for each signal on the PCB layout on which to put the oscilloscope probes. This process hence requires frequent switching between the schematics and the PCB layouts. Moreover, our hands may not be precise and stable enough to accurately place the probes on the pads without causing short circuits with adjacent pins, which can lead to further issues. Additionally, if multiple signals need to be tested, two hands will not be enough. Probe hook clips can be used, but this often necessitates the use of extension wires that must be soldered onto the targeted pads. To streamline the debugging process, we introduce the PCBPT (PCB Probing Tester). This innovative solution seamlessly bridges from schematic to test equipment by using a robotic probe and actuated board holder. By selecting signals of interest directly from a GUI, users can instantly monitor the output on an oscilloscope, signifcantly improving the efectiveness of the debugging process.

关键词： compact desktop system PCB automatic debugging in-circuit debugging

来源：评论

学校读者我要写书评

暂无评论

Rewrite Rules for debugging Student Programs in Programming Tutors

引用

IEEE TRANSACTIONS ON LEARNING TECHNOLOGIES 2018年第4期11卷 429-440页

作者： Lazar, Timotej Sadikov, Aleksander Bratko, Ivan Univ Ljubljana Fac Comp & Informat Sci AI Lab Ljubljana 1000 Slovenia

Data-driven intelligent tutoring systems learn to provide feedback based on past student behavior, reducing the effort required for their development. A major obstacle to applying data-driven methods in the programming domain is the lack of meaningful observable actions for describing the students' problem-solving process. We propose rewrite rules as a language-independent formalization of programming actions in terms of code edits. We describe a method for automatically extracting rewrite rules from students' program-writing traces, and a method for debugging new programs using these rules. We used these methods to automatically provide hints in a web application for learning programming. In-class evaluation showed that students receiving automatic feedback solved problems faster and submitted fewer incorrect programs. We believe that rewrite rules provide a good basis for further research into how humans write and debug programs.

关键词： Computer-assisted instruction intelligent tutoring systems program synthesis automatic debugging

来源：评论

学校读者我要写书评

暂无评论

A COMBINATION HARDWARE-SOFTWARE debugging SYSTEM

引用

IEEE TRANSACTIONS ON COMPUTERS 1968年第1期C 17卷 84-&页

作者： KNOWLTON, KC Bell Telephone Laboratories Inc. Murray Hill N. J. Abstract Authors References Cited By Keywords Metrics Similar Download Citation Email Print Request Permissions

A scheme is proposed for automatically detecting many programming errors; in particular, those errors which can cause a program to misbehave in different ways, depending upon how the faulty program and its data are mapped into storage. Error detection is accomplished by simultaneously running two versions of a program which purport to be logically identical, with appropriate hardware checking between them.

关键词： automatic debugging automatic program checkout debugging hardware-software debugging aid program checkout programming errors

来源：评论

学校读者我要写书评

暂无评论

GZoltar: An Eclipse Plug-In for Testing and debugging 12

GZoltar: An Eclipse Plug-In for Testing and Debugging

引用

27th IEEE/ACM International Conference on Automated Software Engineering (ASE)

作者： Campos, Jose Riboira, Andre Perez, Alexandre Abreu, Rui Univ Porto Dept Informat Engn Fac Engn Oporto Portugal

ISBN: (纸本)9781450312042

Testing and debugging is the most expensive, error-prone phase in the software development life cycle. Automated testing and diagnosis of software faults can drastically improve the efficiency of this phase, this way improving the overall quality of the software. In this paper we present a toolset for automatic testing and fault localization, dubbed GZoltar, which hosts techniques for (regression) test suite minimization and automatic fault diagnosis (namely, spectrum-based fault localization). The toolset provides the infrastructure to automatically instrument the source code of software programs to produce runtime data. Subsequently the data was analyzed to both minimize the test suite and return a ranked list of diagnosis candidates. The toolset is a plug-and-play plug-in for the Eclipse IDE to ease world-wide adoption.

关键词： Eclipse plug-in automatic Testing automatic debugging GZOLTAR RZOLTAR

来源：评论

学校读者我要写书评

暂无评论

Efficient Verification and Optimization of Real-Time Logic-Specified Systems

引用

IEEE TRANSACTIONS ON COMPUTERS 2009年第12期58卷 1640-1653页

作者： Andrei, Stefan Cheng, Albert Mo Kim Lamar Univ Dept Comp Sci Beaumont TX 77710 USA Univ Houston Dept Comp Sci Houston TX 77204 USA

Embedded and real-time systems are increasingly common and complex, requiring formal specification and verification in order to guarantee their satisfaction of desirable safety and timing requirements. Real-Time Logic (RTL) has been used to capture both the specification (denoted by SP) of a real-time system and the desirable safety assertions (denoted by SA) with respect to this system specification. A verification procedure then determines whether the safety assertions hold with respect to the system specification. However, the satisfiability problem for RTL (i.e., "Can SP -> SA hold?"), as well as for other first order logics, is undecidable. Consequently, efforts have been focused on identifying nontrivial classes of formulas sufficiently practical for describing industrial real-time systems for which the verification and debugging can be done via efficient heuristics. One such class of formulas is the so-called path RTL. The first contribution of this paper is to extend the existing path RTL class without sacrificing the time complexity of the traditional path RTL heuristic for verification. This implies that we can specify and verify real-time systems, which we were unable to do using the existing path RTL, in the extended path RTL. For real-time systems with large specifications, there is a lot of room for improvement in the algorithms used for verification and debugging. The second contribution of this paper is an efficient method to perform verification and debugging of real-time systems specifications using decomposition techniques. Our idea is to decompose the constraint graph, used in existing approaches, into independent subgraphs so that it is no longer necessary to analyze the entire specification at once, but rather its individual and smaller components. However, none of the above heuristics necessarily finds an "optimal implication." After verifying SP -> SA and deploying the system implementing SP, performance changes as a result of power saving, f

关键词： Real-time system system development tool automatic debugging timing constraint counting SAT problem incremental computation optimization

来源：评论

学校读者我要写书评

暂无评论

Fault localization by analyzing failure propagation with samples in cloud computing environment

引用

JOURNAL OF CLOUD COMPUTING-ADVANCES SYSTEMS AND APPLICATIONS 2020年第1期9卷 1-13页

作者： Wang, Tiantian Wang, Kechao Su, Xiaohong Harbin Inst Technol Sch Comp Sci & Technol XiDazhi St Harbin 150001 Peoples R China Harbin Univ Sch Informat Engn ZhongXing St Harbin 150086 Peoples R China

With the development of information technology such as cloud computing, IoT, etc, software becomes the infrastructure. On the one hand, it is critical to ensure the reliability of software, on the other, sample code can be mined from open source software to provide reference for automatic debugging. Most of existing automated debugging researches are based on the assumption that defect programs are nearly correct, therefore they can successfully pass some test cases and fail to execute others. However, this assumption sometimes does not hold. In view of the fact that a programs may fail for all the given test cases in the test suite, but there are a large number of examples available for reference, a sample based fault localization method is studied. A fault localization method by analyzing the context of failure propagation is proposed, which locates suspicious statements by identifying the execution status and structural semantics differences between the defective program and sample program. Through the interactive analysis of value sequences and structure semantics, the influence of code variations and failure propagation is reduced. The experimental results have shown that the method can effectively locate suspicious statements and provide assistance for defect repair when there are enough sample programs.

关键词： Cloud computing Software safety automatic debugging Fault localization

来源：评论

学校读者我要写书评

暂无评论

Failure-Driven Program Repair 2019

Failure-Driven Program Repair

引用

27th ACM Joint Meeting on European Software Engineering Conference (ESEC) / Symposium on the Foundations of Software Engineering (FSE)

作者： Ginelli, Davide Univ Milano Bicocca DISCo Milan Italy

ISBN: (纸本)9781450355728

Program repair techniques can dramatically reduce the cost of program debugging by automatically generating program fixes. Although program repair has been already successful with several classes of faults, it also turned out to be quite limited in the complexity of the fixes that can be generated. This Ph.D. thesis addresses the problem of cost-effectively generating fixes of higher complexity by investigating how to exploit failure information to directly shape the repair process. In particular, this thesis proposes Failure-Driven Program Repair, which is a novel approach to program repair that exploits its knowledge about both the possible failures and the corresponding repair strategies, to produce highly specialized repair tasks that can effectively generate non-trivial fixes.

关键词： automatic program repair software defects automatic debugging

来源：评论

学校读者我要写书评

暂无评论

Denchmark: A Bug Benchmark of Deep Learning-related Software 18

Denchmark: A Bug Benchmark of Deep Learning-related Software

引用

29th IEEE/ACM International Conference on Program Comprehension (ICPC) / 18th IEEE/ACM International Conference on Mining Software Repositories (MSR)

作者： Kim, Misoo Kim, Youngkyoung Lee, Eunseok Sungkyunkwan Univ Dept Elect & Comp Engn Suwon South Korea Sungkyunkwan Univ Coll Comp Suwon South Korea

ISBN: (纸本)9781728187105

A growing interest in deep learning (DL) has instigated a concomitant rise in DL-related software (DLSW). Therefore, the importance of DLSW quality has emerged as a vital issue. Simultaneously, researchers have found DLSW more complicated than traditional SW and more difficult to debug owing to the black-box nature of DL. These studies indicate the necessity of automatic debugging techniques for DLSW. Although several validated debugging techniques exist for general SW, no such techniques exist for DLSW. There is no standard bug benchmark to validate these automatic debugging techniques. In this study, we introduce a novel bug benchmark for DLSW, Denchmark, consisting of 4,577 bug reports from 193 popular DLSW projects, collected through a systematic dataset construction process. These DLSW projects are further classified into eight categories: framework, platform, engine, compiler, tool, library, DL-based application, and others. All bug reports in Denchmark contain rich textual information and links with bug-fixing commits, as well as three levels of buggy entities, such as files, methods, and lines. Our dataset aims to provide an invaluable starting point for the automatic debugging techniques of DLSW.

关键词： automatic debugging Bug report Bug Benchmark Deep learning-related software

来源：评论

学校读者我要写书评

暂无评论

Design and Realization of a Magnetic Field Detector debugging System Based on LabVIEW

Design and Realization of a Magnetic Field Detector Debuggin...

引用

3rd International Symposium on Test Automation and Instrumentation

作者： Chang Xiaoming Chen Lifen Chen Xiaoxiang Wang Zongxia Taiyuan Univ Technol Taiyuan 030024 Peoples R China

ISBN: (纸本)9787510020841

The goal of automatic testing system for magnetic field detecting is to solve the debugging problem in masses producing. Reference to detecting debugging theory, the testing system includes hardware testing platform, data acquisition and PC testing software. For better adjusting in measure, the hardware testing platform should be rotary and has the function of simultaneous voltage collection in multi-spot. The PC testing software has the function of automatic analysis and data managing based on LabVIEW. The automatic testing is achieved by data acquisition equipment connecting both the hardware and software testing platform. Then making evaluation to test system performance.

关键词： LabVIEW Data-acquisition automatic debugging

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：