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

16th International Symposium on Software Reliability Engineering

作者： Li, J. Jenny Avaya Labs Res Basking Ridge NJ 07920 USA

ISBN: (纸本)0769524826

code Prioritization for testing promises to achieve the maximum testing coverage with the least cost. This paper presents an innovative method to provide hints on which part of code should be tested first to achieve best code coverage. This method claims two major contributions. First it takes into account a "global view" of the execution of a program being tested, by considering the impact of calling relationship among method/functions of complex software. It then relaxes the "guaranteed" condition of traditional dominator analysis to be "at least" relationship among dominating nodes, which makes dominator calculation much simpler without losing its accuracy. It also then expands this modified dominator analysis to include global impact of code coverage, i.e. the coverage of the entire software other than just the current function. We implemented two versions of code prioritization methods, one based on original dominator analysis and the other on relaxed dominator analysis with global view. Our comparison study shows that the latter is consistently better in terms of identifying code for testing to increase code coverage.

关键词： testing code coverage dominator analysis coverage priority

来源：评论

学校读者我要写书评

暂无评论

Certified development tools implementation in Objective Caml

Certified development tools implementation in Objective Caml

引用

10th International Symposium on Practical Aspects of Declarative Languages

作者： Pagano, Bruno Andrieu, Olivier Canou, Benjamin Chailloux, Emmanuel Colaco, Jean-Louis Moniot, Thomas Wang, Philippe Esterel Technol 8 Rue Blaise Pascal F-78890 Elancourt France ENS Cachan F-35170 Bruz France Univ Pierre & Marie Curie Paris 6 Lab Informat Paris 6 LIP6 - UMR 7606 F-75016 Paris France Siemens VDO Automot F-31036 Toulouse France

ISBN: (纸本)9783540774419

This paper presents our feedback from the study on the use of Objective Caml for safety-critical software development tools implementation. As a result, Objective Caml is now used for the new Scade (TM) certified embedded-code generator. The requirements for tools implementation are less strict than those for the embedded code itself. However, they are still quite demanding and linked to imperative languages properties, which are usually used for this kind of development. The use of Objective Caml is outstanding: firstly for its high level features (functional language of higher order, parametric polymorphism, pattern matching), secondly for its low level mechanisms needed by the runtime system (CC, exceptions). In order to develop the tools to check the safety-critical software development rules, it is necessary to reinterpret them for this language, and then to adapt Objective Caml so that it satisfies them. Thus, we propose a language restriction and a simplified runtime library in order that we can define and measure the coverage of a program written in Objective Caml according to the MC/DC criteria. Then we can look forward to seeing this kind of languages spread out the industrial environment, while raising the abstraction level in the conception and implementation of tools for certified programs production.

关键词： code coverage tests measurement functional programming objective caml civil avionics

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Early formal verification of conditional coverage points to identify intrinsically hard-to-verify logic

Early formal verification of conditional coverage points to ...

引用

45th ACM/IEEE Design Automation Conference

作者： Ho, C. Richard Theobald, Michael Deneroff, Martin M. Dror, Ron O. Gagliardo, Joseph Shaw, David E. DE Shaw Res New York NY USA

ISBN: (纸本)9781605581156

Design verification of complex digital circuits typically starts only after the register-transfer level (RTL) description is complete. This frequently makes verification more difficult than necessary because logic that is intrinsically hard to verify, such as memories, counters and deep first-in, first-out (FIFO) structures, becomes immutable in the design. This paper proposes a new approach that exploits formal verification of conditional coverage points with the goal of early identification of hard-to-verify logic. We use the difficulty of formal verification problems as an early estimator of the verification complexity of a design. While traditional verification methods consider conditional coverage only in the design verification phase, we describe an approach that uses conditional coverage at a much earlier stage-the design phase, during which changes to the RTL code are still possible. The method is illustrated using real examples from the verification of an ASIC designed for a specialized supercomputer.

关键词： formal verification conditional coverage code coverage coverage hole verifiability inconclusive results

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Data-flow testing of declarative programs

引用

ACM SIGPLAN NOTICES 2008年第9期43卷 201-212页

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

关键词： measurement code coverage data flow curry

来源：评论

学校读者我要写书评

暂无评论

Early Formal Verification of Conditional coverage Points to Identify Intrinsically Hard-to-Verify Logic 08

Early Formal Verification of Conditional Coverage Points to ...

引用

45th ACM/IEEE Design Automation Conference, vol.1

作者： C. Richard Ho Michael Theobald Martin M. Deneroff Ron O. Dror Joseph Gagliardo David E. Shaw D. E. Shaw Research New York NY

ISBN: (纸本)9781605581156

Design verification of complex digital circuits typically starts only after the register-transfer level (RTL) description is complete. This frequently makes verification more difficult than necessary because logic that is intrinsically hard to verify, such as memories, counters and deep first-in, first-out (FIFO) structures, becomes immutable in the design. This paper proposes a new approach that exploits formal verification of conditional coverage points with the goal of early identification of hard-to-verify logic. We use the difficulty of formal verification problems as an early estimator of the verification complexity of a design. While traditional verification methods consider conditional coverage only in the design verification phase, we describe an approach that uses conditional coverage at a much earlier stage - the design phase, during which changes to the RTL code are still possible. The method is illustrated using real examples from the verification of an ASIC designed for a specialized supercomputer.

关键词： Design Verification Formal verification Conditional coverage code coverage coverage hole Verifiability Inconclusive results

来源：评论

学校读者我要写书评

暂无评论

Haskell Program coverage

Haskell Program Coverage

引用

11th ACM SIGPLAN Haskell Workshop

作者： Gill, Andy Runciman, Colin Galois Inc. University of York

We describe the design, implementation and use of HPC, a tool-kit to record and display Haskell Program coverage. HPC includes tools that instrument Haskell programs to record program coverage, run instrumented progra... 详细信息

ISBN: (纸本)9781595936745

关键词： Haskell Software Engineering code coverage

来源：评论

学校读者我要写书评

暂无评论

Efficient use of code coverage in large-scale software development 03

Efficient use of code coverage in large-scale software devel...

引用

Proceedings of the 2003 conference of the Centre for Advanced Studies on Collaborative research

作者： Yong Woo Kim IBM Canada

Due to the increasing growth in complexity and size of software being developed, and the nature of large-scale software development, performing code coverage analysis is not an easy task despite the benefits to quality improvement. Our goal is to find an efficient way to perform code coverage analysis for large industrial software systems using the results from defect distribution of previous releases and the release under current development. Empirical verification of several software metrics in large-scale software development were investigated to reduce efforts required for coverage analysis and to identify error-prone modules. The metrics examined were: • coarse coverage analysis versus detailed coverage analysis • block versus decision coverage • Pareto-like defect distribution by releases, and components • cyclomatic complexity versus defect and module size The results suggested that detailed coverage analysis of all modules is not desirable and it is not cost effective. Therefore, we present a systematic approach of coverage analysis based on the findings. It will minimize the amount of effort needed for coverage analysis while maximizing the possibility of catching bugs.

关键词： cyclomatic complexity Pareto-like defect distribution large-scale software development software quality assurance code coverage

来源：评论

学校读者我要写书评

暂无评论

An integrated solution for testing and analyzing Java applications in an industrial setting

An integrated solution for testing and analyzing Java applic...

引用

12th Asia-Pacific Software Engineering Conference

作者： Wong, WE Li, J Univ Texas Dept Comp Sci Richardson TX 75083 USA

ISBN: (纸本)0769524656

Testing a large-scale, real-life commercial software application is a very challenging task due to the constant changes in the software, the involvement of multiple programmers and testers, and a large amount of code. Integrating testing with development can help find program bugs at an earlier stage and hence reduce the overall cost. In this paper, we report our experience on how to apply eXVantage(1) (a tool suite for code coverage testing, debugging, performance profiling, etc.) to a large, complex Java application at the implementation and unit testing phases in Avaya. Our results suggest that programmers and testers can benefit from using eXVantage to monitor the testing process, gain confidence on the quality of their software, detect bugs which are otherwise difficult to reveal, and identify performance bottlenecks in terms of which part of code is most frequently executed.

关键词： code coverage program debugging performance profiling execution slicing eXVantage JBT

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：