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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是131-140 订阅

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

详细简洁

排序：

Running a Red Light: An Investigation into Why Software Engineers (Occasionally) Ignore coverage Checks 5

Running a Red Light: An Investigation into Why Software Engi...

引用

5th IEEE/ACM International Conference on Automation of Software Test (AST)

作者： Sterk, Alexander Wessel, Mairieli Hooten, Eli Zaidman, Andy Delft Univ Technol Delft Netherlands Radboud Univ Nijmegen Nijmegen Netherlands Sentry io San Francisco CA USA

ISBN: (纸本)9798400705885

Many modern code coverage tools track and report code coverage data generated from running tests during continuous integration. They report code coverage data through a variety of channels, including email, Slack, Mattermost, or through the web interface of social coding platforms such as GitHub. In fact, this ensemble of tools can be configured in such a way that the software engineer gets a failing status check when code coverage drops below a certain threshold. In this study, we broadly investigate the opinions and experience with code coverage tools through a survey among 279 software engineers whose projects use the codecov coverage tool and bot. In particular, we are investigating why software engineers would ignore a failing status check caused by drop in code coverage. We observe that >80% of software engineers - at least sometimes - ignore these failing status checks, and we get insights into the main reasons why software engineers ignore these checks.

关键词： software testing code coverage coverage checks

来源：评论

学校读者我要写书评

暂无评论

Test Suite Generation using Memetic Algorithm on Adaptive Local Search

Test Suite Generation using Memetic Algorithm on Adaptive Lo...

引用

2015 International Conference on Communications and Signal Processing (ICCSP)

作者： Mundade, Ankita A. Pattewar, T. M. North Maharashtra Univ Dept Comp Engn RCPTT Shirpur India North Maharashtra Univ Dept Informat Technol RCPTT Shirpur India

ISBN: (纸本)9781479980819

Testing is the process of evaluating quality and correctness of software. In testing, we always check different functions of application. Test cases are the measure component, which is required in testing the functions and conditions. Test case is nothing but a condition which we want to check. It is very difficult to add test cases manually, so that we generate set of test cases called Test Suite. To generate the test suite with high code coverage we apply Memetic algorithm. code coverage is not only important factor in test suite but also measuring part of test suite. code coverage measure used to describe the degree of source code program which is tested. Test case may have more than one goal so that we can check feasibility of particular goal. We have implement Memetic algorithm to find code coverage. Here we also applied Memetic algorithm on adaptive local search. In the evaluation it is found that code coverage of Memetic algorithm on adaptive local search is maximum than Memetic algorithm.

关键词： code coverage Memtic Algorithm Software testing Test suite

来源：评论

学校读者我要写书评

暂无评论

Same coverage, Less Bloat: Accelerating Binary-only Fuzzing with coverage-preserving coverage-guided Tracing 21

Same Coverage, Less Bloat: Accelerating Binary-only Fuzzing ...

引用

ACM SIGSAC Conference on Computer and Communications Security (ACM CCS)

作者： Nagy, Stefan Anh Nguyen-Tuong Hiser, Jason D. Davidson, Jack W. Hicks, Matthew Virginia Tech Blacksburg VA 24061 USA Univ Virginia Charlottesville VA USA

ISBN: (纸本)9781450384544

coverage-guided fuzzing's aggressive, high-volume testing has helped reveal tens of thousands of software security flaws. While executing billions of test cases mandates fast code coverage tracing, the nature of binary-only targets leads to reduced tracing performance. A recent advancement in binary fuzzing performance is coverage-guided Tracing (CGT), which brings orders-of-magnitude gains in throughput by restricting the expense of coverage tracing to only when new coverage is guaranteed. Unfortunately, CGT suits only a basic block coverage granularity-yet most fuzzers require finer-grain coverage metrics: edge coverage and hit counts. It is this limitation which prohibits nearly all of today's state-of-the-art fuzzers from attaining the performance benefits of CGT. This paper tackles the challenges of adapting CGT to fuzzing's most ubiquitous coverage metrics. We introduce and implement a suite of enhancements that expand CGT's introspection to fuzzing's most common code coverage metrics, while maintaining its orders-of-magnitude speedup over conventional always-on coverage tracing. We evaluate their trade-offs with respect to fuzzing performance and effectiveness across 12 diverse real-world binaries (8 open- and 4 closed-source). On average, our coverage-preserving CGT attains near-identical speed to the present block-coverage-only CGT, UnTracer;and outperforms leading binary- and source-level coverage tracers QEMU, Dyninst, RetroWrite, and AFL-Clang by 2-24x, finding more bugs in less time.

关键词： Fuzzing Binaries code coverage

来源：评论

学校读者我要写书评

暂无评论

Predicting Prime Path coverage Using Regression Analysis 20

Predicting Prime Path Coverage Using Regression Analysis

引用

34th Brazilian Symposium on Software Engineering (SBES)

作者： Silva, Keslley Cota, Erika Univ Fed Rio Grande do Sul PPGC Inst Informat Porto Alegre RS Brazil

ISBN: (纸本)9781450387538

Test coverage criteria help the tester to analyze the quality of the test suite, especially in an evolving system where it can be used to guide the prioritization of regression tests as well as the testing effort of new code. However, coverage analysis of more powerful criteria such as path coverage is still a challenging task due to the lack of supporting tools. In this paper, we evaluate the opportunity of using machine learning algorithms to estimate the prime-path coverage of a test suite at method level. We use a knowledge discovery in database framework and a dataset built from real-world projects to devise a regression model for prime-path prediction. Experimental results demonstrate that a suitable predictive model can be defined with RMSE 0.118 on cross-validation and an average error rate of 26% in a cross-project scenario. We also show how the tester can use the proposed strategy in a practical cross-project scenario.

关键词： Software testing coverage prediction code coverage Regression analysis

来源：评论

学校读者我要写书评

暂无评论

Does Unit-Tested code Crash? A Case Study of Eclipse 25

Does Unit-Tested Code Crash? A Case Study of Eclipse

引用

25th Pan-Hellenic Conference on Informatics with International Participation (PCI)

作者： Chioteli, Efstathia Batas, Ioannis Spinellis, Diomidis Athens Univ Econ & Business Dept Management Sci & Technol Athens Greece

ISBN: (纸本)9781450395557

Context: Software development projects increasingly adopt unit testing as a way to identify and correct program faults early in the construction process. code that is unit tested should therefore have fewer failures associated with it. Objective: Compare the number of field failures arising in unit tested code against those arising in code that has not been unit tested. Method: We retrieved 2 083 979 crash incident reports associated with the Eclipse integrated development environment project, and processed them to obtain a set of 126 026 unique program failure stack traces associated with a specific popular release. We then run the JaCoCo code test coverage analysis on the same release, obtaining results on the line, instruction, and branch-level coverage of 216 392 methods. We also extracted from the source code the classes that are linked to a corresponding test class so as to limit test code coverage results to 1 263 classes with actual tests. Finally, we correlated unit tests with failures at the level of 9 523 failing tested methods. Results: Unit-tested code does not appear to be associated with fewer failures. Conclusion: Unit testing on its own may not be a sufficient method for preventing program failures.

关键词： Unit-testing crash incident reports code coverage stack traces software reliability

来源：评论

学校读者我要写书评

暂无评论

Quality of code Can Be Planned and Automatically Controlled

Quality of Code Can Be Planned and Automatically Controlled

引用

1st International Conference on Advances in System Testing and Validation Lifecycle

作者： Bugayenko, Yegor TechnoPark Corp Naples FL 34102 USA

ISBN: (纸本)9781424448623

Quality of code is an important and critical health indicator of any software development project. However, due to the complexity and ambiguousness of calculating this indicator it is rarely used in commercial contracts. As programmers are much more motivated with respect to the delivery of functionality than quality of code beneath it, they often produce low-quality code, which leads to post-delivery and maintenance problems. The proposed mechanism eliminates this lack of attention to Quality of code. The results achieved after the implementation of the mechanism are more motivated programmers, higher project sponsor confidence and a predicted Quality of code.

关键词： quality metrics code quality code coverage cyclomatic complexity continuous integration

来源：评论

学校读者我要写书评

暂无评论

Test-suite Reduction Based on K-medoids Clustering Algorithm 9

Test-suite Reduction Based on K-medoids Clustering Algorithm

引用

International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery (CyberC)

作者： Liu, Feng Zhang, Jun Zhu, Er-Zhou Anhui Univ Sch Comp Sci & Technol Hefei Anhui Peoples R China

ISBN: (纸本)9781538622094

Software testing is a key approach to guarantee the software quality. It is the objective unremittingly pursed by virtue of effective testing cases in the shortest time. The test suite optimization method is a NP-complete problem. Although some people apply k-means clustering algorithm to the test suite reduction, the algorithm is unstable and seldom considers the coverage rate of such test cases;as a result, it will waste many unnecessary testing time in redundant cases and always result in high cost. Therefore, this paper introduces k-medoids thought of the clustering algorithm and then proposes a method of parameter generation test suite characterized by cyclomatic complexity and code coverage rate. This method utilizes the greedy algorithm to process the streamlined test suite while guaranteeing the cases coverage rate and the error detection rate finally gain the minimal test suite. As indicated by the stimulation experimental results, our method features higher coverage rate with lower complexity under the streamlined test suite of the same quantity.

关键词： test suite reduction k-medoids code coverage cluster analysis

来源：评论

学校读者我要写书评

暂无评论

Data-Flow Testing of Declarative Programs

Data-Flow Testing of Declarative Programs

引用

13th ACM SIGPLAN International Conference on Functional Programming

作者： Fischer, Sebastian Kuchen, Herbert Univ Kiel Dept Comp Sci D-24098 Kiel Germany

ISBN: (纸本)9781595939197

We propose a novel notion of data-flow coverage for testing declarative programs. Moreover, we extend an automatic test-case generator such that it can achieve data-flow coverage. The coverage information is obtained by instrumenting a program such that it collects coverage information during its execution. Finally, we show the benefits of data-flow based testing for a couple of example applications.

关键词： code coverage Data Flow Curry

来源：评论

学校读者我要写书评

暂无评论

Empirically Evaluating the Quality of Automatically Generated and Manually Written Test Suites 14

Empirically Evaluating the Quality of Automatically Generate...

引用

14th Annual International Conference on Quality Software (QSIC)

作者： Kracht, Jeshua S. Petrovic, Jacob Z. Walcott-Justice, Kristen R. Univ Colorado Dept Comp Sci Colorado Springs CO 80907 USA

ISBN: (纸本)9781479971978

The creation, execution, and maintenance of tests are some of the most expensive tasks in software development. To help reduce the cost, automated test generation tools can be used to assist and guide developers in creating test cases. Yet, the tests that automated tools produce range from simple skeletons to fully executable test suites, hence their complexity and quality vary. This paper compares the complexity and quality of test suites created by sophisticated automated test generation tools to that of developer-written test suites. The empirical study in this paper examines ten real-world programs with existing test suites and applies two state-of-the-art automated test generation tools. The study measures the resulting test suite quality in terms of code coverage and fault-finding capability. On average, manual tests covered 31.5% of the branches while the automated tools covered 31.8% of the branches. In terms of mutation score, the tests generated by automated tools had an average mutation score of 39.8% compared to the average mutation score of 42.1% for manually written tests. Even though automatically created tests often contain more lines of source code than those written by developers, this paper's empirical results reveal that test generation tools can provide value by creating high quality test suites while reducing the cost and effort needed for testing.

关键词： program testing software maintenance software metrics software quality source code (software) automated test generation tools automatically generated test suites average mutation score code coverage cost reduction empirical software quality evaluation fault-finding capability manually written test suites real-world programs software development software test creation software test execution software test maintenance test suite complexity test suite quality Complexity theory Java Manuals Software Standards Testing Writing computer software Software design program testing Software maintenance Software measurement Complexity theory software quality COST REDUCTION Writing Java Java programming language Test generation Automation AUTOMATIC

来源：评论

学校读者我要写书评

暂无评论

Addressing the Regression Test Problem with Change Impact Analysis for Ada 21st

Addressing the Regression Test Problem with Change Impact An...

引用

21st Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe)

作者： Jones, Andrew V. Vector Software Inc London England

ISBN: (纸本)9783319390833;9783319390826

The regression test selection problem-selecting a subset of a test-suite given a change-has been studied widely over the past two decades. However, the problem has seen little attention when constrained to high-criticality developments and where a "safe" selection of tests need to be chosen. Further, no practical approaches have been presented for the programming language Ada. In this paper, we introduce an approach to solving the selection problem given a combination of both static and dynamic data for a program and a change-set. We present a change impact analysis for Ada that selects the safe set of tests that need to be re-executed to ensure no regressions. We have implemented the approach in the commercial, unit-testing tool VectorCAST, and validated it on a number of open-source examples. On an example of a fully-functioning Ada implementation of a DNS server (IRONSIDES), the experimental results show a 97% reduction in test-case execution.

关键词： Ada Change impact analysis Regression testing Unit testing Test-case selection code coverage Change-based testing Safety-critical software

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共25页 << < 10 11 12 13 14 15 16 17 18 19 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：