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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

169 篇 会议
66 篇 期刊文献
7 篇 学位论文
1 册 图书

馆藏范围

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

日期分布

学科分类号

219 篇 工学
- 153 篇 计算机科学与技术...
- 134 篇 软件工程
- 66 篇 电气工程
- 18 篇 信息与通信工程
- 14 篇 控制科学与工程
- 9 篇 电子科学与技术（可...
- 3 篇 机械工程
- 2 篇 仪器科学与技术
- 2 篇 材料科学与工程（可...
- 2 篇 网络空间安全
- 1 篇 动力工程及工程热...
11 篇 理学
- 7 篇 数学
- 3 篇 生物学
- 1 篇 化学
- 1 篇 系统科学
3 篇 教育学
- 3 篇 教育学
3 篇 管理学
- 2 篇 管理科学与工程(可...
- 1 篇 图书情报与档案管...
2 篇 农学
2 篇 医学
- 2 篇 临床医学
- 1 篇 药学(可授医学、理...

主题

243 篇 code coverage
41 篇 software testing
18 篇 testing
17 篇 regression testi...
14 篇 mutation testing
10 篇 fuzzing
10 篇 unit testing
10 篇 dynamic analysis
9 篇 android
8 篇 test case genera...
8 篇 software
7 篇 instrumentation
7 篇 empirical study
7 篇 test suite reduc...
7 篇 static analysis
6 篇 software enginee...
6 篇 symbolic executi...
6 篇 automated testin...
6 篇 fault detection
6 篇 test generation

机构

6 篇 univ szeged dept...
4 篇 univ szeged mta ...
4 篇 carnegie mellon ...
3 篇 univ waterloo wa...
3 篇 nanjing univ sta...
3 篇 brno university ...
3 篇 univ illinois ur...
3 篇 george mason uni...
3 篇 univ fed rio gra...
3 篇 avaya labs res b...
3 篇 univ passau pass...
3 篇 univ washington ...
2 篇 univ calif river...
2 篇 inst informat in...
2 篇 wuhan univ sch c...
2 篇 hong kong univ s...
2 篇 univ edinburgh e...
2 篇 huazhong univ sc...
2 篇 budapest univ te...
2 篇 microsoft res re...

作者

8 篇 beszedes arpad
8 篇 gyimothy tibor
6 篇 gergely tamas
5 篇 fraser gordon
5 篇 just rene
5 篇 balogh gergo
4 篇 tengeri david
4 篇 horvath ferenc
4 篇 vancsics bela
3 篇 zhou yuming
3 篇 sezer sakir
3 篇 pilgun aleksandr
3 篇 anjum muhammad s...
3 篇 groce alex
3 篇 neamtiu iulian
3 篇 li j. jenny
3 篇 wong w. eric
3 篇 yerima suleiman ...
3 篇 ryan conor
3 篇 alzaylaee mohamm...

语言

238 篇 英文
3 篇 其他
2 篇 中文

检索条件"主题词=Code coverage"

共 243 条记录，以下是161-170 订阅

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

详细简洁

排序：

On the Correctness of GPU Programs 2019

On the Correctness of GPU Programs

引用

28th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)

作者： Peng, Chao Univ Edinburgh Edinburgh Midlothian Scotland

ISBN: (纸本)9781450362245

Testing is an important and challenging part of software development and its effectiveness depends on the quality of test cases. However, there exists no means of measuring quality of tests developed for GPU programs and as a result, no test case generation techniques for GPU programs aiming at high test effectiveness. Existing criteria for sequential and multithreaded CPU programs cannot be directly applied to GPU programs as GPU follows a completely different memory and execution model. We surveyed existing work on GPU program verification and bug fixes of open source GPU programs. Based on our findings, we define barrier, branch and loop coverage criteria and propose a set of mutation operators to measure fault finding capabilities of test cases. CLTestCheck, a framework for measuring quality of tests developed for GPU programs by code coverage analysis, fault seeding and work-group schedule amplification has been developed and evaluated using industry standard benchmarks. Experiments show that the framework is able to automatically measure test effectiveness and reveal unusual behaviours. Our planned work includes data flow coverage adopted for GPU programs to probe the underlying cause of unusual kernel behaviours and a more comprehensive work-group scheduler. We also plan to design and develop an automatic test case generator aiming at generating high quality test suites for GPU programs.

关键词： software testing code coverage fault finding data race GPU OpenCL test case generation

来源：评论

学校读者我要写书评

暂无评论

Using Static Analysis for coverage Extraction from Emulation/Prototyping Platforms 12

Using Static Analysis for Coverage Extraction from Emulation...

引用

10th ACM International Conference on Hardware/Software-codesign and System Synthesis

作者： Athavale, Viraj Hertz, Sam Jetly, Darshan Ganesan, Vijay Krysl, Jim Vasudevan, Shobha Oracle Corp Santa Clara CA 95054 USA Univ Illinois Coordinated Scl Lab Urbana IL 61801 USA Qualcomm Inc San Diego CA 92121 USA

ISBN: (纸本)9781450314268

Full-system emulation and prototyping is now being used widely in the industry for System-on-Chip (SoC) verification. Emulation/prototyping platforms run tests in a fraction of time compared to the traditional simulation based verification. However, unlike simulation, they do not provide visibility into the hardware design source code. As a result, they fail to provide any information about code coverage achieved, which is an important metric to measure the completeness of the verification process. In this paper, we present a novel technique to extract code coverage from emulation/prototyping platforms. Through analysis of the source code for the hardware design, we relate the evaluation of branch conditions to other statements in the code. Evaluation of the branch conditions is recorded using additional logic during emulation, and mapped back to the code to obtain coverage information. We apply our technique to an industrial system, and show that it can efficiently provide code coverage statistics that are faithful to the coverage obtained from simulation. We also perform experiments on the publicly available OpenRISC processor and demonstrate similar results.

关键词： Emulation FPGA code coverage Static Analysis

来源：评论

学校读者我要写书评

暂无评论

GATE: Game-based Testing Environment 11

GATE: Game-based Testing Environment

引用

33rd International Conference on Software Engineering (ICSE)

作者： Chen, Ning Hong Kong Univ Sci & Technol Hong Kong Hong Kong Peoples R China

ISBN: (纸本)9781450304450

In this paper, we propose a game-based public testing mechanism called GATE. The purpose of GATE is to make use of the rich human resource on the Internet to help increase effectiveness in software testing and improve test adequacy. GATE facilitates public testing in three main steps: 1) decompose the test criterion satisfaction problem into many smaller sub-model satisfaction problems;2) construct games for each individual sub-models and presenting the games to the public through web servers;3) collect and convert public users' action sequence data into real test cases which guarantee to cover not adequately tested elements. A preliminary study on apache-commons-math library shows that 44% of the branches have not been adequately tested by state of the art automatic test generation techniques. Among these branches, at least 42% are decomposable by GATE into smaller sub-problems. These elements naturally become the potential targets of GATE for public game-based testing.

关键词： Testing Human Computation code coverage

来源：评论

学校读者我要写书评

暂无评论

Structures of the data and the information reuse based in-memory fuzzing

Structures of the data and the information reuse based in-me...

引用

JNIC Cybersecurity Conference (JNIC)

作者： Alvarez-Perez, David Fernandez-Veiga, Manuel Fernandez-Vilas, Ana Univ Vigo AtlanTTic Vigo Spain

ISBN: (纸本)9788481589719

Fuzzing is the most widely used technique for finding software vulnerabilities. The more straightforward type of fuzzers are dumb fuzzers. These work well at first, but quickly start to be inefficient in the process of fuzzing because the tests are mostly random leaving parts of the code untested. Whitebox fuzzers perform smarter fuzzing based on internal information of the PUT (Program Under Test). Since code coverage empirically was demonstrated to be an excellent metric, whitebox fuzzers usually try to maximize the amount of code under test. But whitebox fuzzers introduce a substantial overhead that can be solved by reducing the analysis scope of the PUT, so giving rise to grey box fuzzers. Consequently, the state-of-the-art fuzzers are able to achieve very good results in terms of code coverage, but still fail in inverting branches of code if the constraints are complex. In this study, we propose a novel in-memory fuzzing technique based on the fact that programs tends to use similar or equal structures of the data and the information across the same program. Thus, the proposed fuzzing technique consists in to collecting data passed as parameters to the functions, determine which functions accept such data, and use it as fuzzing corpus. The proposed technique avoids solving complex restrictions and performs unitary tests of the functions based on valid data, allowing to increase the code coverage.

关键词： fuzzing vulnerabilities code coverage

来源：评论

学校读者我要写书评

暂无评论

codescanner: Detecting (Hidden) x86/x64 code in Arbitrary Files. 9

Codescanner: Detecting (Hidden) x86/x64 Code in Arbitrary Fi...

引用

9th IEEE International Conference on Malicious and Unwanted Software (MALCON)

作者： Zwanger, Viviane Gerhards-Padilla, Elmar Meier, Michael Univ Bonn Fraunhofer FKIE Inst Comp Sci 4 Bonn Germany

ISBN: (纸本)9781479973293

Disassembly is indispensable for the proper analysis of malware. However, a common problem concerning the x86/x64 architecture is that disassemblers produce partially incorrect results. This is used by malware authors who nowadays routinely generate binaries with anti-disassembly measures. In this paper, we derive general constraints on x86 code which are not based on disassembly but on byte level. Based on these constraints we develop a set of classifiers able to locate code in any kind of files. Operating on byte level, our approach is independent of assembly semantics. Our evaluation shows that we are able to precisely locate code and provide anti-disassembly resistance independent of the operating system or compiler. Our tool can be used to detect the code sections of malware, improve code coverage for disassemblers, detect hidden code in files and in memory, or identify malware with anti-disassembly techniques.

关键词： invasive software pattern classification program assemblers codescanner antidisassembly measures arbitrary files assembly semantics byte level classifiers code coverage disassemblers malware x86-x64 code detection Assembly Cryptography Entropy Forensics Malware Semantics Software Spyware Invasive software codes Semantics Classifiers Pattern recognition cryptography assemblies entropy computer software forensic science semiotics

来源：评论

学校读者我要写书评

暂无评论

Putting network verification to good use 18

Putting network verification to good use

引用

18th ACM Workshop on Hot Topics in Networks (HotNets)

作者： Beckett, Ryan Mahajan, Ratul Microsoft Res Redmond WA 98052 USA Univ Washington Intentionet Seattle WA 98195 USA

ISBN: (纸本)9781450370202

The past decade has witnessed remarkable progress in the field of network verification, and interest from academia and industry has spurred the development of increasingly sophisticated verification tools and algorithms. However, outside of a handful of large cloud computing providers, the use of network verification is still sparse. We argue that the next frontier for network verification is to enable easy and effective use by "average" network engineers. Whereas in software development, practitioners frequently use testing frameworks to describe the expected behavior of their systems and to measure the effectiveness of their tests through metrics such as code coverage, no such frameworks exist for the equally challenging task of designing and maintaining networks. To address this gap, we outline the design of a network verification framework. In doing so, we propose 1) a method to compute test coverage for networks, which tells engineers how well their invariants are testing the network;and 2) a new declarative invariant language that makes it easy to express network invariants and enables computation of coverage metrics.

关键词： network verification testing code coverage

来源：评论

学校读者我要写书评

暂无评论

Measuring and Mitigating Gaps in Structural Testing 23

Measuring and Mitigating Gaps in Structural Testing

引用

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

作者： Hossain, Soneya Binta Dwyer, Matthew B. Elbaum, Sebastian Nguyen-Tuong, Anh Univ Virginia Dept Comp Sci Charlottesville VA 22903 USA

ISBN: (纸本)9781665457019

Structural code coverage is a popular test adequacy metric that measures the percentage of program structure (e.g., statement, branch, decision) executed by a test suite. While structural coverage has several benefits, previous studies suggested that code coverage is not a good indicator of a test suite's fault-detection effectiveness as coverage computation does not consider test oracle quality. In this research, we formally define the coverage gap in structural testing as the percentage of program structure that is executed but not observed by any test oracles. Our large-scale empirical study of 13 Java applications, 16K test cases and 51.6K test assertions shows that even for mature test suites, the gap can be as high as 51 percentage points (pp) and 34pp on average. Our study reveals that the coverage gap strongly and negatively correlates with a test suite's fault-detection effectiveness. To mitigate gaps, we propose a lightweight static analysis of program dependencies to produce a ranked recommendation of test focus methods that can reduce the gap and improve test suite quality. When considering 34.8K assertions in the test suite as ground truth, the recommender suggests two-thirds of the focus methods written by developers within the top five recommendations.

关键词： code coverage checked coverage test oracles mutation testing fault-detection effectiveness

来源：评论

学校读者我要写书评

暂无评论

Multi-objective Optimization Based Software Testing Using Kansei Quality Approach 2

Multi-objective Optimization Based Software Testing Using Ka...

引用

2nd International Conference on Information Systems Design and Intelligent Applications (INDIA)

作者： Shilpa Choudhary, Kavita ITM Univ Gurgoan Haryana India

ISBN: (纸本)9788132222477;9788132222460

Software testing suggests the quality of the software product. More the effective testing means high quality software product. In this paper we have identified and prioritized the parameters according to the perspective of different entities involved in software lifecycle. The prime objective of the paper is to perform software testing from the perspective of Kansei Engineering methodology with multi-objective optimization.

关键词： Kansei approach Multi-objective optimization Fault tolerance Accuracy code coverage

来源：评论

学校读者我要写书评

暂无评论

DEFLAKER: Automatically Detecting Flaky Tests 18

DEFLAKER: Automatically Detecting Flaky Tests

引用

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

作者： Bell, Jonathan Legunsen, Owolabi Hilton, Michael Eloussi, Lamyaa Yung, Tifany Marinov, Darko George Mason Univ Fairfax VA 22030 USA Univ Illinois Urbana IL USA Carnegie Mellon Univ Pittsburgh PA 15213 USA

ISBN: (纸本)9781450356381

Developers often run tests to check that their latest changes to a code repository did not break any previously working functionality. Ideally, any new test failures would indicate regressions caused by the latest changes. However, some test failures may not be due to the latest changes but due to non-determinism in the tests, popularly called flaky tests. The typical way to detect flaky tests is to rerun failing tests repeatedly. Unfortunately, rerunning failing tests can be costly and can slow down the development cycle. We present the first extensive evaluation of rerunning failing tests and propose a new technique, called DEFLAKER, that detects if a test failure is due to a flaky test without rerunning and with very low runtime overhead. DEFLAKER monitors the coverage of latest code changes and marks as flaky any newly failing test that did not execute any of the changes. We deployed DEFLAKER live, in the build process of 96 Java projects on TravisCI, and found 87 previously unknown flaky tests in 10 of these projects. We also ran experiments on project histories, where DEFLAKER detected 1, 874 flaky tests from 4, 846 failures, with a low false alarm rate (1.5%). DEFLAKER had a higher recall (95.5% vs. 23%) of confirmed flaky tests than Maven's default flaky test detector.

关键词： Software testing flaky tests code coverage

来源：评论

学校读者我要写书评

暂无评论

GoldRusher: A Miner for Rapid Identification of Hidden code 25

GoldRusher: A Miner for Rapid Identification of Hidden Code

引用

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

作者： Salem, Aleieldin Tech Univ Munich Garching Germany

GoldRusher is a dynamic analysis tool primarily meant to aid reverse engineers with analyzing malware. Based on the fact that hidden code segments rarely execute, the tool is able to rapidly highlight functions and ba... 详细信息

ISBN: (纸本)9781538649695

关键词： Reverse Engineering Obfuscation Hidden code code coverage Malware

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共25页 << < 13 14 15 16 17 18 19 20 21 22 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：