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

Optimizing array reference checking in java programs

IBM SYSTEMS JOURNAL 1998年第3期37卷 409-453页

作者： Midkiff, SP Moreira, JE Snir, M IBM Corp Div Res TJ Watson Res Ctr Scalable Parallel Syst DeptRes Staff Yorktown Heights NY 10598 USA Univ Illinois Urbana IL 61801 USA

The java(TM) language specification requires that all array references be checked for validity. If a reference is invalid, an exception must be thrown. Furthermore, the environment at the time of the exception must be preserved and made available to whatever code handles the exception. Performing the checks at run time incurs a large penalty in execution time. In this paper we describe a collection of transformations that can dramatically reduce this overhead in the common case (when the access is valid) while preserving the program state at the time of an exception. The transformations allow trade-offs to be made in the efficiency and size of the resulting code, and are fully compliant with the java language semantics. Preliminary evaluation of the effectiveness of these transformations shows that performance improvements of 10 times and more can be achieved for array-intensive java programs.

关键词： .Figure shows array references java language java programs

来源：评论

学校读者我要写书评

暂无评论

Towards Verification and Testing of java programs 08

Towards Verification and Testing of Java Programs

引用

23rd Annual ACM Symposium on Applied Computing

作者： de Melo, Ana C. V. Nunes, Paulo R. F. Xavier, Kleber S. Univ Sao Paulo Dept Comp Sci Sao Paulo Brazil

ISBN: (纸本)9781595937537

Testing object-oriented programs is still a hard task, despite many studies on criteria to better cover the test space. Test criteria establish requirements one want to achieve in testing programs to help in finding software defects. On the other hand, program verification guarantees that a program preserves its specification but it is not very straightforwardly applicable in many cases. Both program testing and verification axe expensive tasks and could be used to complement each other. This paper presents a study on using formal verification to reduce the space of program testing. As properties are checked using program model checkers, programs are traced. Information from these traces can be used to realize how much testing criteria have been satisfied, reducing the further program test space. The present work is a study on how much the test space of concurrent java programs can be reduced if DeadlockFreedom is checked prior to testing.

关键词： Program verification java programs Object-oriented testing

来源：评论

学校读者我要写书评

暂无评论

Platform-Specific Restrictions on Concurrency in Model Checking of java programs

Platform-Specific Restrictions on Concurrency in Model Check...

引用

14th International Workshop on Formal Methods for Industrial Critical Systems

作者： Parizek, Pavel Kalibera, Tomas Charles Univ Prague Fac Math & Phys Dept Software Engn Distributed Syst Res Grp Prague 11800 1 Czech Republic

ISBN: (纸本)9783642045691

The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software model checkers adhere to full semantics of programming languages, which are based on very permissive models of concurrency. Current runtime platforms for programs, however, restrict concurrency in various ways - it is visible especially in the case of critical embedded systems, which typically involve only a single processor and use a threading model based on limited preemption. In this paper, we present a technique for addressing state explosion in model checking of java programs for embedded systems, which exploits restrictions on concurrency common to current java platforms for such systems. We have implemented the technique in java PathFinder and performed a number of experiments on Purdue Collision Detector, which is a non-trivial multi-threaded java program. Results of experiments show that use of the restrictions on concurrency in model checking with java Path Finder reduces the state space size by an order of magnitude and also reduces the time needed to discover errors in java programs.

关键词： model checking java programs embedded systems state explosion restrictions of concurrency

来源：评论

学校读者我要写书评

暂无评论

Light-weight resource leak testing based on finalisers

引用

IET SOFTWARE 2013年第6期7卷 308-316页

作者： Dai, Ziying Mao, Xiaoguang Natl Univ Def Technol Coll Comp Changsha 410073 Hunan Peoples R China

Despite garbage collectors, programmers must manually manage many non-memory finite system resources' such as file descriptors and database connections. Unreleased resources result in resource leaks' that degrade application performance and can even result in system crashes. It is hard to test resource leaks because of their no immediate symptoms in the short run. There are analysis techniques to detect resource leaks statically or dynamically. However, all of them require the formal specification as input, which seriously decrease their practicability for common software developers. In this study, the authors propose an easy-to-use yet effective resource leak testing approach for java programs based on existing finalisers of java Application Programming Interface (API) classes. They instrument resource classes to check that the cleanup method of a resource object is called before its finaliser's execution. Otherwise, this resource object is leaked. To use this approach, programmers just add a few lines of code into their programs and no formal specifications are required. They carry out experiments on benchmarks in the literature to evaluate the incidence of object finalisation and performance cost of finalisers. Experimental results show that the authors' approach can test leaks of most system resources with high effectiveness and low overhead.

关键词： application program interfaces java program testing light-weight resource leak testing finalisers application program interfaces performance cost object finalisation resource object cleanup method resource classes java API classes java programs

来源：评论

学校读者我要写书评

暂无评论

Creation of a retrospective searchable neuropathologic database from print archives at Toronto's University Health Network

引用

LABORATORY INVESTIGATION 2008年第1期88卷 89-93页

作者： Ehsani, Sepehr Kiehl, Tim-Rasmus Bernstein, Andrea Gentili, Fred Asa, Sylvia L. Croul, Sidney E. Univ Toronto Dept Lab Med & Pathobiol Toronto ON Canada Univ Hlth Network Dept Pathol Toronto ON Canada Dalhousie Univ Dept Philosophy Halifax NS Canada Univ Hlth Network Div Neurosurg Dept Surg Toronto ON Canada

University Health Network (UHN) Pathology, in its capacity of providing neuro-oncologic care, now utilizes a laboratory information system ( LIS), which was instituted in September 2001. For the 75 years preceding the LIS, more than 50 000 pathology reports exist in paper format. High-throughput automated scanning of the paper archives was employed to add the most recent 30 years of paper records (30 000 neuropathology specimens) to the LIS. The searchable portable document format (PDF) files generated from the scans were filtered through a multi-tiered process driven by java computer programs that selected relevant patient and diagnostic information. A second series of programs queried the neuropathologist-assigned diagnoses and successfully converted these to the standardized World Health Organization (WHO) format. This was achieved with a master list of key site and diagnostic terms, and prioritization rules that were determined on a trial and error basis. Categorization, verification, and consolidation were completed within 3 months and on a C$10 000 budget.

关键词： automated scanning database java programs laboratory information system neuropathology print archives

来源：评论

学校读者我要写书评

暂无评论

A Rule-based Approach for Animating java Algorithms 20

A Rule-based Approach for Animating Java Algorithms

引用

20th International Conference Information Visualisation (IV)

作者： Sharaf, Nada Abdennadher, Slim Fruehwirth, Thom German Univ Cairo Dept Comp Sci & Engn Cairo Egypt Univ Ulm Inst Software Engn & Compiler Construct Ulm Germany

ISBN: (纸本)9781467389426

Over the past years, visualization of programs has been widely applied. Algorithm animation was proven to aid in teaching and learning. It provides a convenient medium for beginners to a programming language by giving them the ability to visually discover how their programs are running. It also provides experts of a language with a means to have a visual trace utility. Lately, a new approach for adding visualization features into Constraint Handling Rules (CHR) programs was proposed. The new methodology was a dynamic one able to animate different types of algorithms. The work in this paper aims at introducing a revised extension that is able to embed visualization features into java programs. With the new extension, java algorithms could be animated without the need of doing any modifications to the code. In addition, the provided technique is still a general one able to animate different kinds of algorithms.

关键词： java programs Visual Language Constraint Handling Rules Algorithm Animation

来源：评论

学校读者我要写书评

暂无评论

JFORTES: java FORmal unit TESt generation 6

JFORTES: Java FORmal unit TESt generation

引用

6th Brazilian Symposium on Computing Systems Engineering (SBESC)

作者： Bentes, Larissa Rocha, Herbert Valentin, Eduardo Barreto, Raimundo Univ Fed Amazonas Inst Comp Manaus Amazonas Brazil Univ Fed Roraima Dept Comp Sci Boa Vista Brazil

ISBN: (纸本)9781509026531

The use of computer-based systems has increased significantly over the last years in several domains, mainly when we take into account the applications running on mobile platforms that have exploded in just a few short years, so that software verification and testing now play an important role in ensuring the overall product quality. In this paper, we describe the preliminary results of a work that presents a method to integrate formal verification techniques adopting ESC/java2 and JCute tools with unit testing by TestNG framework to verify java programs. This method aims to extract the safety properties generated by ESC/java2 to automatically generate test cases using the rich set of assertions provided by the TestNG framework and JCute to validate those test cases. It is worth noting that is widely recognized that there is a growing need for automated testing techniques aimed at mobile applications, in platforms, such as: Android or java Platform, Micro Edition (java ME). Additionally, a critical challenge is the systematic generation of test cases. We show preliminary results of our proposed method over publicly available benchmarks, and compare the results to recognized tools, e.g., CBMC and javaPathFinder. Experimental results show that our proposed method detects 86.04% of correct results (i.e., if a property satisfy its specification or is violated), while CBMC has found 79.06%, and JPF has found 93, 02%.

关键词： Static Analysis Model Checker Unit Testing java programs Android Annotations

来源：评论

学校读者我要写书评

暂无评论

***: A Large-scale, Diverse Dataset of Real-world java Bugs 15

***: A Large-scale, Diverse Dataset of Real-world Java Bugs

引用

ACM/IEEE 15th International Conference on Mining Software Repositories (MSR)

作者： Saha, Ripon K. Lyu, Yingjun Lam, Wing Yoshida, Hiroaki Prasad, Mukul R. Fujitsu Labs Amer Inc Software Qual & Secur Lab Sunnyvale CA 94085 USA Univ Southern Calif Dept Comp Sci Los Angeles CA 90089 USA Univ Illinois Dept Comp Sci Champaign IL USA

ISBN: (纸本)9781450357166

We present Bugs. jar, a large-scale dataset for research in automated debugging, patching, and testing of java programs. Bugs. jar is comprised of 1,158 bugs and patches, drawn from 8 large, popular open-source java projects, spanning 8 diverse and prominent application categories. It is an order of magnitude larger than Defects4J, the only other dataset in its class. We discuss the methodology used for constructing Bugs. jar, the representation of the dataset, several use-cases, and an illustration of three of the use-cases through the application of 3 specific tools on Bugs. jar, namely our own tool, Elixir, and two third-party tools, Ekstazi and JaCoCo.

关键词： Reproducible Bugs Large-Scale Dataset java programs

来源：评论

学校读者我要写书评

暂无评论

java Programming 24-Hour Trainer 1

引用

2011年

作者： Fain Yakov

ISBN: (数字)9781118058176

ISBN: (纸本)9780470889640

A unique book-and-video package presented by java guru Yakov Fain As one of the most popular software languages for building Web applications, java is often the first programming language developers learn. The latest version includes numerous updates that both novice and experienced developers need to know. With this invaluable book-and-video package, java authority Yakov Fain fully covers java?s new features as well as its language extensions, classes and class methods, and the Swing Application Framework. For each lesson that he discusses in the book, there is an accompanying instructional video to reinforce your learning *** include:Introducing java Eclipse IDE Object-Oriented Programming Class MethodsBack to java Basics Packages, Interfaces, and Encapsulation Programming with Abstract Classes and InterfacesIntroducing the Graphic User InterfaceEvent Handling in UIIntroduction to java Applets Developing a Tic-Tac-Toe Applet Developing a Ping-Pong Game Error Handling Introduction to Collections Introduction to Generics Working with Streams java Serialization Network ProgrammingProcessing E-Mails with java Introduction to Multi-Threading Digging Deeper into Concurrent Execution Working with Databases Using JDBC Swing with JTable Annotations and Reflection Remote Method Invocation java EE 6 Overview Programming with Servlets javaServer Pages Developing Web Applications with JSF Introducing JMS and MOM Introducing JNDIIntroduction to Enterprise javaBeansIntroduction to the java Persistence APIWorking with RESTful Web ServicesIntroduction to Spring MVC Framework Introduction to Hibernate Framework Bringing javaFX to the Mix java Technical Interviews Note: As part of the print version of this title, video lessons are included on DVD. For e-book versions, video lessons can be accessed at *** using a link provided in the interior of the e-book.?

关键词： java introduction to java java introduction java beginner guide beginner guide to java java programming language learning java learning java programming java???s new features java updates updates to java java video java dvd java lessons java examples java exercises java instructions yakov fain java web services java developer java programs java development java programming yakov fain java web applications java for beginners java training java programming for beginners java programming language learn java programming java programming training java web programming java programming tutorial java tutorial for beginners learn java java tutorial java training classes java web development java programming books java training course web application development java sample programs java code sun java java class java language java download java programmer java application learn java online java application development j2ee training java for dummies java update java basics java help java video training java online course java code examples sun java certification java video tutorials java program download example java programs java applet learn java script tutorial java download java script using java java programming programming with java

来源：评论

学校读者我要写书评

暂无评论

Using a molecular metaphor to facilitate comprehension of 3D object diagrams

Using a molecular metaphor to facilitate comprehension of 3D...

引用

IEEE Symposium on Visual Languages and Human-Centric Computing

作者： Malloy, BA Power, JF Clemson Univ Clemson SC 29631 USA

ISBN: (纸本)0769524435

This paper presents a strategy for the visualization of dynamic object relationships in java programs. The metaphor of a chemical molecule is used to aid Comprehension, and to help in reducing the size of the object graph. Our strategy has been implemented by dynamically instrumenting java bytecode to collect trace data, which is then analyzed and visualized in 3D using VRML. Quantitative and graphical results are presented, based on an analysis of programs in the SPEC JVM98 and JOlden benchmark suites.

关键词： java data visualisation formal specification object-oriented programming program visualisation virtual reality languages 3D object diagrams JOlden java bytecode java programs SPEC JVM98 VRML chemical molecule dynamic object relationship visualization mol

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：