软件代码评审的一种新方法

结构遍历法和培根法是当前国际上使用最广泛的两种软件代码评审方法。在这两种代码评审方法的基础上,本文提出了一种新的程序代码评审方法－自动遍历法。由于采用软件自动遍历替代了人工遍历,提高了评审效率。     

软件评审

软件评审是软件质量控制的一个重要手段．本文简要介绍了软件评审目标,过程和准则等内容,希望能从除度量与测试以外的角度来对电子政务系统建设中软件质量进行控制。     

软件项目的同行评审

软件评审是软件项目中重要的环节,与软件测试共同构建了软件开发的保障体系.列出了发现错误的时间与软件成本和开发风险的关系,分析了同行评审的种类和对象,指出了可行的评审过程,并总结了项目开发过程中评审容易出现的错误.通过同行评审,能够及早识别并消除缺陷,让软件交得更易维护,通过对这些错误的分类和统计,发现共同的缺陷类型和修...     

Web软件的一种有效测试方法

测试Web软件面临极大的挑战。从构造Web软件的页面流图出发,提出了一种测试路径生成的方法,以一个简单的Wcb登录系统SWLS(Simple Web Login System)为例对该方法进行了阐述,并给出了Web软件测试的一种有效模型。该方法给页面流测试技术提供了一个有意义的基础。     

浅谈软件评审

文章介绍了一般软件评审涉及的内容和软件评审中的各个角色与职责,重点说明软件评审的过程及评审的标准和评审中要注意的问题。同时也着重阐述了不同的软件开发可以根据此评审过程进行裁剪,评审过程是帮助作者提前发现评审对象的缺陷,而不是对评审对象的发布执行。     

一种有效的软件过程改善模型

有效地改善软件过程是解决我国软件企业存在的生产率和管理水平低、产品质量难以保证等问题的根本所在。考虑到我国企业特点,文章提出了一个软件过程改善模型,其目的是帮助企业持续地进行软件过程改善。该模型包括五个活动,文章对这些活动进行了详细介绍,同时给出了在进行这些活动时应注意的问题。     

军用软件评审标准的改进措施研究

软件评审在军用软件的开发中占有重要地位.但是,我军的软件评审标准仅来源于IEEE的标准,这对于有着高安全性和高稳定性要求的军用软件是不够的,为了改进我军软件评审标准,提高评审在军用软件中的可操作性,本文先对几种航天行业软件评审标准进行对比介绍,然后分别分析这些软件评审标准的不同之处,最后对我军软件评审标准进行一些改进,...     

民用飞机机载软件同行评审过程研究

依据DO-178B中对于机载软件研制过程的要求,根据民用飞机机载软件验证经验,从实践出发,总结出了能够满足适航要求的民用飞机机载软件同行评审过程。     

一种基于JM模型的软件安全性测试方法研究

为保证和提高软件安全性水平,针对软件安全性与软件失效后果和发生可能性密切相关,提出一种有效的软件安全性测试方法。在JM模型中注入软件失效严重度参数,对软件失效后果严重度进行降级处理;根据软件失效对系统安全影响程度,推导了软件安全可靠度计算公式;以软件错误严重度和发生概率为核心,建立了软件风险计算公式,更直观地反映软件安全性能,其中所定义的含权软件缺陷严重度变化矩阵,直接反映软件安全改善力度。改进后的JM模型以降低软件风险为目的开展测试过程,更符合软件安全性特征,为软件安全性测试的工程实践提供了一种可行、可信的方法。     

软件动态测试的一种新方法

本论文提出了一种软件动态测试的一种新方法，相对于传统软件的测试方法。它采取软硬件相结果的测试手段，做到能使被测程序完全在真空环境中运行，从而得到更加准确的测试统计数据。     

软件运行剖面的三维描述模型

软件运行剖面在软件测试中有着重要的作用。针对被测软件有多种使用时的情况,提出了一个三维的运行剖面描述模型,并将时间变量time(t)作为输入元素描述的一部分,以反映被测实时软件的实际输入情况。     

基于产品线体系结构的软件工程过程模型研究

在借鉴现代工业的组织体系、管理规范、生产流程的基础上,针对基于软件产品线体系结构的软件工程方法和开发过程进行了系统研究,提出了基于产品线体系结构而实现软件工程化生产的N-生命周期模型.该模型的建立,对研究基于软件产品线体系结构的集成化软件工程环境,进而实现软件产品的工业化生产是非常有益且重要的.     

A strategic analysis for successful open source software utilization based on a structural equation model

Commercial software companies face many challenges when competing in today’s fast moving and competitive industry environment. Recently, the use of open source software (OSS) has been proposed as a possible way to address those challenges. OSS provides many benefits, including high-quality software and substantial profits. Nevertheless, OSS has not been effectively utilized in real business. The purpose of this paper is to find what affects the utilization of OSS. For this study, we propose a structural equation model (SEM) to analyze the relationships between the quality factors based on ISO/IEC 9126 and OSS utilization. In addition, we suggest an open source software utilization index (OSSUI) based on the proposed SEM. The results provide us with the controllable feedback information to improve user (programmer) satisfaction during OSS utilization.     

基于虚拟模型的辅助教学软件设计

阐述了一种制作助教式辅助教学软件的方法,将基于VRML构建的实时交互虚拟模型嵌入PowerPoint幻灯片中,将文本内容、二维图形动画及实时交互虚拟模型有机地结合在一起,以“工程图学虚拟模型辅助教学软件”为例,详述了实时交互虚拟模型及其与PowerPoint幻灯片相融合的设计方法和制作技巧。     

基于Markov链的软件任务剖面建模方法研究与实现

针对航空航天等安全关键领域里嵌入式软件测试中存在的困难,引入并研究了用户需求模型和任务剖面模型的概念及表示方法,设计并实现了基于用户需求模型的任务剖面模型自动建模算法,进而结合Markov链模型与任务剖面模型,为任务流提取和测试用例生成工作提供依据,基于Rose可扩展接口(REI)开发了任务剖面模型自动建模工具.通过验证,肯定了上述方法与工具在嵌入式软件测试过程中的效果和价值.     

航空发动机试车计算机辅助试验软件模块化开发

针对航空发动机试车计算机辅助试验（Computer Aided Testing,CAT）软件系统可移植性差、复用性低等问题,采用软件工程思想,探讨其软件结构和模块划分,给出各模块的具体功能和实现方法．具体应用表明,模块化开发技术可提高航空发动机试车计算机辅助试验软件系统的开发质量和效率,减少重复工作．     

Applying a dynamic testability technique to debugging certain classes of software faults

Testability, the tendency for software to reveal its faults during testing, is an important issue for verification and quality assurance. But testability can also be used to good advantage as a debugging technique. Although this concept is more general, we will illustrate it with a specific example: propagation analysis.Propagation Analysis (PA) is a technique for predicting the probability that a data state error affects program output. PA is a technique that produces information about a piece of software's testability. PA bases its prediction on empirical measurement of the probability that an artificial data state error affects program output. After obtaining propagation analysis information for a program and obtaining a failure probability estimate for the program during execution we build a model that can be used to identify possible sites of missing-assignment faults of the form x f(x). Thus we can apply the testability technique PA as a debugging tool.This work supported by a National Research Council NASA-Langley Resident Research Associateship and NASA-Langley Grant NAG-1-884.     

基于GA算法的软件提供商信息化服务能力评价及优化模型

企业在实施信息化建设时,一般需要软件提供商为其提供制造类、管理类和通讯类等各种软件系统。介绍基于从业经验、市场竞争力、信誉及产品竞争力四个方面构建模型的方法,再调研并获得江西省17家软件提供商的基础数据,运用遗传算法加以求解,得到更具有客观性的结果,为实施信息化建设的企业提供一个参考模型。     

软件可测性度量研究

为研究软件可测性，从数据处理过程中信息掩盖这一新的角度对软件可测性度量进行研究，提出了一种基线模型用以描写输入、处理和输出之间的关系，并在此基础上提出了一套基线度量指标，用以度量信息处理过程中的信息掩盖程度，揭示软件的可测性；基线模型中3条基线度量定理的发现，进一步揭示了信息掩盖程度与基本处理片和过程临时元的定量关系；两种度量模型的比较显示了基线度量模型的合理性。