软件的特征

软件特征是软件本质的反映,是认识软件和软件工程学科的关键. 目前软件界对软件特征的认识并没有达到统一,本文对软件特征提出了作者自己的看法,认为软件具有智能性、无形性、抽象性、系统性、泛域性、依附性、非损性、复制性和演化性等特征.     

协同要想火，还需“三项修炼”

相比ERP、CRM,协同软件更加强调安全性、可管理性和系统可扩性。在案例中我们可以看到,很多CIO在对协同软件的认识上有误区:有人认为协同软件的确是对公司的有效运转起到一定的作用,但是只局限于擅长解决非结构化的管理问题;有人认为协同软件是一个平台,是对ERP、CRM、OA等传统管理和办公软件的整合,因此无所不包,无所不能;也有人被打着“协同”幌子的OA给蒙住了眼睛,所以看到的所谓“协同软件”都是“关于OA系统,只能发挥OA的功能”等。这都是对协同软件和协同概念的片面认识和理解,并没有认识到协同软件的真谛之所在。要想让每…     

一种适用于软件产品线的特征模型

针对传统的特征模型中存在的对软件产品线可变性需求表达不准确、缺乏特征描述方法的问题,在FODA等方法的研究基础上,从特征模型的层次分解、特征间依赖关系、变化性表示方法等方面进行描绘,提出一种适用于软件产品线的特征模型和特征描述方法．该特征模型能够帮助产品设计人员和开发人员正确理解产品需求,也是为后续实现软件产品线自动化生产打下基础．     

基于模型对比和组合的软件产品线领域需求建模

软件产品线作为系统化的软件复用方式,可以提高软件的开发效率和质量.软件产品线变化性建模是软件产品线的关键技术,通过建立变化性模型以记录软件产品线成员产品的共性和变化性.目前的软件产品线变化性建模方法大都通过领域专家进行分析建立,这种方法过度依赖于领域专家的分析能力,在系统规模较小的情况下,变化性分析比较容易,但是如果系统规模变大,则系统的规模对于变化性分析的影响会越来越大.文中提出一种半自动的软件产品线领域需求建模方法,基于关注点分离的思路,利用特征模型表示软件产品线中系列产品的不同方面的特征信息,通过特征模型的对比和组合实现领域需求模型的构建.为有效地实现特征模型对比与组合,文中提出一种基于标记和结构的特征模型对比方法,同时,文中实现了基于约束的特征模型组合.基于公开的特征模型,文中对提出的方法进行了验证,实验结果表明,文中提出的领域需求建模方法能够在一定准确率的情况下有效地实现领域需求模型的构建.     

集合！华硕笔记本电脑特色软件介绍

上一期我们介绍acer的关怀科技，相信大家对笔记本电脑的特色软件已经有了初步的了解和认识。这些软件正如我们文中介绍的一样，不仅仅是实用工具，而且还是笔记本电脑厂商的特征标志。本期我们带来的是华硕笔记本电脑的一些特色软件。[编者按]     

软件构件的可复用性量化评价模型研究

软件构件的可复用性是构件区别于软件的最大特性,构件的可复用性将影响到最终的软件质量和应用,通过对构件的可复用性度量指标的分析,将特征分析法应用于指标的权重计算,采用模糊综合评判法进行可复用性指标的度量,构建了一个构件的可复用性量化评价模型并给出了应用实例.模型对构件库的建设、管理和应用有重要参考意义.     

一种基于硬件特征和动态许可证的服务器端软件授权认证模型

软件版权保护是知识产权保护体系中的重要组成部分。针对目前传统的服务器端软件授权方式无法完全满足EULA要求的问题,基于硬件特征和独立授权管理服务器的架构,提出了支持动态许可证的分布式服务器端软件授权认证模型。该模型通过"强制特征验证和原子授权"的机制解决了软件版权保护、软件迁移的重新认证授权等问题,在可行性、安全性和完备性等方面均达到了EULA协议的要求。     

一种形式化的软件可演化性特征描述方法

软件系统的活性和安全性是判断软件可演化性的重要依据之一。现有方法多使用经典逻辑对系统的活性和安全性进行刻画。环境及涉众的复杂性使得软件的可演化性分析可能出现矛盾的输入。经典逻辑的无矛盾律导致其不能对软件系统的演化特性进行有效建模。针对该问题,提出了一种形式化的软件可演化性特征描述方法,该方法允许矛盾性输入的存在,可用于对软件可演化性等存在矛盾特性的系统进行建模和分析。该方法使用多值时序逻辑刻画软件系统的演化需求,同时提出了一种抽象软件模型对软件系统进行建模,通过抽象软件模型的活性和安全性来对软件系统的可演化特征进行描述。     

面向服务的网构软件中间件研究 *

网构软件是近年来提出的一种具有自底向上的自主性、协同性、反应性、演化性、多态性等特征的软件状态 ,主要用来解决 Internet下分散的构件体的共享、集成和复用 ,但网构软件还处于发展初始阶段。结合 SCA简化 SOA所构建的业务应用程序的设计和集成 ,以及 SDO和 DAS的数据访问模式来构建一种网构软件中间件框架 ,并用 UML对各个阶段建模 ;最后结合 Apache下 SCA系统的 Tuscany开源包的一个远程教育集成系统来应用该网构软件中间件。     

开源环境下开发人员行为特征挖掘与分析

软件项目开发人员行为特征是软件工程领域所关注的重要问题之一,获取个体行为特征可用于评估项目发展的进度、认识项目的发展特征、发现制约项目发展的瓶颈以及发觉项目开发过程中的异常现象.文中基于Alitheia平台设计并实现了两个测度插件,并结合一些著名开源软件项目的版本控制系统SVN库中的相关数据,对参与项目的开发人员的多种贡献行为和协同行为进行度量和深入分析,发现了一些具有重要理论和实践价值的现象与结论,揭示了开源模式下开发人员的部分行为特征.     

软件质量保障技术

文章从软件工程方法、软件质量国际标准体系、软件可靠性和软件构件技术等方面介绍了现有的软件质量保障技术,同时分析了用数据挖掘方法研究软件质量的可行性,并提出了具体的解决方案。     

Component Point: A system-level size measure for Component-Based Software Systems

System-level size measures are particularly important in software project management as tasks such as planning and estimating the cost and schedule of software development can be performed more accurately when a size estimate of the entire system is available. However, due to the black-box nature of components, the traditional software measures are not adequate for Component-Based Software Systems (CBSS). In this paper, we describe a Function Point-like measure, named Component Point (CP), for measuring the system-level size of a CBSS specified in the Unified Modelling Language. Our approach integrates three software measures and extends an existing size measure from the more matured Object-Oriented paradigm to the related and relatively young CBSS discipline. We then apply the proposed measure to a Global Positioning System and demonstrate its viability in sizing a CBSS. An empirical analysis is also provided in order to prove the validity and usefulness of the CP measure.     

对计算机软件测试的几点看法

随着软件技术规模和复杂程度的加大,作为软件工程中贯穿整个软件生命周期重要组成部分的软件测试,要求越来越严格,也富有很强的挑战性。笔者根据多年从事软件测试经验,提出从事软件测试的几点看法,相信本文对软件测试起着抛砖引玉的借鉴作用。     

软件可靠性预测的核函数方法

通过合理的假设和抽象,把软件可靠性预测问题转化成从高维空间向低维空间的非线性映射,采用核函数回归估计理论对软件失效时间数据之间的对应关系进行建模,在新建立的模型中,随着软件失效不断发生,模型参数将不断自动调整以适应失效过程的动态变化,从而实现软件可靠性的自适应预测,并对模型中核函数以及回归估计算法的选择进行了研究。最后,对14个软件失效数据集进行了实验分析,并对新建模型与部分其它模型的预测能力和适用能力进行了比较。     

AML模型导航工具的设计与实现

基于面向对象建模语言AML ,开发了一种在软件模型中实现动态导航的方法。这种方法通过将软件模型不同侧面的视图映射到一种集成支撑表示中 ,提供动态导航算法 ,从而实现软件开发者同时对软件系统不同侧面模型的访问     

通过校验值推算关键地址的软件保护方法研究

为了保护软件所有权,针对反汇编工具或动态调试工具的特点,提出运用多种校验因子进行数学运算,推算出关键函数地址的方法,进行函数动态定向,避免了简单的逻辑判断与直接比较,使攻击者陷入逻辑陷阱,从而提高软件反跟踪调试的能力,有效地阻止对软件的逆向分析,保护了软件的知识产权。     

基于Turbo PROLOG的面向对象方法

面向对象 (OO)技术是当前计算机界讨论的热点。另一方面 ,知识信息处理正在成为计算机应用的主要领域 ,发展中的基于知识的软件工程也将成为一种关键的软件技术。本文提出一种基于 Turbo PROLOG的 OO程序设计方法学。我们 :(1 )简明地讨论了 OO方法的基本概念和基本要素 ;(2 )给出了在 Turbo PROLOG中实现 OO各要素的规则和方法 ;(3)分析了 OO基本特征在该方法中的体现及存在问题。     

虚拟仪器技术在大学电类专业实验教学中的应用

开拓一个全新的实验教学平台，做到既花费少，又能使学生利用最先进的技术去主动有效地学习，培养他们的创造性思维和动手能力，从而提高实验教学的质量，一直是高校实验教育工作者的心愿。本文介绍了基于NI的LabVIEW软件的实验教学平台，以具有代表性的实例，阐述了虚拟仪器系统在大学电类专业实验教学中的优势；罗列了其功能强大、高效、易用、开放、灵活、性价比高、更新周期短、用户可自定义等诸多优点，表明了它的实用性和先进性。     

基于DSP控制数字化弧焊电源的设计与实现

DSP控制技术是目前数字化弧焊电源数字控制系统中的核心技术。利用DSP具有的结构与性能特点,采用合理的控制策略和算法,进行数字化弧焊电源的软件设计与编程,来实现熔化极气体保护焊中典型的电源特性控制、送丝系统控制、焊接参数的调节控制等功能。DSP控制系统数据处理能力强、运行速度快,提高了弧焊电源数字控制的精度和实时性。