教学课程资源库 更多>>

关键词： Java program testing   Java component testing   Java bytecode   structural testing   control-flow testing   data-flow testing  

摘要： Although software testing is a crucial activity in the software development process, only recently have more sound and consistent testing tools become available for testing Java programs and their components. These tools support mostly functional and control-flow based structural criteria. In this paper we explore control-flow and data-flow based coverage criteria to support the testing of Java programs and/or components. We also describe a testing tool, named JaBUTi, which can be used by both the component developer and the component user to test Java-based components and/or systems. To achieve this goal, the tool works at the bytecode level such that no source code is required during the testing activity. We illustrate these ideas and concepts with an example extracted from the literature. (c) 2004 Elsevier B.V. All rights reserved.

关键词： 数字签名   Java   Applet小程序   认证  

摘要： 数字签名正成为网络安全传输中的一种重要技术,介绍了如何使用JDK提供的签名工具、密钥管理工具和策略编辑器等工具对Java Applet小程序实现数字签名和认证的方法。该方法可以突破浏览器在安全性方面的某些限制,是一种实用、简单和可靠的方法。

关键词： 类型保持编译   类型调度   标签机制  

摘要： 在基于语言考虑代码安全性的工作中,往往需要将高级语言程序翻译成类型化低级语言的程序进行类型检查.许多高级语言具有类型调度结构,在向低级语言的编译过程中需要用标签机制来实现.针对具有多继承接口的 Java 程序包含的一种特殊的类型调度结构,提出了一种新的标签类型.包含这种标签类型的低级语言能够有效地实现 Java 程序中的接口调用.这种对接口调用的编译方法被用在一个以类型化低级语言为验证语言的 Java 字节码即时编译器中.

关键词： Java   数据通信   JNI  

摘要： 介绍了一种在Java程序中调用本地程序并实现调用程序和被调用程序间数据传送的方法。运行结果表明该方法是可行的。在一些应用场合可以代替JNI(Java Native Interface),免去了用户用JNI编程调用本地程序的麻烦。

摘要： Reviews the book 'Sun Certified Programmer and Developer for Java X Study Guide (Exam 310-XXX &: 310-XXX),' by Katherine Sierra and Bert Bates.

关键词： Java应用程序   嵌入式系统软件   程序设计   开发   综述   知识  

摘要： 主要介绍了嵌入式系统,嵌入式系统软件开发的一般知识以及Java在嵌入式系统的程序设计的介绍。

关键词： 软件度量   度量工具   Java语言  

摘要： 介绍了面向对象度量技术 ,给出针对Java语言的McCabe ,Halstead和WMC复杂度的定义 ,提出了一种新的面向Java语言的度量工具的实现方法 ,并且通过实例分析说明利用该工具度量Java程序 ,某些度量值高的模块逻辑复杂、工作量大、易错且难维护 ,从而引导测试人员重点测试这些模块 ,同时也使开发人员关注它们 ,仔细检查程序逻辑 ,进行合理优化 ,使整个程序的复杂度降低 .确凿实验数据表明 ,软件度量对改进软件质量具有很大实用价值 .本工具采用以下度量标准度量Java程序 :针对继承复杂性的DIT(DepthofInheritanceTree)和NOC(NumberOfChildren)复杂度 ;针对模块复杂性的McCabe度量法、Halstead软件科学度量和WMC(WeightedMethodsperClass)复杂度 ;针对类间耦合性、聚集性的RFC(ResponseforaClass)度量法 .每种复杂度从不同方面、不同层次度量Java程序 ,从而有效全面的评价软件质量 ,揭示可能隐藏的错误 .

关键词： Java   object-oriented   platform-independent   quantitative histopathotogy   quantitative cytology   image cytometry  

摘要： The medical industry has taken advantage of Java and Java technologies over the past few years, in large part due to the language's platform-independence and object-oriented structure. As such, Java provides powerful and effective toots for developing tissue section analysis software. The background and execution of this development are discussed in this publication. Object-oriented structure allows for the creation of "Slide", "Unit", and "Cell" objects to simulate the corresponding reat-world objects. Different functions may then be created to perform various tasks on these objects, thus facilitating the development of the software package as a whole. At the current time, substantial parts of the initially planned functionality have been implemented. Getafics 1.0((R)) is fully operational and currently supports a variety of research projects;however, there are certain features of the software that currently introduce unnecessary complexity and inefficiency. In the future, we hope to include features that obviate these problems. (C) 2004 Elsevier Ireland Ltd. All rights reserved.

关键词： Java byte code   runtime monitoring   code rewriting   Java Card  

摘要： The paper describes an experiment in which a framework for model checking Java byte code, combined with the application of runtime monitoring techniques through code rewriting, was used to guarantee correctness properties of a Java Card applet.

关键词： Java   Memory management   Run-time analysis   Real-time and embedded systems  

摘要： We present a method to analyze, monitor and control dynamic memory allocation in Java. It first consists in performing pointer and escape analysis to detect memory scopes. This information is used to automatically instrument Java programs in such a way memory is allocated and freed by a region-based memory manager. Our source code instrumentation fully exploits the result of scope analysis by dynamically mapping allocation places to the region stack at runtime via a registering mechanism. Moreover, it allows executing the same transformed program with different implementations of scoped-memory managers and perform different run-time analysis without changing the transformed code. In particular, we consider a class of managers that handle variable-size regions composed of fixed-size memory blocks for which we provide analytical models for the intra-and inter-region fragmentation. These models can be used to observe and control fragmentation at run-time with negligible overhead. We describe a prototype tool that implements our approach.