教学课程资源库 更多>>

关键词： JAVA语言-程序设计  

关键词： 主题词：JAVA语言-程序设计-高等学校：技术学校-教材  

ISBN: (纸本)7115152977

关键词： Static analysis   bytecode   mobiles  

摘要： Today, most middle-end mobile phones embed a Java runtime environment that can execute programs downloaded on the network by the user. This new functionality creates great opportunities for new services but also brings the full range of risks that existed on the personal computer to the phone. Telecommunication operators are the last warrant of the quality of the software downloaded by their customers and might sign the applications they trust. Unfortunately they have little evidence to check the quality of the contents of the jammed bytecode they receive from developers. The traditional evaluation process relies mostly on the manual testing of the software on actual terminals. But this is not adapted for security properties. MATOS (Midlet Analysis TOol Suite) is a static analysis tool that checks the possible values passed to some identified methods directly on the compiled application. It is used by the test teams of the mobile operator Orange to check what kind of connections are opened by MIDP applications. We will present the security requirements we want to check, how MATOS helps to ensure them and how the necessary analysis are performed using a combination of (rather) well-known analysis techniques.

关键词： JAVA程序   摩托罗拉   删除   清除方法   卸载方法   操作方法   起动器   ROM   点缺陷   手机  

摘要： 有很多人反映JAVA程序不能在起动器的“移除”里面删除，下面提供一个非常规的卸载方法以节省C盘空间。众所周知，使用925最直接的清除方法是“主清除”，但是这样手机里的其它东西也没了，刷机与此类似，而且需要刷机程序和ROM。在此我介绍一种方法，它不会损坏手机里其它的东西，但操作方法有点麻烦，也有一点缺陷。

关键词： Java   Web应用程序   部署   Websphere   Weblogic   Server   配置   BEA公司   Jboss   IBM公司   AppS   运行环境   应用软件   组件   图片  

摘要： 现在开发Java Web应用，建立和部署Java Web应用是一件很关键的工作．App Server是运行Java企业组件的平台，构成了应用软件的主要运行环境．当前主流的AppS erver是BEA公司的Weblogic Server和IBM公司的Websphere以及免费的Jboss，这里主要通过图片和实例来介绍如何使用weblogic8．X部署Java Web应用．

关键词： 练习题   运行结果   Java   编写程序   JAVA  

关键词： Java程序   程序制作   实用技巧   传输   三星   数据线   MIDP2.0   视频   专用  

摘要： 对JAVA MIDP2．0有良好支持的D508是广大时尚人士的新宠，它本身有大概3．8MB的空间用于存放Java程序，而目前的Java软件和游戏以及电子书种类繁多，我们当然要充分利用D508的Java功能，这里笔者就给大家介绍传输Java程序到D508的方法。

关键词： Java   concurrency   program assurance   static analysis   program transformation   refactoring   program evolution  

摘要： Evolving and refactoring concurrent Java software can be error-prone, resulting in race conditions and other concurrency difficulties. We suggest that there are two principal causes: concurrency design intent is often not explicit in code and, additionally, consistency of intent and code cannot easily be established through either testing or inspection. We explore several aspects of this issue in this paper. First, we describe a tool-assisted approach to modeling and assurance for concurrent programs. Second, we give an account of recent case study experience on larger-scale production Java systems. Third, we suggest an approach to scalable co-evolution of code and models that is designed to support working programmers without special training or incentives. Fourth, we propose some concurrency-related refactorings that, with suitable analysis and tool support, can potentially offer assurances of soundness. (c) 2005 Elsevier B.V. All rights reserved.

摘要： No abstract available