UC DOS3.0确认测试报告

随着我国软件市场的日益繁荣和软件产品的大量涌现,软件评测的重要性越来越显现出来了。它对保障软件产品质量,开拓国际软件市场,促进软件市场健康发展都将发挥重要作用。中国软件评测中心是我国唯一权威性的软件产品质量检测机构,面向社会承担软件产品的鉴定测试、确认测试和判别测试等工作。它采用国外先进的产品评测技术,建立了国际通用的计算机软硬件测试环境和标准的评测体系,多年来积累了丰富的软件评测经验。本刊自本期起将陆续发布中国软件评测中心的产品评测报告,为软件产品的厂商和用户架起沟通的桥梁。希望更多厂商能在这个栏目中一展自己优秀产品的风彩,也希望广大读者与用户能通过本栏目选择到满意的软件产品。     

软件质量保证与软件质量控制的初探

软件危机出现几十年,依然未得到根本的解决究其原因是缺乏规范有效的软件质量保障技术和手段.本文旨在针对我国软件产品的现状和存在问题,对软件质量保证与软件质量控制进行初步探讨,其中对软件质量保证的目的,人员的素质要求和组成,工作内容及工作中常见问题与对策作了重点分析,并对软件产品质量控制的方法提出了设想,使在开发软件产品的过程中能够遵循一般规律,有效地保证软件产品的质量.     

浅谈我国软件测试行业人才现状及培养体系

随着全球经济一体化进程加快及两化深度融合,各行业对软件产品质量的要求也越来越高,尤其体现在软件安全和性能方面。这必然带动了软件检测行业的兴起。在我国一些重要应用领域,如电子政务、金融、安全、航空、军方等,都逐步将软件检测和质量监督通过合同委托第三方承担,以确保软件产品的质量符合用户的预期效果。在此大环境之下,软件产品检测必将迎来蓬勃发展,也导致专业的软件测试人才需求缺口巨大,软件测试,已经成为最有市场前景的朝阳行业。本文将重点探讨我国软件测试人才的现状、培养体系、职业发展等。     

面向Use Case的软件需求建模方法

需求建模是需求分析阶段中最重要的环节，它关系到软件开发的成功与否。需求模型构建得好，既可使软件产品得到成功地开发，又能确保软件产品的质量。本文讨论了面向use case的软件需求建模方法，并运用此方法进行了软件产品的开发，取得了良好的效果。     

软件过程质量管理的途径初探

软件是一零边际成本的无形产品,其质量管理要较实物产品的质量管理更难以进行,需要对过程质量及过程质量控制更加关注,总结了软件产品质量的概念与质量管理的方法,剖析了目前软件质量管理的不足。在充分考虑软件产品及软件生产过程的特殊性基础上,提出了基于过程的软件产品质量管理的途径。     

工程量清单计价软件的可重用开发技术及应用

以工程量清单计价领域产品的开发为例，研究了重用开发技术在软件各开发阶段的应用，讨论了软件的领域重用和层次重用等方面的问题,实现了软件产品领域横向重用和软件开发过程中的纵向层次重用,提高了软件产品的可重用性、开发效率和质量。     

加强软件产品管理的措施

<正> 最近,国家电子计算机工业总局软件登记中心公布了第一期《软件产品公报》,这是加强软件产品管理的措施。软件是计算机系统的重要组成部分。随着计算机技术的高速发展,软件对计算机系统的支持已经成为系统功能的决定因素之一。我国的计算机工业基础薄弱,软件工作刚刚起步,制定适当的政策促进软件工作的发展,是非常急迫的任务。建立软件登记中心,负责国内软件产品的登记和公报工作,对于发展我国的软件,特别是给软件产品的交流开拓畅通的渠道,具有重大意义。     

新闻

为加强对软件行业的管理,规范市场、引导消费,使我国软件产业沿着健康、有序的方向发展,原电子工业部成立了全国软件产品管理中心,制定并颁布了《软件产品管理暂行办法》。该办法规定,国家对软件产品实行登记备案的管理制度。经全国软件产品管理中心认真审核,24家企业的33件软件产品首批获准登记(名单详见第19页)。5月20日,首批登记软件颁证仪式在京举行,信息产业部刘剑锋副部长亲自向这24家软件企业颁发了“软件产品登记证书”。 张琪司长在颁证仪式上特别强调,这次对软件产品实行登记备案制度与软件著     

协达设立博士后工作站 提升国产软件的国际竞争力

近日，上海市杨浦区组织部、科学技术委员会、人事部三部委联合发文批复，设立我国第一个协同软件专业的博士后工作站，工作站设在我国协同软件产品竞争力第一的上海协达软件科技有限公司。     

倡导“软件质量优化”

软件测评工作是软件质量的根本保证,从发展趋势上看,软件测评与开发是一对孪生兄弟,是软件产品必不可少的部分。如何提升软件产品的质量管理,并完善着软件测评体系,是目前需要考虑的关键问题。     

如何更好地保证软件项目的质量

软件企业更多的时候是在为客户提供服务而不是像买卖一件商品那么简单,改善客户满意度应该是一个着眼于未来的软件企业不断追求的目标。那么软件企业如何才能为用户提供高质量的产品呢?本文将从质量策略、质量管理过程、质量管理常用技术和工具、QA的工作等几个方面探讨如何更好地保证软件的质量。     

软件产品大规模定制及演化的一种新模型

模型立足于为资源有限的软件企业提供灵活的软件产品大规模定制及演化方案。采用以软件产品线原型为中心的振荡上升模型来实现软件大规模定制,在大规模定制的过程中不断提升整个软件产品线的质量,并同步完成产品线的升级维护工作。整个模型考虑了软件企业在各种资源上的不足,尽量设计得轻型、敏捷,以便能容易地应用于实践。     

面向服务的过程引擎模型设计

随着大规模软件的出现,软件质量成为软件行业倍受关注的重点问题之一。在基于一种粗粒度松耦合的面向服务体系结构,构建了一个主动过程引擎系统模型。该模型既可以完成软件开发过程的定义、解析和组装,也提供软件过程的主动执行和行为监控,同时也支持软件过程的演化,从项目的整体过程保证软件开发任务的顺利完成和软件产品质量。     

软件测试技术

为了保证所提交的软件产品能够满足客户的需求,以及在使用中的可靠性,必须对所开发的软件产品进行系统而全面的测试。从保证软件质量的角度来说,软件测试是软件质量保证工程的一个重要组成部分,也是最重要的质量保证手段。无论是面向对象软件开发还是传统的面向过程软件开发,软件测试归根结底要通过一套比较成熟的测试技术和方法来实现。文中从错误避免、检错和容错三个方面阐述了软件测试技术,并介绍了通过测试和失败测试两种软件测试方法。     

Software quality tools and techniques presented in FASE’17

Software quality assurance aims to ensure that the software product meets the quality standards expected by the customer. This special issue of Software Tools for Technology Transfer is concerned with the foundations on which software quality assurance is built. It introduces the papers that focus on this topic and that have been selected from the 20th International Conference on Fundamental Approaches to Software Engineering (FASE’17).     

基于LDRA Testbed的民用机载软件静态测试方法

静态测试作为软件测试的重要方法,是保证民用机载软件中安全关键软件质量的关键步骤。介绍静态测试的概念和方法,采用自动化分析方法,基于软件分析工具LDRA Testbed从主要静态分析、复杂度分析、静态数据流、交叉索引、信息流和数据对象分析六大部分完成软件的静态测试过程,探究其测试原理和关键标准文件的配置,生成相应的代码审查和测试度量报告,以有效提高民用机载软件质量。     

基于舰载装备军用软件典型的质量评价技术

阐述了军用软件发展现状,指出了研究软件评价技术[2]研究的重用性,并分析了三种常用的软件质量评价方法,提出了舰载装备军用软件质量评价模型.舰载装备军用软件质量评价模型评价的对象为软件研制过程产品,不针对软件研制过程的评价,专家组根据软件产品的质量需求,确定度量元和评价等级,并对度量元进行集体打分,利用加权和的方法算出被评软件质量分数.文章提出的软件质量评价模型是为了保证产品能提供用户所要求的质量,及满足用户(包括操作人员、维护人员)明确的或隐含的要求.     

What is a software process?

For an industrial product with more than a minimal complexity the only reasonable way to ensure its quality is to guarantee that it is produced via a quality process. Industrial maturity demonstrates itself in the ability to separate the product from its development process, that is separating the WHAT from the HOW. This separation allows to analyze and certify (!) the development process. Especially for software development the need for certified development processes (ISO 9000, ISO 12207) is pressing. In this presentation we explore some of the basic concepts underlying the notion of a software process and some of their implications.     

Feature Nets: behavioural modelling of software product lines

Software product lines (SPLs) are diverse systems that are developed using a dual engineering process: (a) family engineering defines the commonality and variability among all members of the SPL, and (b) application engineering derives specific products based on the common foundation combined with a variable selection of features. The number of derivable products in an SPL can thus be exponential in the number of features. This inherent complexity poses two main challenges when it comes to modelling: firstly, the formalism used for modelling SPLs needs to be modular and scalable. Secondly, it should ensure that all products behave correctly by providing the ability to analyse and verify complex models efficiently. In this paper, we propose to integrate an established modelling formalism (Petri nets) with the domain of software product line engineering. To this end, we extend Petri nets to Feature Nets. While Petri nets provide a framework for formally modelling and verifying single software systems, Feature Nets offer the same sort of benefits for software product lines. We show how SPLs can be modelled in an incremental, modular fashion using Feature Nets, provide a Feature Nets variant that supports modelling dynamic SPLs, and propose an analysis method for SPL modelled as Feature Nets. By facilitating the construction of a single model that includes the various behaviours exhibited by the products in an SPL, we make a significant step towards efficient and practical quality assurance methods for software product lines.     

一种有效的软件评审模型

软件评审是软件开发过程中的一个重要步骤,有助于提高产品质量、降低生产成本和提高生产率.为了更好发挥软件评审在软件开发中的作用,对软件评审中涉及的活动和过程进行了描述,提出了根据开发流程采用技术评评审和管理评审的分层模型,讨论了评审与研发组织结构、评审实践中存在的误区和解决措施.为了检验提出的评审模型,在10个软件项目进行了初步应用,取得了较好的评审效果.