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

22nd European Conference on Genetic Programming (EuroGP) Held as Part of EvoStar Conference

作者： Anjum, Muhammad Sheraz Ryan, Conor Univ Limerick Dept Comp Sci & Informat Syst Limerick Ireland

ISBN: (纸本)9783030166694;9783030166700

Software testing is a key component in software quality assurance;it typically involves generating test data that exercises all instructions and tested conditions in a program and, due to its complexity, can consume as much as 50% of overall software development budget. Some evolutionary computing techniques have been successfully applied to automate the process of test data generation but no existing techniques exploit variable interdependencies in the process of test data generation, even though several studies from the software testing literature suggest that the variables examined in the branching conditions of real life programs are often interdependent on each other, for example, if (x == y), etc. We propose the Ariadne system which uses Grammatical Evolution (GE) and a simple Attribute Grammar to exploit the variable interdependencies in the process of test data generation. Our results show that Ariadne dramatically improves both effectiveness and efficiency when compared with existing techniques based upon well-established criteria, attaining coverage (the standard software testing success metric for these sorts of problems) of 100% on all benchmarks with far fewer program evaluations (often between a third and a tenth of other systems).

关键词： Automatic test case generation code coverage Evolutionary testing Grammatical Evolution Variable interdependencies

来源：评论

学校读者我要写书评

暂无评论

Mutation Analysis and Model Checking Guided Test Generation for SoC Run-Time Monitors 36

Mutation Analysis and Model Checking Guided Test Generation ...

引用

36th International Conference on VLSI Design (VLSID) / 22nd International Conference on Embedded Systems (ES)

作者： Srinivasan, Suriya Vemuri, Ranga Univ Cincinnati Elect & Comp Engn Dept Cincinnati OH 45221 USA

ISBN: (纸本)9798350346787

Security verification and validation both before and after fabrication emerged as an important concern in the design of systems-on-chip (SoC) architectures. Assertion-based formal methods are widely for pre-fabrication verification of SoC designs. Assertions denoting the SoC's security policies are formally verified to check if the design satisfies these specifications. In addition, several researchers have proposed to migrate these assertions into silicon as run-time monitors to facilitate continuous run-time security monitoring. However, due to limited observability, post-silicon validation of these run-time monitors requires input sequences that are specifically targeted to testing these monitors. In this paper, we present a methodology to produce a variety of tests for assertion-based run-time monitors. Given temporal logic assertions which denote security properties of an SoC design, the methodology consists of the following steps: (1) introduce mutations into the SoC design model to cause assertion failures, (2) use model checking to produce counterexample traces, (3) generate alternative and longer counterexamples for a mutant, with the help of novel algorithms to enhance the test suite, (4) extract test programs from the counterexamples and winnow repetitive test cases, (5) investigate the code coverage of the design with the help of these multiple tests. This methodology can be used to generate a large number of tests for each security monitor, enhancing the design's code coverage. We demonstrate the methodology for a large OpenRISC-1200 based SoC design. We show the effectiveness of the generated test programs via simulation and FPGA-based emulation.

关键词： Model Checking Security Vulnerability Mutation Analysis Run-Time Monitors Test Program Generation System-on-Chip FPGA emulation code coverage Assertion Based Verification

来源：评论

学校读者我要写书评

暂无评论

code Leader 1

引用

2008年

作者： Cauldwell Patrick

ISBN: (数字)9780470383117

ISBN: (纸本)9780470259245

This book is for the career developer who wants to take his or her skill set and/or project to the next level. If you are a professional software developer with 3–4 years of experience looking to bring a higher level of discipline to your project, or to learn the skills that will help you transition from software engineer to technical lead, then this book is for you. The topics covered in this book will help you focus on delivering software at a higher quality and lower cost. The book is about practical techniques and practices that will help you and your team realize those *** book is for the developer understands that the business of software is, first and foremost, business. Writing code is fun, but writing high-quality code on time and at the lowest possible cost is what makes a software project successful. A team lead or architect who wants to succeed must keep that in *** that target audience, this book assumes a certain level of skill at reading code in one or more languages, and basic familiarity with building and testing software projects. It also assumes that you have at least a basic understanding of the software development lifecycle, and how requirements from customers become testable software *** This Book Is Not For: This is not a book for the entry-level developer fresh out of college, or for those just getting started as professional coders. It isn’t a book about writing code; it’s a book about how we write code together while keeping quality up and costs down. It is not for those who want to learn to write more efficient or literate code. There are plenty of other books available on those subjects, as mentioned *** is also not a book about project management or development methodology. All of the strategies and techniques presented here are just as applicable to waterfall projects as they are to those employing Agile methodologies. While certain strategies such as Test-Driven Development and Cont

关键词： Software development improving development efficiency code construction Wrox software development best practices agile software development test driven development TDD continuous integration test fixture code coverage NCover refactor unit test integration test functional test test framework MbUnit Watir WatiN framework for integrated test source control subversion version branches static analysis NDepend FXCop dependency injection model-view-presenter model

来源：评论

学校读者我要写书评

暂无评论

A Survey of coverage-Based Testing Tools

A Survey of Coverage-Based Testing Tools

引用

1st IEEE International Workshop on Automation of Software Test

作者： Yang, Qian Li, J. Jenny Weiss, David M. Avaya Labs Res Basking Ridge NJ 07920 USA

Test coverage is sometimes used to measure how thoroughly software is tested and developers and vendors sometimes use it to indicate their confidence in the readiness of their software. This survey studies and compares 17 coverage-based testing tools primarily focusing on, but not restricted to, coverage measurement. We also survey features such as program prioritization for testing, assistance in debugging, automatic generation of test cases and customization of test reports. Such features make tools more useful and practical, especially for large-scale, commercial software applications. Our initial motivations were both to understand the available test coverage tools and to compare them to a tool that we have developed, called eXVantage (a tool suite that includes code coverage testing, debugging, performance profiling and reporting). Our study shows that each tool has some unique features tailored to its application domains. The readers may use this study to help pick the right coverage testing tools for their needs and environment. This paper is also valuable to those who are new to the practice and the art of software coverage testing, as well as those who want to understand the gap between industry and academia.

关键词： code coverage coverage-based testing tool prioritization test case generation dominator analysis

来源：评论

学校读者我要写书评

暂无评论

Concolic Execute Fuzzing Based on Control-Flow Analysis 11

Concolic Execute Fuzzing Based on Control-Flow Analysis

引用

11th International Conference on Computational Intelligence and Security (CIS)

作者： Li, Jingxi Xu, Xin Liao, Lejian Li, Lu Beijing Inst Technol Sch Comp Sci Beijing Engn Res Ctr High Volume Language Informa Beijing Key Lab Intelligent Informat Technol Beijing Peoples R China DISECC Beijing Peoples R China

ISBN: (纸本)9781467386609

This paper proposes a method which utilizing taint analysis to reduce the unnecessary analysis routine, concentrating on the control-flow altering input using concolic (concrete and symbolic) execution procedure. A prototype, ConcolicFuzz is implemented based on this method, which is built on Pin platform at x86 binary level and using Z3 as the SMT (Satisfiability Modulo Theories) solver. The results of experiments verify that our approach is effective in increasing code coverage with remarkably lower resource and time cost than the standard fuzzing and concolic testing tools. The scale of fuzzing range and symbols are reduced, so as the computing resource and time consumption, especially when the input data is in highly structured and complex file format.

关键词： dynamic taint analysis concolic execution control-flow fuzzing test code coverage

来源：评论

学校读者我要写书评

暂无评论

Generating Software Test Data by Particle Swarm Optimization

Generating Software Test Data by Particle Swarm Optimization

引用

10th International Conference on Simulated Evolution and Learning (SEAL)

作者： Jia, Ya-Hui Chen, Wei-Neng Zhang, Jun Li, Jing-Jing Sun Yat Sen Univ Sch Informat Sci & Technol Guangzhou 510275 Guangdong Peoples R China Sun Yat Sen Univ Sch Adv Comp Guangzhou 510275 Guangdong Peoples R China Minist Educ Key Lab Machine Intelligence & Adv Comp Beijing Peoples R China MOE Engn Res Ctr Supercomp Engn Software Beijing Peoples R China S China Normal Univ Sch Comp Sci Guangzhou Guangdong Peoples R China

ISBN: (纸本)9783319135632;9783319135625

Search-based method using meta-heuristic algorithms is a hot topic in automatic test data generation. In this paper, we develop an automatic test data generating tool named particle swarm optimization data generation tool (PSODGT). The PSODGT is characterized by the following two features. First, the PSODGT adopts the condition-decision coverage (C/DC) as the criterion of software testing, aiming to build an efficient test data set that covers all conditions. Second, the PSODGT uses a particle swarm optimization (PSO) approach to generate test data set. In addition, a new position initialization technique is developed for PSO. Instead of initializing the test data randomly, the proposed technique uses the previously-found test data that can reach the target condition as the initial positions so that the search speed of PSODGT can be further accelerated. The PSODGT is tested on four practical programs. Experimental results show that the proposed PSO approach is promising.

关键词： Particle swarm optimization Automatic software test case generation Software testing code coverage

来源：评论

学校读者我要写书评

暂无评论

Scenario-based unit testing for reliability

Scenario-based unit testing for reliability

引用

Annual Reliability and Maintainability Symposium

作者： Kuball, S Hughes, G Gilchrist, I Safety Syst Res Ctr Bristol Avon England

ISBN: (纸本)0780373480

Statistical Software Testing (SST) is an important means for the quantification of software dependability. The concept of SST is that the software is executed on statistically generated test-cases that simulate the software's operating environment. As opposed to SST tests, coverage tests are engineered to execute each statement, decision, Boolean expression etc. at least once, coverage testing is required by many standards, SST is not required by the standards. coverage testing however cannot quantify reliability. In this paper, we want to investigate how to link these two important testing strategies. We want to maintain the features of SST, which allow us to quantify dependability, but combine them with a view towards code-coverage. The aim is to not only perform SST, but perform SST on the full code and thus achieve a dependability estimate that is attached to all code-parts. We demonstrate on a software example, taken from the protection system of a heavy water reactor, how to achieve this, by creating a link between the structure of the software input-space and the structure of the code.

关键词： statistical testing code coverage operational profile

来源：评论

学校读者我要写书评

暂无评论

An Extensive Investigation of Condition Reachability using CBMC: Study on Negative Results 20

An Extensive Investigation of Condition Reachability using C...

引用

20th IEEE India Council International Conference, INDICON 2023

作者： Godboley, Sangharatna National Institute of Technology Warangal NITMiner Technologies Department of Computer Science and Engineering Telangana Warangal India

ISBN: (纸本)9798350305593

Software testing has two important modes of analyzing software. The first one is the detection of bugs present in the program and the second is the code coverage. Structural code coverage a.k.a., White-box code coverage contains several criteria such as Statement coverage (SC), Decision coverage (DC), Condition coverage (CC), Condition/Decision coverage (C/DC), Modified Condition / Decision coverage (MC/DC), and Multiple Condition coverage (MCC). All these coverage criteria are important for testing software of different levels. For example, MC/DC is a mandatory coverage criterion for Level-A safety-critical applications as per RTCA/DO-178B(C). For other applications such as Levels B, C, D, and E, Condition coverage or Decision coverage is sufficient. It is very important for any automated software verification/testing tool to produce correct code-coverage reports for these applications. In this work, we are investigating on condition coverage of C-programs using the CBMC tool. CBMC is a state-of-the-art tool for Bounded Model Checking. We have observed some issues associated with CBMC such as the evaluation of unreachable atomic conditions in a Boolean expression. Our extensive experiment shows that the 79.52% programs (909 out of 1143 C-programs) have such issues. © 2023 IEEE.

关键词： code coverage Modified Condition/Decision coverage Multiple Condition coverage Short-Circuit Evaluation

来源：评论

学校读者我要写书评

暂无评论

Measuring Test Suite Reusability Based on the Usage Frequency and coverage of Reused Test Cases

引用

JOURNAL OF ROBOTICS NETWORKING AND ARTIFICIAL LIFE 2021年第1期8卷 24-28页

作者： Saputra, Mochamad Chandra Katayama, Tetsuro Kita, Yoshihiro Yamaba, Hisaaki Aburada, Kentaro Okazaki, Naonobu Univ Miyazaki Interdisciplinary Grad Sch Agr & Engn 1-1 Gakuen Kibanadai Nishi Miyazaki 8892192 Japan Univ Nagasaki Fac Informat Syst Dept Informat Secur Siebold Campus1-1-1 Manabino Nagoya Nagasaki 8512195 Japan

Test suite reusability measurement is important to obtain the value of reusability as the degree of effectiveness of reused test suite. The measurement in this experiment considers not only the frequency of the successful test suite to examine different objects but also the code coverage as the criteria of a good test suite. The combination of the frequency and code coverage in the measurement reports the current condition of test suite reusability. The research confirms the test suite reusability measurement provides useful information to know the degree of effectiveness of reused test suite, especially in regression testing and automated testing. (C) 2021 The Authors. Published by Atlantis Press B.V.

关键词： Test suite reusability reused frequency code coverage reused test cases

来源：评论

学校读者我要写书评

暂无评论

Mutating Matters: Analyzing the Influence of Mutation Testing in Programming Courses 2024

Mutating Matters: Analyzing the Influence of Mutation Testin...

引用

1st ACM Virtual Global Computing Education Conference V. 1, SIGCSE Virtual 2024

作者： Mansur, Rifat Sabbir Shaffer, Clifford A. Edwards, Stephen H. Virginia Tech BlacksburgVA United States

ISBN: (纸本)9798400705984

Mutation testing is used to gauge the quality of software test suites by introducing small faults, called "mutations'', into code to assess if a test suite can detect them. Although it has been applied extensively in the software industry, mutation testing's use in programming courses faces both computational and pedagogical barriers. This study examines the impact of mutation testing on student performance in a post-CS2 Data Structures and Algorithms course with 3-4 week life-cycle programming projects. We collected a semester of data with projects using only code coverage (control group) and another semester that used mutation testing (experimental group). We investigated three aspects of mutation testing impact: the quality of student-written test suites, the correctness and complexity of students' solution code, and the degree of incremental test writing. Our findings suggest that students using mutation testing, as a group, demonstrated higher quality test suites and wrote better solution code compared to students using traditional code coverage methods. Students using mutation testing were more likely to exhibit incremental testing practices. © 2024 Owner/Author.

关键词： code coverage

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：