基于PIC单片机的调试器系统

基于PIC16F877单片机成功设计了一个调试器系统。本文阐述了调试器系统的电路组成和工作原理，介绍了调试器系统的主程序流程，并详细地介绍了各组成部分的功能。本系统成本低、性能可靠。     

C语言源码级调试器的设计与实现

调试器在嵌入式软件开发过程中起着重要的作用。本文设计并实现C语言的源码级调试器,文中描述C语言源码级调试器的设计方案,重点介绍调试器设计中两个核心模块：调试信息提取存储模块和调试功能模块的设计,并给出实现结果。     

一个实用的Ada源级调度器的设计和实现

Ada是美国国家军用标准编程语言。近年来，。我国也开展了对Ada及其开发环境的研究工作。本文首先介绍高级语言开发环境中源级符号调试器的基本原理，然后给出了一个实用性的Ada源级调试器的设计实现关键技术。     

嵌入式处理器的在线调试器设计与实现

为了实现适用于多种架构的嵌入式处理器的在线调试器,提出分层设计的思想,利用部分硬件驱动化的方法,设计实现了一款基于CK-CPU的多架构嵌入式处理器在线调试器。该调试器能适用于内含不同调试接口电路HAD的嵌入式处理器。在需要适用于另一架构的嵌入式处理器时,硬件资源仅增加6.09K。由于采用了硬件驱动化的方法,有利于调试器的升级换代,该款在线调试器平均下载速度能到1367KB/S。     

一种面向通用众核CPU的软件调试器设计

近年来,众核处理器技术飞速发展,而面向该体系架构的软件调试技术相对滞后。针对众核平台上软件调试的特点,提出了一种一对多的软件调试模型,基于开源调试器gdb,设计了指令移位断点算法。该设计克服了硬件断点数量的限制,提升了异常定位的精确度,改善了软件调试器的易用性。最后通过实例对采用该设计的软件调试器进行了验证。结果表明,该设计能够有效解决众核程序的调试问题,提高软件调试器的执行效率,帮助程序员快速定位软件错误。     

BFD:一种目标代码文件操作的抽象机制

装配器、调试器等系统软件的实现强依赖于目标文件格式，为了得到可移值的装配器、调试器，必须有一种目标文件操作的抽象机制。本文详细介绍了二进制文件描述库（ＢＦＤ）的设计思想、其前端和后端的实现以及其主要的数据结构     

基于SOPC的通用在线调试器设计

针对目前嵌入式在线调试器在跨平台的通用性方面存在的不足,以及调试器对特定嵌入式操作系统依赖性过强的现象,提出一种基于SOPC技术的通用嵌入式调试器的设计方案,阐述了总体架构及设计原理,最后给出阶段性的仿真测试结果。     

基于.Net框架的远程异步调试器的设计

结合具体工程实践,提出一种新的.NET框架下远程异步调试器的总体思路和设计框架.回顾了调试器的基本原理和演变,简要介绍远程调试的发展动态,分析了通用远程调试器在分布式体系架构应用中的不足之处;介绍了该调试器中异步机制和远程机制的具体实现方法,并对实际研制过程中碰到的难点问题进行了相关阐述,重点介绍了远程调试器整体架构中.NET对象移动现象的产生机理、影响和解决方法.     

基于以太网的LEON3交叉调试器的设计与实现

软件调试是软件开发过程中的一个重要环节,对于嵌入式系统开发来说,调试器尤为重要。本文在研究GDB嵌入式交叉调试器和LEON3处理器的体系构架的基础上．给出了一种基于LEON3处理器内置以太网接口的交叉调试器的设计和实现方法．该设计实现了GDB能通过以太网接口迅速下载程序到目标机并进行调试的功能。加快了调试速度,取得较好的效果。     

基于SOPC的M8051嵌入式调试器设计

调试器是嵌入式系统软件开发的重要工具。本文设计了一款基于USB接口并以SOPC方式实现的M8051嵌入式调试器。通过USB通信接口完成调试器与上位机的通信,保证较高的调试速度;以单独的FPGA芯片实现调试器的USB接口、调试命令解析以及JTAG时序生成等功能模块,简化系统设计的复杂度。经测试,该调试系统性能稳定、可靠。     

ASP DELPHI建立电子商务网站

本文介绍了用ASP和DELPHI等工具建立一个电子商务拍卖网站.该设计遵循了软件工程中软件生命周期法(瀑布模型):按照软件分析、软件设计、软件编码、和软件维护等过程,系统分为定义系统目标、可行性分析、需求分析、概要设计、详细设计、软件编码、软件测试、软件维护等九个阶段.并将面对用户的Web界面采用B/S结构和对于后台数据挖掘的管理逻辑层采用C/S结构.建立后的网站是一个动态、交互式、具有在线拍卖、商品提供、系统管理等功能的C TO C商务拍卖网站.     

Semi-formal design of reliable mesh generation systems

A reliable mesh generation infrastructure is designed based on software engineering principles. Formal methods, software design documents and clear modular decomposition criteria are introduced to improve the quality of mesh generation software. The design document for a simple 2D mesh generation data structure is presented using a semi-formal specification. The proposed semi-formal documentation system avoids any ambiguity during the software design process and will help in driving the software test cases. Using the proposed software, design techniques result in a consistent software design that is easy to extend and modify.     

软件设计中的安全漏洞动态检测技术分析

计算机安全性问题是软件设计需考虑的主要问题之一。为了构建安全的软件设计体系,防止各种外部干扰对软件的攻击和破坏,软件设计过程中对安全漏洞的检测和防护就显得尤为重要。本文通过对软件设计中各种安全漏洞动态检测技术的详细分析,并对各种已有的动态检测技术进行详细的比对,总结出各种动态检测技术的优、缺点,为在各种软件设计中正确选用适合的检测技术提出有力的参考依据。     

A partitioning algorithm for distributed software systems design

One complication in using distributed computer systems is the increased complexity of developing distributed software systems. These software systems are composed of asynchronously executing components which communicate via message passing. Current software design techniques are not adequate for use in the design of distributed software systems. New design methods which explicitly address the problem of system partitioning are needed. An overall distributed software design approach is presented. The key to the design approach is the presentation of a distributed processing component (DPC) partitioning algorithm for clustering functional modules in order to derive a set of distributed processing components. The design approach is oriented towards producing a software system which is hierarchical, which exploits potential concurrency that exists between functional modules, and which avoids nonprofitable message traffic.     

应用机器学习方法的设计模式挖掘研究

从源码中挖掘设计模式实例具有重要意义，它能够提升软件系统的可理解性和可维护性。基于机器学习方法，提出了一个设计模式挖掘方法。其中，使用类关系图表示软件系统和设计模式，采用子图匹配的方法从软件系统中提取出候选设计模式实例，过滤了大量非设计模式实例组合，提高了设计模式挖掘效率；提出了度量指标，将软件系统和设计模式向量化，采用机器学习的方法对候选设计模式实例进行分类，提高了设计模式挖掘的准确率。实验结果证明此方法效率和有效性上得到了一定的提升。     

基于设计模式的星载软件体系结构设计方法

星载软件是整个卫星系统设计和开发的中心,而体系结构是整个软件开发的蓝图,在软件开发中占有十分重要的位置。为了提高星载软件开发效率,降低研制成本,同时满足实时性、可重构和可维护性要求,从体系结构的前3个视图方面采用基于设计模式的方法提出了一种满足要求的星载软件体系结构。     

Recovery of CFSM-based protocol and service design from protocol execution traces

Reverse engineering and design recovery are two important concepts for the evolutionary design of systems software. In particular, the reverse engineering of distributed software, such as communications software, is a very challenging practical problem. Most communications software is written without the use of formal methods and is often poorly documented. Consequently, to maintain or modify such software, relevant details of the original design need to be recovered from the executable software itself. This design recovery process involves either static analysis of the code or dynamic analysis of the software behaviour based on selected execution traces. In this paper, we use the dynamic trace analysis approach. Specifically, based on execution traces as represented at selected points of observation, we generate a higher level design representation consisting of communicating finite state machines (CFSMs) corresponding to the protocol design and service constraints. Further, the temporal and concurrent aspects of the protocol behaviour are also captured in the traces and are reflected in the recovered design.     

组态软件设计中的模式研究

工业组态软件的设计是复杂的,为了设计出灵活的、可扩展性好、易维护的工业组态软件,在采用面向对象的软件设计时,引入了设计模式的概念,这些模式来源于众多设计者多年的面向对象的设计成果,这些模式的恰当运用解决了很多组态软件设计问题,使程序优雅而灵活,体现了面向对象编程的优越性。     

降落伞设计软件的研制

针对当前计算机软件技术的最新成果，利用最新VC 编程环境，自行开发了一个降落伞设计的软件系统。通过此软件系统，可大大提高降落伞设计的精度和速度。该文主要介绍初级版本的降落伞设计软件开发的研究进展和最新成果。主要包括面向对象的界面设计，数据库建立，结构设计，校核分析四部分内容。文中最后还根据某定型伞的设计指标，采用此软件系统设计了一个降落伞，结构分析结果和性能分析校核结果和某定型伞相比均非常吻合，此软件系统可为降落伞设计、制造厂家提供服务。     

用UML建模技术构建学生信息管理系统模型

UML统一建模语言,是软件分析设计中的标准语言,可用于软件分析、设计和实现的全过程。该文试图通过学生信息管理系统开发实例的设计,经过用例建模、静态建模、动态建模、代码设计、界面设计等步骤,介绍如何应用UML的方法设计和开发一个软件模型,从而提升软件设计人员和客户之间交流水平,加快软件开发进程,提高软件开发质量。