对象式软件需求模型及其机器支撑

为了研究需求级软件自动化技术,研制对象式软件需求分析支撑系统的需要,文章提出了一个层次化对象式软件需求模型NDHORM(Nanjing daxue hierarchical object-oriented requirements modelling),它主要包括对象关系模型、类关系模型和类字典3个组成部分.文章基于对对象式需求模型的简要讨论,详细介绍了NDHORM模型的组成、层次结构及对象精化,给出了NDHORM的构模过程,最后简要介绍了NDHORM模型的机器支撑系统.     

用用例分析技术进行需求分析和构架建模

现代软件需求复杂多变，传统的面向过程需求分析技术已经不能满足软件开发的要求。用例分析技术是为适应现代软件需求环境而提出的一项新型的面向对象需求分析技术。结合实例，讨论了用例分析技术进行需求分析和构架建模以及采用用例分析技术的优势所在。     

DBMS生成器DOMDG的实现

软件自动化开发一直是软件工程的热门话题。提出了一种基于构件的DBMS生成器DOMDG，该生成器可以根据DBMS需求模型生成相应的DBMS软件，实现DBMS软件的自动化开发。讨论了DOMDG的系统结构，对系统中涉及的各类字典进行了描述，介绍了构件和构件组装功能的设计方法，介绍了一个由DOMDG生成的DBMS实例。由DOMDG生成的DBMS具有高可靠性、易扩展、易维护等特点。     

软件需求分析方法创新分析

为了进一步探讨软件需求分析的创新改进方向,文中首先探讨了软件需求分析理论,接着重点阐述了重点监控软件需求分析办法和有效性软件需求分析三步法的应用、     

USB接口软件自动化测试实现

随着软件技术的发展,手工测试已不能满足软件测试的要求,软件测试自动化是软件测试的发展趋势。结合USB接口软件功能测试的特点,对其进行了自动化测试需求分析;确定了自动化测试的范围;在Microsoft Visual Studio.net平台下,基于组件开发的思想,用C#语言开发了USB接口软件自动化测试系统。并经过测试实践,验证了该自动化测试系统的可靠性。通过对手工测试和自动化测试的对比,展示了该系统的优越性。     

软件需求分析的研究

通过物资管理系统的需求分析，说明了软件需求分析的重要性，详细阐述了软件需求分析的任务、过程、原则和方法。     

基于软件产品线的需求分析研究

软件产品线方法是一种面向特定领域的、大规模、大粒度的软件复用技术.在软件产品线的开发过程中,产品线需求分析是软件产品线开发的关键活动之一,软件产品线需求分析奠定了产品线构架的基础.通过分析软件产品线开发过程和软件产品线需求分析的特点,阐述了软件产品线需求分析方法以及软件产品线需求分析的实践风险.以领域分析和建模为切入点,对软件产品线的领域分析、需求建模和用例建模等关键方法和技术进行了重点的研究.     

基于面向对象的软件需求分析规范及实施方法研究

本文采用面向对象的技术，对软件需求分析的任务、实施步骤和方法进行了研究，并给出了相应的规范说明。     

基于系统理论过程分析的软件安全性需求分析与验证方法

针对传统系统理论过程分析（STPA）方法缺乏自动化实现手段、自然语言结果分析存在歧义性的问题，提出一种基于STPA的软件安全性需求分析与验证方法。首先，提取软件安全性需求，并利用算法将其转化为形式化表达式；其次，建立状态图模型来描述软件安全控制行为逻辑，并将其转化为程序可读的形式化语言；最后，采用模型检验技术进行形式化验证。结合某武器发射控制系统案例验证了方法的有效性，结果表明，该方法能够实现安全需求分析的自动化生成与形式化验证，解决了传统方法对于人工干预的依赖问题及自然语言描述问题。     

计算机辅助软件需求分析工具的研究与实现

本文描述了一个计算机辅助软件需求分析工具——CASRAT。它着重讨论了数据流图管理子系统及数据字典管理子系统的各种实现技术及策略,讨论了各种检测算法及结构编辑技术。最后讨论了父子图平衡检测算法。     

基于工控组态软件的低压配电监控系统设计

针对济宁全民健身广场低压配电管理自动化的要求,利用电力工控组态软件,设计一套具有人机交互界面的智能电力监控系统。在智能电力仪表、RS485总线和基于Windows操作系统的PC机构建的平台上,采用专业的EpSynall电力系统自动化组态软件进行二次开发,完成监控系统的设计。低压配电监控系统全程监测各电参量,在有跳闸或其他故障时报警,工作人员及时发现并排除故障进而确保供电正常,实现对低压配电的自动化管理。     

一种机动式指挥自动化系统的实时数据交换软件设计

 机动式指挥自动化系统需与多类型节点对接,要适应不同节点的状态变化,可应用于各种不同环境。实时数据交换是机动式指挥自动化系统信息共享与高效利用的关键技术,但由于该系统使用系统互联设备中不同的硬件平台、网络平台以及数据库等,造成了使用中多种模式并存、数据无法交换等问题。以某设备测量试验任务为背景,在需求分析的基础上,基于动态多线程和组播技术,设计一种应用于机动式指挥自动化系统的实时数据交换软件,该软件可实现多种体制下的协议转换与数据记录,支持设备状态的实时显示,并可按需完成原始数据的变速重演,支持数据分析,取得了良好的试验效果。     

A hypertext based software-engineering environment

HyperCASE, an architectural framework for integrating CASE tools under an extended hypertext system, is described. HyperCASE's objective is to provide a powerful, user-friendly, integrated development platform that can significantly raise productivity. Its specific goal is to support software developers in project management, system analysis, design, and coding. HyperCASE integrates tools by combining a hypertext-based user interface with a common knowledge-based document repository. It includes extensive natural-language capabilities tailored to the CASE domain. These are used in the interface to the software repository, providing an alternative to hypertext information management and interdocument navigation. English input can be analyzed during informal system-requirements specification, allowing a significant degree of automation for design and concept reuse at the earliest development stages. HyperCASE's three subsystems, HyperEdit, the graphical user interface, HyperBase, the knowledge base, and HyperDict, the data dictionary, are discussed     

制药工厂OEE系统的应用

针对制药工厂自动化应用的发展,以及工厂管理层对车间管理的进一步要求,提出了车间管理的一些典型问题并采用了 OEE(Overall Equipment Effectiveness,全面设备效率)系统.利用当今的一些自动化应用技术、软件编程技术以及系统集成技术,部分给出了较合理的问题解决手段,为后续全面实施MES (Manufacturing Execution System,制造执行系统)积累了经验.同时还满足了有关CSV (Computer System Validation,计算机系统验证)的规范.     

支持流程再造的办公自动化系统平台设计

分析了办公自动化系统的需求,根据需求对系统进行设计。在设计过程中充分利用了角色网络理论,简要给出了相应软件结构模型,并在模型指导下建立办公自动化系统的体系结构,并对角色理论和相应软件平台如何支持OA系统流程再造进行了说明。最后通过实例证明,流程再造及其相关平台对于校园信息化和无纸化办公有着重要作用。     

基于.NET的网络用语在线词典软件的设计与实现

根据网络用语使用的实际需求,运用.NET技术设计并实现了网络用语在线词典软件系统。该系统可根据用户输入的关键字查找匹配的网络用语释义。词典的设计基于B/S三层结构,它的实现有助于减少网络沟通的语言障碍。目前已完成开发并发布使用。     

FOXBASE文件管理的一种工具设计技术

本文介绍在ＦＯＸＢＡＳＥ环境下，文件管理工具的设计技术。此工具及其程序原理，在建全、卸出、维护和移植应用系统的文档资料、数据字典和使用说明等方面，提供了一条简便适用的方法，使庞杂系统的文档管理变成系统、规范和自动。     

基于Rational的B/S架构软件自动化测试研究

为提高B/S架构下软件测试的自动化程度与执行效率,找出B/S架构下软件系统各项指标的性能瓶颈,提出应用优秀的软件自动化测试管理工具IBM Rational系列,构建优化的自动化测试模型,并应用该模型对当前最流行B/S架构的一个系统实例进行分析与测试管理.实验结果表明了它能够迅速发现软件中存在的缺陷,显著提高了B/S架构下应用系统自动化性能测试的效率,保证了软件的质量,对B/S架构软件自动化测试技术的深入研究具有重要的借鉴意义.     

一种基于InTouch组态软件实现冗余的方法

基于工业自动控制系统对冗余功能的要求和Intouch组态软件的特点，结合工程实例，从软件运行环境、实现方法、在线检测手段等几个方面阐述了一种利用Intouch组态软件实现冗余的有效方法，指出该方法是一种简单、有效，可靠和低成本的方法，且冗余功能是工业自动控制系统一个重要特性和必要措施。