云端 让软件下载安装更省心

用电脑就是用软件,在电脑使用过程中,经常要下载、安装各种软件。对于初学者来说,到网上下载软件很容易掉入挂马网站陷阱。如何才能自动安装软件,并且在系统重装后软件还能继续使用呢？利用云端这款小工具就能解决这些问题。     

面向移动机器人应用的跨平台自适应软件框架

摘要：自适应软件在移动机器人上具有广泛的应用前景,然而要在具有不同软硬件平台的移动机器人上开发自适应软件是一件非常困难的事情．．为了解决这个问题,提出并实现了一个面向移动机器人应用的跨平台自适应软件框架该框架屏蔽了运行平台的软硬件差异性,并使用规则文件将自适应逻辑分离出来,从而降低了自适应软件开发的难度。为了便于编写及检查规则文件,还实现了一个可视化的规则文件编辑器,用于自动生成模型图,并检查规则中存在的语法及逻辑错误i,最后,通过实验测试了框架的使用情况,并对框架的应用效果进行了评估、     

一种软件部署冲突检测及其自动调整算法

主要研究能够根据不同环境自动调整软件部署过程的软件智能部署问题.首先,介绍并分析现有软件部署工具,提出软件智能部署模型、软件智能部署的规范化描述.其次,介绍并分析软件部署过程中冲突检测以及自动调整方法.在此基础上,提出一种能够根据环境差异,自动调整软件部署过程的软件智能部署算法.最后对比并分析软件智能部署实际应用效果.     

一种软件智能部署方法的研究

研究了能够根据不同环境自动调整软件部署过程的软件智能部署问题。介绍并分析现有软件的部署工具,提出了软件智能部署的概念、整体框架和部署工作流程。介绍并分析了软件规范化描述语言和客户端信息的模型描述方法。在此基础之上,提出了一种能够根据环境差异,自动调整软件部署过程的软件智能部署算法。最后,对比并分析了软件智能部署实际应用效果。     

软件管理工具如何当好“管家婆”

使用过360安全卫士或者金山清理专家的人都会对"软件管理器"留下深刻的印象,最近腾讯也推出了自己的软件管理器。这些软件能自动搜索电脑中已经安装的软件,并检测它们是否要更新,并且可以一键安装需要的软件,十分方便,那它们是如何工作的呢?     

自适应软件系统构造——自动避障三轮小车的案例研究

自适应软件需要能够根据环境的变化在运行时动态调整自己的行为以实现既定任务。为了解决这一类软件在开发过程中的一些挑战问题,如自适应逻辑修改困难、代码紧耦合等,设计并实现了一种基于规则的自适应软件系统应用框架(rule-based application framework for self-adaptive software systems,RAF)。RAF通过面向组件的方式解决了紧耦合问题,使用规则文件管理自适应逻辑,并将其与软件的其他部分分割开来。使用RAF开发软件可以灵活地制定与修改自适应逻辑,方便软件的开发、调试、升级等。通过一个案例展示了RAF在解决上述问题方面的能力。     

系统崩溃不用怕 联想远程软件服务系统救援体验

联想远程软件服务可以帮助任何品牌的电脑进行系统救援、优化提速、软件支持以及应用指导。恰好笔者身边朋友的笔记本出现了开机蓝屏然后自动重启、周而复始无法启动的问题。下面我们就以该产品为例,看看联想远程软件服务是如何实现"系统救援"功能的吧。     

面向非软件专业人员的一种软件系统集成方案

数值仿真类软件是科学研究和工程设计中的一类常用软件。开发该类软件需解决非软件专业人员在软件开发能力上的局限性,以保证软件开发质量与进度。以火箭发动机数值仿真软件开发为背景,提出了适用于此类软件开发的一种软件系统集成方案。该方案在传统的软件分层模型的基础上,使用代码自动生成技术,实现了模块封装接口的自动代码生成和参数修改用户界面自动代码生成。该方案所使用的代码自动生成技术还可用于用户自定义仿真模块的开发,保证了集成系统开放性。由于使用了代码自动生成技术,非软件专业人员的开发工作集中于其所熟悉的专业领域,加快了开发进度,在一定程度上减少了劣质代码的产生。研究表明,该方案可以有效解决非软件专业人员在软件开发中作用难以发挥的问题。研究工作还可为行业软件等其它类似软件的开发提供参考。     

我的邮件真听话

Outlook Express、Foxmail等邮件客户端软件都有邮件规则定义功能，利用这些规则，我们可以对邮件进行各种各样的操作，譬如将邮件按照你的安排归类到合适的分类、自动删除垃圾邮件、对特定的人开启自动回复、不收取大容量邮件等，可谓只有想不到，没有做不到。     

基于规则的联锁软件测试集自动生成

通过对联锁软件需求规格的分级划分，提出了一种联锁软件分级测试策略。在此基础上，给出了基于规则的联锁软件测试集自动生成系统框架，这种覆盖全部控制对象的测试集能够用于对被测软件联锁功能的完备测试以及安全防护功能的充分测试。     

模型驱动的自动化测试架构

如何在确保软件质量的前提下有效缩短上市周期的问题日益显得重要。在实际工作中基于MDT的思路研究出了一种基于模型驱动的自动化测试架构。该架构通过算法直接将UML系统设计模型转换成U2TP测试设计模型,然后由测试设计模型根据测试策略和测试工程方法自动生成测试用例,实现了测试资源重利用和测试活动的前移从而有效缩短了测试周期。     

基于部件设计的运行时验证

研究软部件设计中的可靠性问题,对这一问题主要诉是,当一个已存软部件的正确性无法得到确认时,在具具体实现不可知的情况下,如何提高它的运行时可靠性？为解决这一问题,该文首先构造一个能够用于软部件动态语义检测的抽象模型;然后通过在设计中系统地引入一些运行时技术以保证基于部件软件的可靠性。这些运行时技术包括：（１）包裹部件。作为额外的一层设计,根据软部件的接口说明自动生成,用于检测运行时错误;（２）虚拟部     

Support for managing design-time decisions

The desirability of maintaining multiple stakeholders' interests during the software design process argues for leaving choices undecided as long as possible. Yet, any form of underspecification, either missing information or undecided choices, must be resolved before automated analysis tools can be used. This paper demonstrates how constraint satisfaction problem solution techniques (CSTs) can be used to automatically reduce the space of choices for ambiguities by incorporating the local effects of constraints, ultimately with more global consequences. As constraints typical of those encountered during the software design process, we use UML consistency and well-formedness rules. It is somewhat surprising that CSTs are suitable for the software modeling domain since the constraints may relate many ambiguities during their evaluation, encountering a well-known problem with CSTs called the k-consistency problem. This paper demonstrates that our CST-based approach is computationally scalable and effective-as evidenced by empirical experiments based on dozens of industrial models.     

DIDS: rapidly prototyping configuration design systems

The domain independent design system (DIDS) provides a set of tools for rapidly constructing new configuration design systems from a library of reusable software elements called mechanisms. A DIDS user begins by creating a model of the problem domain and the task to be automated. This includes describing a library of parts from which new artifacts could be configured, optimization and preference criteria, and functionality constraints. DIDS analyzes this input and automatically builds an operational prototype system by selecting and combining mechanisms. DIDS' ability to automate this process is derived from its model of configuration design, which enables reusable mechanisms to be identified and automatically selected based on a problem's characteristics. The use of DIDS is illustrated by showing how DIDS solved an elevator-configuration problem.     

计算机仿真中并行处理技术的研究

用多机系统进行并行仿真是解决大规模连续系统实时仿真问题的有效途径。多机并行仿真中关键要解决的问题，是如何有效地将一个仿真任务分配到多机系统上并发执行，并获得高的加速比。本文介绍了作者自行研制的并行仿真软件支撑环境ＰＡＲＳＩＭ，它可将一个传统单机上串行执行的仿真程序自动转换成在同构型多机系统上高效并发执行的并行仿真程序，并就并行性识别，多任务自动划分等问题展开了讨论，给出了相应的算法和应用实例。     

微安级电流数字源表的自动校准系统

目前,实验室注1校准数字源表的主要标准器为5700A多功能校准源以及8508A数字多用表,由于其电流功能的最小量程为200μA,导致微安级电流的自动校准还无法实现。针对这个难题,通过Met/Cal软件开发平台,利用现有硬件基础,采用＂间接测量法＂攻克了这一难关。文章以校准Keithley2400数字源表为例,详细介绍了解决方案的实现。最后通过评定测试数据的不确定度证明了方案的可行性。     

Search based software testing of object-oriented containers

Automatic software testing tools are still far from ideal for real world object-oriented (OO) software. The use of nature inspired search algorithms for this problem has been investigated recently. Testing complex data structures (e.g., containers) is very challenging since testing software with simple states is already hard. Because containers are used in almost every type of software, their reliability is of utmost importance. Hence, this paper focuses on the difficulties of testing container classes with nature inspired search algorithms. We will first describe how input data can be automatically generated for testing Java containers. Input space reductions and a novel testability transformation are presented to aid the search algorithms. Different search algorithms are then considered and studied in order to understand when and why a search algorithm is effective for a testing problem. In our experiments, these nature inspired search algorithms seem to give better results than the traditional techniques described in literature. Besides, the problem of minimising the length of the test sequences is also addressed. Finally, some open research questions are given.     

针对应用系统ER模型的MDA模型转换方法

MDA是由OMG提出的一种以模型为主要开发产品的软件开发方法。开发人员首先建立与具体技术平台的实现细节无关的高抽象程度的平台无关模型（Platform Independent Model,PIM）。然后,开发人员可以通过模型转换,将高层次的模型逐渐转换成为包含了实现细节的平台相关模型（Platform Specific Model,PSM）,直到最终的代码。模型转换的有效性决定了MDA开发方法的效率。模型转换的难点不在于模型的语法映射,而是保证转换过程中模型语义的一致。本文采用E1）C）C作为平台无关模型的描述方法。EDOC是OMG制定的、和具体应用平台无关的、适用于企业分布式系统建模的标准。本文针对EDOC中的实体关系模型建立了从这些模型到J2EE平台模型以及目标代码的模型转换规则。我们还在转换规则中引入了多个设计模式。软件开发人员可以根据对软件的非功能性需求,应用这些规则来选择不同的设计模式,将平台无关的ER模型转换成为J2EE平台上的模型。     

Complexity of synthesis of composite service with correctness guarantee

How to compose existing web services automatically and to guarantee the correctness of the design (e.g. temporal constraints specified by temporal logic LTL, CTL or CTL*) is an important and challenging problem in web services. Most existing approaches use the process in conventional software development of design, verification, analysis and correction to guarantee the correctness of composite services, which makes the composition process both complex and time-consuming. In this paper, we focus on the synthesis problem of composite service; that is, for a given set of services and correctness constraint specified by CTL or CTL* formula, a composite service is automatically constructed which guarantees that the correctness is ensured. We prove that the synthesis problem for CTL and CTL* are complete for EXPTIME and 2EXPTIME, respectively. Moreover, for the case of synthesis failure, we discuss the problem of how to disable outputs of environment (i.e. users or services) reasonably to make synthesis successful, which are also proved complete for EXPTIME and 2EXPTIME for CTL and CTL*, respectively.     

NTFS系统下“小文件”取证软件的设计与实现

文章介绍了通过MFT文件记录恢复＂小文件＂的方法,介绍了＂小文件＂恢复需要解决的乱码问题和多次删除数据的恢复问题,介绍了＂小文件＂取证软件的总体执行流程图和测试情况。该软件可以自动扫描NTFS系统的$MFT元文件,从$MFT元文件中依次找出每个包含＂小文件＂数据的MFT记录,如果某个MFT记录包含可以恢复的数据,则将其恢复出来。