基于UML的软件使用模型的研究与实现

UML作为事实上的工业标准，在软件开发中得到了日益广泛的应用。软件可靠性测试是高可靠软件质量保证的重要过程。研究基于UML的软件可靠性测试具有很强的现实意义。软件使用模型是进行软件可靠性测试的基础，可利用在软件开发早期阶段生成的UML模型，如用况图、顺序图、活动图，自动生成软件使用模型。     

基于UML的软件Markov链使用模型构造研究

软件统计测试要求基于软件使用模型产生测试例对软件系统进行测试,并根据测试结果评价软件可靠性,是高可靠软件测试的重要组成部分.由于统一建模语言(unified modeling language,简称UML)已经成为事实上的面向对象标准建模语言,因此,从软件UML模型构造软件使用模型就成为面向对象软件统计测试的关键.为此,定义了加入统计测试约束的UML用例图、序列图以及用例执行顺序关系,为基于UML的软件统计测试提供了一个形式化描述基础.在此基础上,给出一个从软件UML模型构造软件Markov链使用模型的算法,并给出了自动化支持工具UMGen的类图结构,基于一个卫星控制系统,说明了所提出方法的有效性.     

软件安全测试新武器——浅谈基于Dynamic Taint Propagation的测试技术

软件安全测试是保证软件能够安全使用的最主要的手段，如何进行高效的安全测试成为业界关注的话题。多年的安全测试经验告诉我们，做好软件安全测试的必要条件是：一是充分了解软件安全漏洞，二是拥有高效的软件安全测试技术和测试工具。     

基于Markov链路径使用模型的软件统计测试

探讨了建立基于路径使用的Markov链模型来分析模块内部代码结构的统计测试方法的可能性。提出将统计理论用于软件的结构测试，从理论上得出软件的结构可靠性结论。提出具有有限状态、离散时间序列的Markov链作为程序的使用模型和测试模型，使用Kullback判别式作为测试链收敛到使用链的判断准则，从理论上证明了测试链到使用链收敛的必然性。理论分析和初步的实验证明该方法是可行和有前途的。     

面向软件可靠性测试数据生成的剖面构造技术

软件可靠性测试是软件可靠性工程中的一项重要工作内容，通过软件可靠性测试积累的软件失效数据可以为软件可靠性的评估、验证提供重要的度量依据。针对传统的基于操作剖面的可靠性测试方法对实时嵌入式软件的适用性差、测试难以实施的情况，在操作剖面的基础上提出了一种层次化网络体系结构的使用剖面的概念，并研究了构造使用剖面的系统方法，以及根据使用剖面生成用于实时嵌入式软件可靠性测试操作序列的方法。该方法适用于实时嵌入式软件，对其它非实时软件也具有参考价值。     

基于UML的软件使用模型生成技术研究

软件可靠性测试是高可靠软件质量保证的重要过程，而软件使用模型则是进行软件可靠性测试的基础。UML(Unified Modeling Language)作为事实上的工业标准，在软件开发中得到了日益广泛的应用。研究基于UML的软件可靠性测试具有很强的现实意义。利用在软件开发早期阶段生成的UML模型，如用例图、顺序图、活动图，可以生成软件使用模型，进而可据此产生测试用例。     

基于使用模型的软件可靠性加速测试

给出了一种使用分层抽样和重要抽样方法并基于Markov链使用模型的软件可靠性加速测试的方法,在根据统计测试结果得到软件可靠性无偏估计的前提下,可以有效提高安全攸关软件的测试效率,部分解决了安全攸关软件统计测试时间和费用开销过大的问题.实例仿真结果表明,该方法可以有效地提高软件可靠性关键操作的测试效率.     

基于UML的软件Markov链使用模型的构建

构建软件的使用模型是进行软件可靠性测试及软件可靠性评估的基础.近年来,如何由软件的UML模型构造软件的使用模型成为研究热点.对于大型的软件系统来说,应用现有方法构建的软件Markov链使用模型的状态空间过于庞大,模型描述困难,不利于测试用例的自动生成及软件可靠性评估.针对以上问题,提出了一种由UML模型构建Markov链使用模型的方法.该方法将场景的前置条件和后置条件作为Markov链使用模型的状态,将场景的执行及执行概率作为状态之间的转移及转移概率.与现有方法相比,新方法构建的Markov链使用模型的状态空间小且无需人为干预,而且可以很方便地生成测试输入从而进行可靠性测试.针对UML模型的有效性,提出了经过可靠性评估扩展的UML模型生成Markov链使用模型的验证算法.最后通过一个卫星控制系统的实例对新方法的性能进行了验证.     

基于使用剖面的软件可靠性测试用例生成方法

为了获得软件的可靠性指标,需要设计操作剖面来仿真用户实际使用软件的情况,并基于操作剖面来进行可靠性测试.传统的基于操作剖面的可靠性测试方法难以适用于航天软件,为了解决此问题,描述了一种具有层次化网络体系结构特征的使用剖面的形式化定义,阐述了构造这种使用剖面的系统化方法,给出了根据使用剖面生成用于软件可靠性测试操作序列的算法,以及基于操作序列生成可靠性测试用例的方法.提出的方法经过实验验证表明是可行的.     

基于使用模型的嵌入式软件测试用例生成研究

基于Markov链使用模型的软件统计测试是产生高效测试用例,实现软件可靠性定量评估的有效方法。介绍了基于使用模型的统计测试方法,论述了使用模型的概念和特点,以及从使用模型中可以计算出的静态参数和它们在统计测试和软件开发中所起的作用。提出Markov链使用模型用于嵌入式软件的测试,从理论上得到嵌入式软件的可靠性。具体阐述了嵌入式软件的Markov链使用模,型自动生成测试模型的方法。同时使用改进的Kullback判别式探讨测试的可靠性问题,从理论上证明了测试链到使用链收敛的必然性。理论分析和初步的实例证明该方法是可行的和有前途的。     

软件可靠性测试方法研究

在软件的可靠性测试中,测试结果会受到测试用例的影响.为了得到最佳的结果,就需要公平选择测试用例,建立测试用例集,进行软件的可靠性测试.利用软件的运行剖面和软件失效数据进行软件可靠性评估是较可行的方法.     

软件测试浅谈

随着软件的发展和国际化，随之而来的软件质量问题也日益热门，而保证软件质量的最根本方式就是软件测试。软件测试是由专门测试组进行的一个正式的过程，在该过程中通过在计算机上运行程序考察一个软件单元、若干被集成的软件单元或整个软件包。所有相关联的测试是根据经批准的测试规程在经批准的测试用例上进行的。本文从软件测试人员、方法、工具等方面对软件测试进行全面的介绍。     

一种基于软件体系结构配置的测试用例生成算法研究

从软件体系结构配置生成测试用例是软件测试领域中的一个重要分支。本文首先提出了一组基于软件体系结构配置的测试标准及其计算规则。基于此，实现了基于软件体系结构配置的测试用例生成算法并分析了其时间复杂性。对人机结口（Marr-Machine Interface，MMI）实验表明，所提出的算法能够根据测试标准生成测试用例。     

基于软件总线技术的软件工程方法

该文提出了软件总线的框架结构,并对软件总线的模块设计方案进行了论述。文章最后描述了基于软件总线的软件开发方法及其过程。     

软件测试浅谈

随着软件的发展和国际化,随之而来的软件质量问题也日益热门,而保证软件质量的最根本方式就是软件测试。软件测试是由专门测试组进行的一个正式的过程,在该过程中通过在计算机上运行程序考察一个软件单元、若干被集成的软件单元或整个软件包。所有相关联的测试是根据经批准的测试规程在经批准的测试用例上进行的。本文从软件测试人员、方法、工具等方面对软件测试进行全面的介绍。     

基于构件的软件测试方法概述

构件技术成为当前软件工程中的发展方向,构件的软件测试成为软件测试中的一个新的研究领域。本文对构件技术做了简单的介绍后,对构件测试中遇到的困难和问题做了比较详细的描述,并介绍了目前过内外在构件测试方面的一些成果现状。     

软件安全性测试研究

随着软件的广泛应用和其规模、复杂度的不断提高,软件安全性问题日益突出。软件安全性测试是保证软件安全和质量、降低软件安全风险的重要手段。阐述了软件安全性测试概念,重点研究了国内外软件安全性测试的主要方法与工具,最后以一个SQL注入实例具体说明安全性测试的实施。     

测试管理工具在军用软件测试中的应用

通过对国内外主流软件测试管理工具的性能对比,结合我国军用软件测试要求和相关规范标准,分析了软件测试管理工具在军用软件测试过程中各环节的应用。利用软件测试管理工具能够克服人工方式进行测试管理的局限,加强测试工作的组织和管理,在保证测试工作的准确性、一致性的同时,有效地控制测试质量,更好地协调测试资源,提高测试工作的效率。研究内容为测评管理工具在军用软件测试过程中的使用提供了重要的参考依据。     

基于中间件的分布式系统开发过程的研究

分布式中间件是实现分布式系统的重要途径。从软件工程角度出发，探讨了基于中间件的分布式系统的开发过程，对其不同于传统软件过程中的设计、测试和维护等部分进行了讨论，分析了分布式系统的三层体系机构。