面向问题的软件开发协同建模工具的研究与实现

建模软件是辅助需求工程师分析的工具,在需求设计阶段必不可少。目前,很少有需求建模工具可以跨平台运行,支持在线多用户协同以及验证需求模型正确性和完整性等功能。鉴于问题框架方法在需求工程领域获得了较大关注,文中开发了一款用户体验较好、兼容多平台的计算机辅助问题框架建模软件。本研究解决了自动化校验问题图的正确性和完整性以及复杂问题图拆分等难题,实现了用户登录、云端数据库存储设计和多人协同建模和验证,从而构建了一个在线需求建模、共享和验证的平台。     

软件工程CASE工具——RSL/RSA

软件的发展经历了若干阶段,到今天已进入了软件工程时代,软件工程将系统开发分为几个阶段,其中需求定义与分析阶段的技术和方法已成为软件工程时代所要解决的主要课题之一。需求分析的关键技术是需求定义与分析的质量问题,“需求规格说明语言/需求规格说明分析系统”(RSL/RSA)是一种以规格说明为核心,以需求规格说明数据库为基础的计算机辅助需求分析系统,本文从软件工程的角度,提出了需求分析的关键技术、集 成化的软件工具包的概念和RSL/RSA系统的设计目标,同时介绍了计算机辅助需求工程工具RSI/RSA系统的功能、结     

面向过程分析的需求自动生成工具POSRAG

该文从需求工程的重要性出发,通过研究现有的需求分析方法和工具,发现其存在的问题,提出一种面向过程的需求分析技术,并在此基础上设计一套软件需求自动生成工具POSRAG(Process-OrientedSoftwareRequirementsAutomaticGenerator),其主要特征是以可视化过程建模为基础,通过正确的引导和提示,帮助用户和设计人员获取完整的用户需求,完成软件需求分析,并自动生成需求文档。文章详细描述了该系统的设计方案和实现过程。     

基于产品线需求分析的过程改进研究

以简化软件产品线中的需求分析过程、实现过程复用为目的,总结了当前软件生产线需求分析的特点以及分析过程,通过建立领域用户需求模型指导需求获取分析过程,采用基于改进原型法的需求获取方法,基于领域用户需求模型建立需求复用库,引入本体描述用户需求模型等方法,对软件产品线的需求分析过程进行了改进,并设计实现了一套图形化需求建模工具,有效地简化了需求分析过程,实现了过程复用。其研究结果应用到了D2G软件生产平台中。     

基于产品线需求分析的过程改进研究

以简化软件产品线中的需求分析过程、实现过程复用为目的,总结了当前软件生产线需求分析的特点以及分析过程,通过建立领域用户需求模型指导需求获取分析过程,采用基于改进原型法的需求获取方法,基于领域用户需求模型建立需求复用库,引入本体描述用户需求模型等方法,对软件产品线的需求分析过程进行了改进,并设计实现了一套图形化需求建模工具,有效地简化了需求分析过程,实现了过程复用.其研究结果应用到了D2G软件生产平台中.     

光栅对象在计算机辅助设计中的应用

计算机辅助设计（CAD）技术已在各行各业广泛应用。国民经济中与图样打交道的任何一个领域,都普遍应用CAD技术从事设计工作。特别是微机平台上的AutOCAD设计软件,在全球及国内拥有巨大的用户群。就如当今不能没有计算机一样,各工程领域也离不开CAD软件产品。CAD技术已经从最初的计算机辅助绘图向计算机辅助分析（CAE）、计算机辅助加工（CAM）等方向发展,从而导致非常复杂且功能强大的软件产品的出现。但就目前情况看,现在80％以上的用户仍然是以CAD软件作为绘图（Draft,Draw）的工具,因此AutoCAD主要也是作为制图的工…     

基于Java语言的安卓手机软件开发

安卓手机软件的开发是根据需求建立起来的安卓软件或者系统中的软件的部分过程,安卓手机软件的开发是一项主要包括需求上捕捉、分析、以及设计、实现和测试的一个系统工程。软件一般是通过某种程序设计的语言来实现的,目前最常用的就是Java语言,通常采用软件开发工具进行开发。本文主要针对基于Java语言的安卓手机软件开发进行研究。     

基于多通道交互技术的计算机辅助需求分析系统的研发

近年来,人机交互向着认知系统方向发展,以便提供自然与有效的交互原则。认知系统依靠来自多个传感器的数据的处理和融合算法的结合,通过动态地适应外界环境来改善人机交互体验。本原型作品在现有的面向问题的计算机辅助软件需求工程(Computer-Aided Requirements Engineering,CARE)工具的基础上,以及在人机交互理论和设计原则的指导下,针对需求展示的场合,提出了一种基于手势操作的自然交互方式,并在追踪识别手势的过程中运用多通道技术辅助追踪,从而大大加快了追踪与识别的速度,提高了精确度,提供了更好的用户体验。     

基础教育教学资源平台的设计与实现

针对目前基础教育教学信息化在软件方面比较薄弱,结合目前稷山县基础教育信息化发展需要和农村中小学现代远程教育工程教学应用实际,设计开发了基于B/S架构的稷山县基础教育教学资源平台。文章首先分析了基础教育教学资源平台的开发背景和意义,通过对稷山县教育局用户的需求和业务流程进行调查分析,对系统进行了需求分析、系统设计以及主要功能的系统实现。     

软件需求分析的思维方法

在软件工程中,虽然已经总结出了大量的需求分析方法和工具,但需求模糊问题依然普遍存在,究其原因是在需求实践中,缺乏必要的需求思维方式。只有在正确的宏观思维方式指导下,结合具体的需求分析方法和工具才能捕获到真实需求。本文结合辩证唯物主义哲学思想和需求的实践经验,提出了需求分析中的用户思维、场景思维、迭代思维、信息化思维和系统化思维,目的是在这些思维方式的指导下,辅助软件工程中的需求分析方法和工具发挥更大的作用。     

基于问题框架的计算机辅助需求工程工具的研发

问题框架(Problem Frames,PF)已经得到需求工程界的广泛重视和研究。目前,问题框架在理论基础和开发方法等方面已经有很多研究成果,但如何把它们应用到实际的软件开发项目中仍是一个有待解决的问题。本工具可帮助系统分析员实现从用户需求到软件规约的平滑和可推理的变换,从而为软件开发项目中需求的沟通、建模及分析等提供技术支持。此外,该工具产生的结果也为下一步的软件设计提供帮助。它对促进问题框架方法的进一步发展和成熟,如从研究走向实用,具有重要的推动作用。     

基于Android平台软件开发方法 的研究与应用

在我们目前所处的信息时代中,人们在信息获取方面有了更高的需求。手机已经逐渐从单一的通讯工具发展 为集多功能一体的智能工具。近年来,Android 由于其所具有的良好的便捷性以及开放性特点得到了较多的应用,具有非常好 的市场发展前景。在本文中,将就基于Android 平台软件开发方法的应用进行一定的研究。     

MDE for SoC design

We employ the principles of model-driven engineering to assist the design of system-on-chip (SoC) architectures. As a concrete example, we look at the MICAS architecture, for which we propose a graphical specification language, defined via metamodeling techniques, that models the architecture at different abstraction levels. Model transformations are defined to support the refinement of MICAS specification towards implementation. In addition, several libraries are put in place, to enable reuse and automation throughout the design process. Tool support for editing the specifications, enforcing their consistency, and for running the transformations is provided via the Coral modeling framework. The approach shows that model-driven engineering can be seen as an enabler in providing computer-aided software engineering (CASE) tool support and automation for the development of SoC architectures.     

Visionary prototyping

Today, besides introducing intelligence directly into equipment/systems through embedded microcomputers and providing virtual prototyping through enhanced computer-aided design/computer-aided engineering (CAD/CAE) facilities, information now is well regarded as an essential part of the integrated design approach whereby all members of the prototype development and manufacturing automation team can work closely together throughout the design and manufacturing cycle. The article focuses on two subtopics. The first is the development of a theory for prototyping discrete-event and hybrid systems and its applications. In discrete-event dynamic systems (DEDS), state transitions are caused by internal, discrete events in the system. An overview for the development of a simple graphical environment for simulating, analyzing, synthesizing, monitoring, and controlling discrete-event and hybrid systems is also presented. The second focus is on prototyping machine vision for real-time automation applications. We discuss the problems associated with traditional machine vision systems for cost-effective, real-time applications, novel alternative system design to overcome these problems, and the new trends of modern vision sensors. Modern smart sensors provide the features of traditional machine vision systems at less than half of the usual price by eliminating the signal-conversion electronics, fixed-frame rates, and limited gray-scale quantization. The camera, image-acquisition electronics, and computer are integrated into a single unit to allow dynamic access to the charge-coupled devices without image float or flutter. We also present a physically accurate image synthesis method as a flexible, practical tool for examining a large number of hardware/software configuration combinations for a wide range of parts     

Android平台基于MQTT协议的推送机制

Android平台的迅速崛起对消息推送技术提出了更严峻的挑战.传统的推送通知方式主要有Polling,SMSPush,IP Push三种,但对Android平台上的应用来说,这些推送方式都有各自的短板.针对该情况,首先对Android平台上几种推送机制进行了分析,之后着重对基于MQTT协议的推送机制进行研究,最后借助IBM提供的开源工具Mosquitto通过编码加以实现.经实验测试,证明基于MQTT协议的推送机制效率高,功耗低,可以稳定地用于Android平台上的应用.     

Android恶意软件的多特征协作决策检测方法

由于智能手机使用率持续上升促使移动恶意软件在规模和复杂性方面发展更加迅速。作为免费和开源的系统,目前Android已经超越其他移动平台成为最流行的操作系统,使得针对Android平台的恶意软件数量也显著增加。针对Android平台应用软件安全问题,提出了一种基于多特征协作决策的Android恶意软件检测方法,该方法主要通过对Android 应用程序进行分析、提取特征属性以及根据机器学习模型和分类算法判断其是否为恶意软件。通过实验表明,使用该方法对Android应用软件数据集进行分类后,相比其他分类器或算法分类的结果,其各项评估指标均大幅提高。因此,提出的基于多特征协作决策的方式来对Android恶意软件进行检测的方法可以有效地用于对未知应用的恶意性进行检测,避免恶意应用对用户所造成的损害等。     

基于APK的Android应用程序GUI遍历自动化方法

为了提高应用程序自动执行技术的图形用户界面（GUI）覆盖率和自动化程度以满足Android应用程序动态安全分析和GUI测试的需求,提出了一种基于应用程序安装包（APK）的Android应用程序GUI遍历自动化方法。该方法通过动态地捕捉目标应用程序GUI并模拟用户行为与之交互,驱动应用程序自动执行。基于开源框架Appium实现了一个能够自动化遍历轻量Android应用程序GUI的跨平台原型工具。实验结果表明,该自动化方法能够获得较高的GUI覆盖率。     

Programmatically defining the software footprint of sensor networks using the Android platform

Sensor networks are being used for an increasing number of applications ranging from environmental monitoring and precision agriculture to manufacturing and health care. By gathering data at unprecedented temporal and spatial granularity, sensor networks are revolutionizing these applications. Given the scale and complexity of these systems, they face a critical challenge in software Operations and Management, that is, installing, configuring, and updating thousands of software components in a heterogeneous sensor network. In this paper, we discuss automating and simplifying the process of defining the software environment on a sensor node running the Android platform. Android has significant share in the mobile phone market and runs on a broad range of devices including embedded platforms. This paper outlines the use of a new method for configuring embedded devices and sensor networks by drawing from techniques used for defining the software environment in data centers. We have also developed a software prototype to allow for a simple, reproducible, and flexible configuration of the Android software stack on a sensor node. Our exploratory research provides an insight into the use of modular configuration techniques in embedded devices and how they can be applied to the Android ecosystem. Copyright © 2013 John Wiley & Sons, Ltd.     

领域大数据应用开发与运行平台技术研究

随着大数据技术在不同领域的快速应用,构建大数据应用系统的开发与运行一体化平台,降低大数据技术在各行各业应用普及的门槛,为面向领域的大数据应用系统的快捷开发和高效运行提供方法、工具和平台支撑,成为大数据产业发展的迫切需求。由于大数据固有的复杂性、动态性、多样性及其价值独创性,目前尚未形成系统化的大数据软件开发方法,难以满足不同领域对大数据全生命周期处理的多样化需求。大数据时代的软件工程面临的挑战,体现在互为依赖的两方面：面向大数据全生命周期的集成设计开发环境和基于软件生命周期的系统运行分析工具。本文结合特定领域的实际需求,研究面向领域的大数据应用系统开发与运行一体化平台技术,覆盖大数据生命周期（获取、清洗、集成、分析、呈现）以及软件生命周期（设计、开发、运行、优化）,形成自管理、自适应、自优化的平台化解决方案。在此基础上,开展面向装备物联网及气象民生服务的大数据示范应用,以验证平台的有效性。     

Invariant relations, invariant functions, and loop functions

The increasing criticality of software applications, the increasing size and complexity of such applications, and the increasing reliance of software engineering paradigms on third party software assets combine to place a high premium on the ability to analyze software products to an arbitrary level of thoroughness and precision. Yet despite several decades of research, the goal of analyzing the functional properties of software products to an arbitrary level of thoroughness and precision remains unfulfilled. In this paper, we discuss the use of a relation-theoretic approach inspired from Mills?? logic to analyze while loops, and we support our approach by an operational prototype tool. The proposed method and tool have applications in program comprehension, reverse engineering, program verification, software maintenance, and programmer education.