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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Model-based integration testing of ROS packages: a mobile robot case study

Model-based integration testing of ROS packages: a mobile ro...

引用

European Conference on Mobile Robots

作者： Ernits, Juhan Halling, Evelin Kanter, Gert Vain, Juri Tallinn Univ Technol Dept Comp Sci Akad Tee 15a EE-12618 Tallinn Estonia

ISBN: (纸本)9781467391634

We apply model-based testing - a black box testing technology - to improve the state of the art of integration testing of navigation and localisation software for mobile robots built in ROS. Online model-based testing involves building executable models of the requirements and executing them in parallel with the implementation under test (IUT). In the current paper we present an automated approach to generating a model from the topological map that specifies where the robot can move to. In addition, we show how to specify scenarios of interest and how to add human models to the simulated environment according to a specified scenario. We measure the quality of the tests by code coverage, and empirically show that it is possible to achieve increased test coverage by specifying simple scenarios on the automatically generated model of the topological map. The scenarios augmented by adding humans to specified rooms at specified stages of the scenario simulate the changes in the environment caused by humans. Since we test navigation at coordinate and topological level, we report on finding problems related to the topological map.

关键词： control engineering computing mobile robots operating systems (computers) program testing software packages IUT ROS packages black box testing technology code coverage implementation under test localisation software mobile robot model-based integration testing navigation software online model-based testing topological map Adaptation models Automata Computational modeling Robot kinematics Software Testing Mobile robots TOPOLOGICAL MAPPING control engineering computing Robot kinematics program testing Automata Software packages Computational modeling computer software Aggregate tests Adaptation models

来源：评论

学校读者我要写书评

暂无评论

A coverage Measurement Method For GUI Test Cases On Android Applications 15

A Coverage Measurement Method For GUI Test Cases On Android ...

引用

15th Turkish National Software Engineering Symposium (UYMS)

作者： MIRZA, Merve Melis SEN, Alper Bogazici Univ Bilgisayar Muhendisligi Bolumu Istanbul Turkey

ISBN: (纸本)9781665410700

coverage measurements are among the most effective methods for determining the extent and quality of the functional tests executed on a mobile application. Although code coverage metrics such as line and branch are provided by the Integrated Development Environments (IDE), there is not any tool that can calculate the coverages of Graphical User Interface (GUI) components. In this study, we are suggesting a coverage measurement method that is independent of the source code and can function just by using application's compiled artifact (APK), for activity, action and GUI components. With the tool we have developed based on this method, it is possible to run functional tests and to identify all the accessed activities, executed actions, defined for an activity, and GUI components, which were referenced with their ID's, to obtain related coverages. We have confirmed the validity of our coverage metrics by running the tool for the tests we have written for a large scale mobile banking application.

关键词： Mobile Application Testing Graphical User Interface Testing Test coverage code coverage Banking Application Testing

来源：评论

学校读者我要写书评

暂无评论

How to Measure and Optimize Reliable Embedded Software 11

How to Measure and Optimize Reliable Embedded Software

引用

Annual International Conference of the ACM SIGada Programming Language

作者： Broster, Ian Coombes, Andrew Rapita Syst Ltd IT Ctr York YO10 5NP N Yorkshire England

ISBN: (纸本)9781450310284

This tutorial explores some of the challenges of measuring performance and timing behaviour of reliable embedded systems and explains techniques and strategies for optimization of reliable software. The tutorial explains and compares different techniques for measurement and analysis of software on embedded targets including tracing methods, in-memory analysis and using hardware support. It shows how those techniques can be used for verification of non-functional properties on-target, including in the context of DO178B/C and the new ISO26262 standard to meet the requirements for safety in automobiles. The tutorial presents optimization at a high and low level, looking at strategies and the tradeoffs that occur in reliable software development, introducing a process that helps to ensure that optimization can have the maximum benefit for the minimum effort.

关键词： Non-functional requirements Worst-case execution time code coverage DO178B ISO26262 On-target verification Optimization

来源：评论

学校读者我要写书评

暂无评论

OTA: An Operation-oriented Time Allocation Strategy for Greybox Fuzzing 28

OTA: An Operation-oriented Time Allocation Strategy for Grey...

引用

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

作者： Li, Xumei Sun, Lei Jiang, Ruobing Qu, Haipeng Yan, Zhen Ocean Univ China Dept Comp Sci & Technol Qingdao Peoples R China

ISBN: (纸本)9781728196305

coverage-based greybox fuzzing (CGF) has been widely studied and commonly used for software vulnerability detection. Existing CGF fuzzers fairly allocate execution time for each mutation operation to generate test cases. However, the fair-time-allocation strategy is revealed to be inefficient by our significant experimental observation that different operations have heterogeneous effectiveness on coverage. Those ineffective operations with vast test cases thus occupy the majority of limited runtime, reducing the opportunities for effective operations to explore more paths and find potential vulnerabilities. In this paper, we propose a novel operation-oriented time allocation strategy OTA, which dynamically allocates operation execution time in real time to cope with the effectiveness variation per operation. OTA has three distinguishing advantages: (1) the execution time per operation is novelly initialized on demand and program-dependent;(2) the execution time for each operation is dynamically weighted by its real-time effectiveness on exploring new coverage;(3) the determination of the execution time per operation is well controlled to achieve a quick convergence. Extensive experiments based on real-world programs and the LAVA-M dataset have been conducted to evaluate the path discovery and vulnerability detection abilities of OTA, which substantially outperforms 5 state-of-the-art fuzzers. In addition, OTA exposes 18 previously unknown vulnerabilities in 6 well-tested programs with 13 confirmed with new CVE IDs.

关键词： greybox fuzzing vulnerability detection code coverage automated testing

来源：评论

学校读者我要写书评

暂无评论

Combined Source code Approach for Test Case Prioritization 18

Combined Source Code Approach for Test Case Prioritization

引用

International Conference on Information Science and System (ICISS)

作者： IyadAlazzam Nahar, Khalid M. O. Yarmouk Univ Dept Comp Informat Syst Irbid 21163 Jordan Yarmouk Univ Comp Sci Dept Irbid 21163 Jordan

ISBN: (纸本)9781450364218

Regression testing is an activity in the software testing process to ensure the software is validated and verified after modification occurred on software. It is costly process procedure which has been expected to reach half cost of the software maintenance cost. Many techniques and approaches have been used in regression testing process to enhance the efficiency and effectiveness of regression testing process. Such as test case reduction, test case selection, test case prioritization and retest all. Test case prioritization has been used in regression testing to increase the effectiveness through selecting the most vital test case that has the ability in finding and uncovering errors in the system under test. This paper has introduced a new algorithm for prioritizing test cases in test suite that is based on method and line of code coverage. Test cases which cover the most methods and line of code are more effective and efficient in finding errors.

关键词： Software testing Regression testing code coverage Test case prioritization Test case

来源：评论

学校读者我要写书评

暂无评论

Behavioral test generation for VHDL processes 12

Behavioral test generation for VHDL processes

引用

12th International Conference on Microelectronics (ICM 2000)

作者： Gharehbaghi, AM Navabi, Z Univ Tehran Dept Elect & Comp Engn Fac Engn Tehran 14399 Iran

ISBN: (纸本)9643600572

In this paper two test generation algorithms for VHDL processes will be presented. The first algorithm works on combinational processes whereas the second works on sequential processes. The goal of both algorithms is testing all portions of the design by traversing all the possible paths. The VHDL subset we have considered in these algorithms covers almost 90 percent of ordinary designs. Our approach in this paper is employing software testing metrics as well as state and transition coverage for FSMs.

关键词： high-level test generation functional verification code coverage FSM VHDL

来源：评论

学校读者我要写书评

暂无评论

Functional verification methodology of a 32-bit RISC microprocessor 1

Functional verification methodology of a 32-bit RISC micropr...

引用

International Conference on Communications, Circuits and Systems

作者： Gu, ZY Yu, ZY Shen, B Zhang, QL Fudan Univ ASIC Shanghai 200433 Peoples R China

ISBN: (纸本)0780375475

With the increasing complexity of Microprocessor, the verification of the design becomes more and more important. This paper presented a simulation-based functional verification methodology to validate a 32-bit RISC microprocessor (named as FDU32 below). In the paper, pseudo-random generating and pipeline-focus generating are used as the main method to generate testbenches. Besides, the whole verification environment is set up to improve the automation and efficiency of the process. In addition, code coverage analysis is used to guarantee the quality of the verification.

关键词： RISC functional verification pipeline hazard pseudo-random code coverage

来源：评论

学校读者我要写书评

暂无评论

Measurement based software execution tracing in HIL (Hardware In the Loop) tests 10

Measurement based software execution tracing in HIL (Hardwar...

引用

IEEE/ASME 10th International Conference on Mechatronic and Embedded Systems and Applications (MESA)

作者： Scherer, Balazs Horvath, Gabor Budapest Univ Technol & Econ Dept Measurement & Informat Syst Budapest Hungary

ISBN: (纸本)9781479922802

Statistics show that in most of the automotive developments the role of the electronics is getting more and more significant. Some say that today, 90 percent of all innovation in the automotive sector are driven by electronics and software. Many of these developments and innovations affect safety critical functions. Standards like ISO 26262 give guidelines for testing electronic control units. Few of these guidelines give specification to the required test coverage for the software of the embedded systems. These requirements are usually based on code coverage metrics. This paper describes a novel integration way of a measurement based code coverage calculation method into a professional HIL (Hardware In the Loop) development system the NI VeriStand. The advantages of this integration compared to the existing separate coverage tools based solutions are introduced in details. The paper also describes the integration process with the challenges and our solutions given to them from the lower logical layer of execution trace data measurement to the presentation of code coverage calculation results.

关键词： code coverage HIL (Hardware-In-the-Loop) testing NI VeriStand LabVIEW ARM Cortex CoreSight Trace

来源：评论

学校读者我要写书评

暂无评论

Model Based Test Case Generation and Optimization Using Intelligent Optimization Agent 2

Model Based Test Case Generation and Optimization Using Inte...

引用

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

作者： Mahali, Prateeva Acharya, Arup Abhinna Mohapatra, Durga Prasad KIIT Univ Sch Comp Engn Bhubaneswar 751024 Orissa India Natl Inst Technol Dept Comp Sci Engn Rourkela 769008 India

ISBN: (纸本)9788132222507;9788132222491

Test case optimization is one of the techniques which efficiently manage the exponential growth in time and cost of testing. But in many times the researchers compromise with the code coverage while going for optimization. In this paper, the test suite is optimized using Intelligent Optimization Agent (IOA) while the keeping the percentage of code coverage unchanged. First the System Under Test (SUT) is modelled using UML Activity Diagram (AD) and converted into an Activity Graph (AG). Then the optimized path is found out in AD by using IOA and cost attributes. Then suitable algorithms are proposed to remove the redundant nodes in the optimized path. IOA is an agent based approach as compared to Hybrid Genetic Algorithm (HGA) in Intelligent Test Optimization Agent (ITOA). The proposed approach is found to be effective when compared with other optimization techniques like Genetic Algorithm (GA) and Intelligent Test Optimization Agent (ITOA).

关键词： Optimization IOA Testing code coverage UML activity diagram

来源：评论

学校读者我要写书评

暂无评论

Poster: YFuzz: Data-Driven Fuzzing 24

Poster: YFuzz: Data-Driven Fuzzing

引用

31st Conference on Computer and Communications Security

作者： Chang, Yuan Huang, Chun-Chia Mori, Tatsuya Hsiao, Hsu-Chun Natl Taiwan Univ Taipei Taiwan Waseda Univ Shinjuku Ku Tokyo Japan Acad Sinica Taipei Taiwan

ISBN: (纸本)9798400706363

code coverage is an effective objective for guiding fuzzers to explore code and identify bugs, and it has been a key factor in the success of greybox fuzzing. However, code coverage has a critical limitation: coverage-guided fuzzers can miss bugs even when the associated code is covered. This limitation arises because merely executing the associated code is often insufficient to trigger a bug;specific conditions are usually also required. These conditions are not fully captured by code coverage, which focuses only on whether the code was executed. To address this problem, we propose a new objective: value state coverage, an additional dimension in coverage metrics that is orthogonal to code coverage. Value state is a combination of the values assigned to program variables and the order of their assignment, and by measuring the coverage of value states, we can guide a fuzzer to explore the triggering conditions of bugs. We also introduce Data-Driven Fuzzing, a novel fuzzing technique that focuses on value state coverage, and utilizes security-related variables, mutation strategies, and extreme values captured at run-time to effectively discover bugs. We implemented our approach in a prototype fuzzer named YFuzz. YFuzz has found 12 bugs in programs included in the OSS-Fuzz project, including 4 assigned CVEs, indicating that our approach is effective in finding bugs.

关键词： Fuzzing Value State coverage code coverage Vulnerability

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：