软件开发框架模型——现实世界问题的结构化分析

对软件开发框架模型提出了一种新的构化的分析方法,同时介绍了常用的结构化分析的工具及其更实用情况。     

学籍信息系统软件体系结构设计

分析了软件体系结构的几个难点,提出了将功能代码分别放在业务逻辑层与数据层的思路,并结合学籍信息系统体系结构参考模型,解决了综合结构设计中的一些关键技术。     

Boson Netsim软件在计算机网络实验教学中的应用

提出在计算机网络实验教学中,应用Boson Netsim软件构建虚拟网络实验环境,以动态路由实现RIP协议的配置实验为例,介绍虚拟网络实验环境建立的过程及实验步骤。     

软件配置管理理论与实践

近年来随着软件开发项目的规模和复杂度的不断增加,人们不得不更加关注软件开发中的配置管理问题。目前软件配置管理已经成为软件开发中的一个关键过程域并贯穿于软件生命周期的始末。讨论配置的基本理论和技术,并进一步给出一种配置管理的实现方法。     

软件工程双语教学实践与探讨

针对软件工程课程本身的特点,对软件工程双语教学的必要性﹑可行性进行分析。通过软件工程专业课程双语教学的实践,探讨双语教学的经验和体会。并结合一般本科院校的实际,从教学方式、考试、教材、教室等多个方面提出具体的改进措施。     

敏捷时代助力软件企业创业

围绕软件企业创业背景,使用敏捷开发过程与方法,从以人为本的软件开发团队、我们的客户、需求分析、文档编制的重要性、敏捷开发的缺点5个方面加以分析和阐述。     

基础软件技术的发展趋势

从分析基础软件的基本概念和特性出发,对基础软件的内容、需求、技术、产品等方面进行了系统论述。探讨了现有的主流开发技术及未来的发展趋势。通过分析现有部分国产软件系统在一些典型领域的应用,揭示我国基础软件发展的现状和难题,为现有国产基础软件产业的发展提供决策参考。     

基于载波表的GPS载波跟踪环路研究

实时GPS软件接收机可以使用查找表的方法得到本地复现载波以减少运算量。载波表是由一组具有一定频率间隔和固定初始相位的正弦和余弦信号组成。传统的载波跟踪环路无法使用具有离散频率和不连续相位的复现载波完成GPS载波跟踪。针对这一问题,使用相位补偿算法对载波进行相位补偿,设计了基于载波表的载波跟踪环路。仿真结果表明该载波跟踪环路能有效实现GPS信号的载波跟踪,且与传统的载波跟踪环路相比仅有微小的信噪比损失和频率跟踪精度衰减,可用于实时GPS软件接收机设计。     

无人机空速测量系统仿真与设计

在无人机空速测量系统设计中,要经过系统功能划分,软硬件设计,电路制版,整体联调等步骤,结果是否符合设计要求通常需要软硬件设计完成调试通过后才能得知。而整个设计牵涉环节较多,很少一次达到目的。Proteus软件是一个完全脱离硬件平台进行系统虚拟开发的工具,结合Keil C51软件可以方便的完成整个系统的设计,仿真中可以随时修改设计、调整软硬件分工以提高系统性能降低系统误差。使用仿真软件对设计方案的各个环节进行验证和优化,测试系统性能,可及时发现系统瓶颈,优化软硬件设计,提高效率,缩短开发周期。     

Software testing processes as a linear dynamic system

Software testing is essential for software reliability improvement and assurance, and the processes of software testing are intrinsically dynamic. However they are seldom investigated in a mathematically rigorous manner. In this paper a theoretical study is presented to examine the dynamic behavior of software testing. More specifically, a set of simplifying assumptions is adopted to formulate and quantify the software testing processes. The mathematical formulae for the expected number of observed software failures are rigorously derived, the bounds and trends of the expected number of observed software failures are analyzed, and the variance of the number of observed software failures is examined. On the other hand, it is demonstrated that under the simplifying assumptions, the software testing processes can be treated as a linear dynamic system. This suggests that the software testing processes could be classified as linear or non-linear, and there be intrinsic link between software testing and system dynamics.