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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

63 篇 期刊文献
32 篇 会议

馆藏范围

95 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

95 篇 工学
- 68 篇 软件工程
- 55 篇 电气工程
- 50 篇 计算机科学与技术...
- 5 篇 信息与通信工程
- 2 篇 控制科学与工程
2 篇 理学
- 1 篇 数学
- 1 篇 物理学
1 篇 教育学
- 1 篇 教育学
1 篇 管理学
- 1 篇 管理科学与工程(可...

主题

95 篇 testing and debu...
21 篇 software enginee...
11 篇 testing tools
9 篇 testing strategi...
7 篇 software/program...
6 篇 spectrum-based f...
5 篇 reliability
5 篇 fault localizati...
4 篇 computer bugs
4 篇 debugging aids
4 篇 software
4 篇 error handling a...
4 篇 testing
3 篇 performance
3 篇 program analysis
3 篇 debugging
3 篇 tracing
3 篇 symbolic executi...
3 篇 python
3 篇 software enginee...

机构

4 篇 univ szeged soft...
2 篇 univ fed pernamb...
2 篇 ibm corp madison...
2 篇 queens univ sch ...
2 篇 univ sannio dept...
2 篇 graz univ techno...
2 篇 inst eurecom f-0...
2 篇 univ texas dept ...
2 篇 florida int univ...
2 篇 at&t labs res fl...
2 篇 univ alabama dep...
2 篇 univ illinois de...
2 篇 univ politecn ma...
2 篇 univ texas dept ...
2 篇 tech univ dresde...
1 篇 tech univ berlin...
1 篇 univ chinese aca...
1 篇 brunel univ engl...
1 篇 raytheon deep re...
1 篇 manipal univ jai...

作者

5 篇 beszedes arpad
4 篇 lo david
3 篇 d'amorim marcelo
3 篇 vancsics bela
3 篇 widyasari ratnad...
2 篇 felber p
2 篇 fredlund lars-ak...
2 篇 marino julio
2 篇 weimer westley
2 篇 marinov darko
2 篇 prana gede artha...
2 篇 milenkovic milen...
2 篇 horvath ferenc
2 篇 clarke peter j.
2 篇 högstedt k
2 篇 felfernig alexan...
2 篇 gyimothy tibor
2 篇 milenkovic aleks...
2 篇 boroday sergiy
2 篇 tran thi ngoc tr...

语言

93 篇 英文
2 篇 其他

检索条件"主题词=Testing and debugging"

共 95 条记录，以下是81-90 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Do Bug-Fix Types Affect Spectrum-Based Fault Localization Algorithms' Efficiency? 3

Do Bug-Fix Types Affect Spectrum-Based Fault Localization Al...

引用

3rd IEEE International Workshop on Validation, Analysis, and Evolution of Software Tests (VST)

作者： Szatmari, Attila Vancsics, Bela Beszedes, Arpad Univ Szeged Software Engn Dept Szeged Hungary

ISBN: (纸本)9781728162713

Finding a bug in the software is an expensive task, however, debugging is a crucial part of the software development life cycle. Spectrum-Based Fault Localization (SBFL) algorithms can reduce the time spent with debugging. Despite the fact that SBFL is a very well researched topic, there are not many tools that implement it. Many studies have dealt with the effectiveness of SBFL algorithms, although these have been evaluated on Java and C++ programming languages. We performed an empirical study on JavaScript programs (using BugsJS benchmark) to evaluate the relationship between algorithms efficiency and the bug-fix types. First we implemented three popular SBFL approaches, i.e. Tarantula, Ochiai and DStar, then examined whether there was a correlation/connection between the positions of the faulty methods in the suspiciousness ranks and bug-fix types. Results show that certain bug-fix types can be significantly differentiated from the others (in both positive and negative direction) based on the fault localization effectiveness of the investigated algorithms.

关键词： Spectrum-Based Fault Localization JavaScript bug classification testing and debugging

来源：评论

学校读者我要写书评

暂无评论

Automatically Detecting Variability Bugs Through Hybrid Control and Data Flow Analysis 44

Automatically Detecting Variability Bugs Through Hybrid Cont...

引用

44th IEEE Security and Privacy Workshops (SPW)

作者： Kaoudis, Kelly Brodin, Henrik Sultanik, Evan Trail Bits New York NY 10003 USA

ISBN: (纸本)9798350312362

Subtle bugs that only manifest in certain software configurations are notoriously difficult to correctly trace. Sometimes called Heisenbugs, these runtime variability flaws can result from invoking undefined behavior in languages like C and C++, or from compiler flaws. In this paper, we present a novel analysis technique for detecting and correctly diagnosing variability bugs' impact on a program through comparing control-affecting data flow across differently compiled program variants. Our UBet prototype dynamically derives a runtime control flow trace while tracing universal data flow for a program processing a given input, operating at a level of tracing completeness not achievable through similar dynamic instrumentation means. Sans compiler bugs or undefined behavior, every compile-time program configuration (i.e., compiler flags vary) should be semantically equivalent. Thus, any input for which a program variant produces inconsistent output indicates a variability bug. Our analysis compares control-affecting data flow traces from disagreeing program version runs to identify related input bytes and determine where in the program the processing variability originates. Though we initially demonstrate our technique on C++ variability bugs in Nitro, the American Department of Defense NITF (National Imagery Transmission Format) reference implementation parser, our approach applies equally to other programs and input types beyond NITF parsers. Finally, we sketch a path toward completing this work and refining our analysis, including evaluating parsers of other input formats.

关键词： application security dynamic analysis dynamic tainting validation testing and debugging

来源：评论

学校读者我要写书评

暂无评论

From Input to Failure: Explaining Program Behavior via Cause-Effect Chains 23

From Input to Failure: Explaining Program Behavior via Cause...

引用

45th IEEE/ACM International Conference on Software Engineering (ICSE)

作者： Smytzek, Marius CISPA Helmholtz Ctr Informat Secur Saarbrucken Germany

ISBN: (纸本)9798350322637

debugging a fault in a program is an error-prone and resource-intensive process that requires considerable work. My doctoral research aims at supporting developers during this process by integrating test generation as a feedback loop into a novel fault diagnosis to narrow down the causality by validating or disproving suggested hypotheses. I will combine input, output, and state to detect relevant relations for an immersive fault diagnosis. Further, I want to introduce an approach for a targeted test that leverages statistical fault localization to extract oracles based on execution features to identify failing tests.

关键词： Software/Software Engineering Software Engineering testing and debugging debugging aids Diagnostics

来源：评论

学校读者我要写书评

暂无评论

Delta execution for efficient state-space exploration of object-oriented programs

Delta execution for efficient state-space exploration of obj...

引用

International Symposium on Software testing and Analysis (ISSTA)

作者： d'Amorim, Marcelo Lauterburg, Steven Marinov, Darko Univ Fed Pernambuco Ctr Informat BR-50732970 Recife PE Brazil Univ Illinois Dept Comp Sci Urbana IL 61801 USA

We present Delta Execution, a technique that speeds up state-space exploration of object-oriented programs. State-space exploration is the essence of model checking and an increasingly popular approach for automating test generation. A key issue in exploration of object-oriented programs is handling the program state, in particular, the heap. We exploit the fact that many execution paths in state-space exploration partially overlap. Delta Execution simultaneously operates on several states/heaps and shares the common parts across the executions, separately executing only the "deltas" where the executions differ. We implemented Delta Execution in two model checkers: JPF, a popular general-purpose model checker for Java programs, and BOX, a specialized model checker that we developed for efficient exploration of sequential Java programs. The results of bounded-exhaustive exploration of 10 basic subject programs and one larger case study show that Delta Execution reduces exploration time from 1.06x to 126.80x (with median 5.60x) in JPF and from 0.58x to 4.16x (with median 2.23x) in BOX. The results of nonexhaustive exploration in JPF show that Delta Execution reduces exploration time from 0.92x to 6.28x (with median 4.52x).

关键词： software/program verification model checking testing and debugging performance Delta Execution

来源：评论

学校读者我要写书评

暂无评论

Improving Spectrum-Based Localization of Multiple Faults by Iterative Test Suite Reduction 2023

Improving Spectrum-Based Localization of Multiple Faults by ...

引用

32nd ACM SIGSOFT International Symposium on Software testing and Analysis (ISSTA)

作者： Callaghan, Dylan Fischer, Bernd Stellenbosch Univ Stellenbosch South Africa

ISBN: (纸本)9798400702211

Spectrum-based fault localization (SBFL) works well for single-fault programs but its accuracy decays for increasing fault numbers. We present FLITSR (Fault Localization by Iterative Test Suite Reduction), a novel SBFL extension that improves the localization of a given base metric specifically in the presence of multiple faults. FLITSR iteratively selects reduced versions of the test suite that better localize the individual faults in the system. This allows it to identify and re-rank faults ranked too low by the base metric because they were masked by other program elements. We evaluated FLITSR over method-level spectra from an existing large synthetic dataset comprising 75000 variants of 15 opensource projects with up to 32 injected faults, as well as method- and statement-level spectra from a new dataset with 326 true multi-fault versions from the Defects4J benchmark set containing up to 14 real faults. For all three spectrum types we consistently see substantial reductions of the average wasted efforts at different fault levels, of 30%-90% over the best base metric, and generally similarly large increases in precision and recall, albeit with larger variance across the underlying projects. For the method-level real faults, FLITSR also substantially outperforms GRACE, a state-of-the-art learning-based fault localizer.

关键词： testing and debugging Spectrum-based fault localization

来源：评论

学校读者我要写书评

暂无评论

kb^e-Anonymity: Test Data Anonymization for Evolving Programs 12

<i>kb<SUP>e</SUP></i>-Anonymity: Test Data Anonymization for...

引用

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

作者： Lucia Lo, David Jiang, Lingxiao Budi, Aditya Singapore Management Univ Sch Informat Syst Singapore Singapore

ISBN: (纸本)9781450312042

High-quality test data that is useful for effective testing is often available on users' site. However, sharing data owned by users with software vendors may raise privacy concerns. Techniques are needed to enable data sharing among data owners and the vendors without leaking data privacy. Evolving programs bring additional challenges because data may be shared multiple times for every version of a program. When multiple versions of the data are cross-referenced, private information could be inferred. Although there are studies addressing the privacy issue of data sharing for testing and debugging, little work has explicitly addressed the challenges when programs evolve. In this paper, we examine kb-anonymity that is recently proposed for anonymizing data for a single version of a program, and identify a potential privacy risk if it is repeatedly applied for evolving programs. We propose kb(e)-anonymity to address the insufficiencies of kb-anonymity and evaluate our model on three Java programs. We demonstrate that kb(e)-anonymity can successfully address the potential risk of kb-anonymity, maintain sufficient path coverage for testing, and be as efficient as kb-anonymity.

关键词： k-anonymity behavior preservation privacy preservation testing and debugging

来源：评论

学校读者我要写书评

暂无评论

Test Case Aggregation for Efficient Feature Model testing 22

Test Case Aggregation for Efficient Feature Model Testing

引用

26th ACM International Systems and Software Product Line Conference (SPLC)

作者： Le, Viet-Man Felfernig, Alexander Tran, Thi Ngoc Trang Graz Univ Technol Graz Austria

ISBN: (纸本)9781450392068

The increasing size and complexity of feature models (FM) requires the provision of efficient testing and debugging techniques. Feature models can be tested, for example, with regard to their conformance with a pre-defined set of analysis operations. In this paper, we show how the number of consistency checks for FM testing can be reduced on the basis of test case aggregation. Using a divideand-conquer based approach, we show how to transform a feature model test suite into a corresponding aggregated representation where individual test cases can be combined if specific consistency criteria are fulfilled. Performance improvements are also analyzed on the basis of a best- and worst-case runtime analysis.

关键词： Variability Modeling testing and debugging

来源：评论

学校读者我要写书评

暂无评论

EXECUTION REPLAY WITH COMPACT LOGS FOR SHARED-MEMORY PROGRAMS

EXECUTION REPLAY WITH COMPACT LOGS FOR SHARED-MEMORY PROGRAM...

引用

IFIP WG10.3 Working Conference on Applications in Parallel and Distributed Computing

作者： LEVROUW, LJ AUDENAERT, KMR VANCAMPENHOUT, JM

ISBN: (纸本)0444818707

Execution replay is an essential part of debugging. Since explicitly parallel programs can be non-repeatable, trace and replay mechanisms have been proposed to support the debugging task. We introduce a novel trace and replay mechanism for shared-memory programs, based on Lamport clocks. We compare the new scheme with Leblanc's 'Instant Replay' and Netzer's 'optimal tracing'. Our approach produces (much) smaller traces than both existing approaches. Moreover, in comparison with Netzer's approach, our approach induces much less overhead during the recording phase.

关键词： CONCURRENT PROGRAMMING testing and debugging

来源：评论

学校读者我要写书评

暂无评论

ON THE EXISTENCE AND PRODUCTION OF STATE IDENTIFICATION MACHINES FOR LABELED TRANSITION-SYSTEMS

ON THE EXISTENCE AND PRODUCTION OF STATE IDENTIFICATION MACH...

引用

FORTE 93 - IFIP 6th International Conference on Formal Description Techniques

作者： ARKKO, J

ISBN: (纸本)0444817735

Recent research work has found ways to produce conformance tests for an implementation under test (IUT) when its formal specifications have been expressed as a labelled transition system (LTS). In this paper we study the problem of finding state identification machines (SIMs) for LTS processes. A SIM of a state is run synchronously with the IUT to reveal whether or not the IUT was originally in that state. This will have obvious advantages for testing, as we will be able to check that a transition arrives at the correct state. Simple forms of identification machines, identification sequences, have been used in test generation from deterministic finite state machines, but little work has yet been done for non-deterministic machines or LTSs. This paper studies different formal definitions of SIM?s, discusses conditions under which SIMs exist for a particular specification, and proposes algorithms to produce them automatically. Compared to previous methods developed for LTSs, the use of our machines either reduces the number of test cases needed or produces tests which are better in finding faults. As certain specification languages - such as LOTOS - are based on LTSs, our method can be used in producing tests from specifications written in these languages.

关键词： NETWORK PROTOCOLS REQUIREMENTS/SPECIFICATIONS testing and debugging

来源：评论

学校读者我要写书评

暂无评论

Leveraging Contextual Information from Function Call Chains to Improve Fault Localization 27

Leveraging Contextual Information from Function Call Chains ...

引用

27th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER)

作者： Beszedes, Arpad Horvath, Ferenc Di Penta, Massimiliano Gyimothy, Tibor Univ Szeged Software Engn Dept Szeged Hungary Univ Sannio Dept Engn Benevento Italy

ISBN: (纸本)9781728151434

In Spectrum Based Fault Localization, program elements such as statements or functions are ranked according to a suspiciousness score which can guide the programmer in finding the fault more efficiently. However, such a ranking does not include any additional information about the suspicious code elements. In this work, we propose to complement function-level spectrum based fault localization with function call chains i.e., snapshots of the call stack occurring during execution - on which the fault localization is first performed, and then narrowed down to functions. Our experiments using defects from Defects4J show that (i) 69% of the defective functions can be found in call chains with highest scores, (ii) in 4 out of 6 cases the proposed approach can improve Ochiai ranking of 1 to 9 positions on average, with a relative improvement of 19-48%, and (iii) the improvement is substantial (66-98%) when Ochiai produces bad rankings for the faulty functions.

关键词： Spectrum Based Fault Localization Function Call Chains Call Stack Traces testing and debugging

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共10页 << < 1 2 3 4 5 6 7 8 9 10 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：