基于UML的数据采集测试用例生成研究

将UML协作图与状态图结合起来,以此为模型,用于集成测试用例的生成．首先以协作图为依据确定集成测试的对象,对状态图进行组合,形成组合状态图,并给出组合状态图的形式化定义,以及对组合状态图进行展开,然后用于集成测试用例的生成,在覆盖所有的测试需求的前提下,生成的测试用例较少．     

基于优化模型的类级测试数据自动生成研究

研究了一种基于优化使用模型的类级测试用例的自动生成方法。首先使用基于约束的非线性规划问题的求解方法获得Markov链使用模型的状态转移概率,建立优化的使用模型;然后以使用模型的概率转移为约束采用轮盘赌算法自动生成测试用例;最后以Euclidean Distane方法度量测试的充分性。实验表明此方法能够提高测试自动化水平,提高软件的可靠性。     

软件可靠性测试充分性的多准则判定及应用

在分析软件可靠性测试充分性特点的基础上,提出一种多准则充分性判定方法.依据运行剖面构造系统的使用模型,通过假设检验和贝叶斯推断确定测试用例数量,建立差异函数判断测试模型与使用模型的偏离,根据软件失效情况进行多轮次充分性判定,并使用贝叶斯方法积累测试信息,同时利用测试结果开展软件可靠性的评价与预测.实例分析表明,多准则充分性判定方法对可靠性测试用例集要求更加严格,使得根据该测试用例集的测试结果开展可靠性评价与预测更具可信性.     

基于测试剖面的软件可靠性测试数据生成技术

为了生成自动飞行控制系统软件可靠性测试数据，建立了软件可靠性的测试剖面、环境剖面等概念，提出了基于任务剖面的测试剖面生成技术和由测试剖面生成测试数据的方法，即将输入数据分为系统模式数据和环境数据，并在任务剖面下分别形成系统模式剖面和环境剖面，最后将两种剖面合成为测试剖面；将环境数据分解为控制分量和随机分量，再利用仿真的方法生成控制分量，从而生成复杂关联的测试用环境数据．通过对飞机执行任务的软件测试表明，所提方法能更为准确地描述软件的实际使用情况，其描述方式与硬件可靠性试验较为类似，可作软硬件系统综合的可靠性试验的基础．     

形式化表示UML顺序图的结构操作语义

采用三元组形式化定义了UML顺序图及其对应的结构操作语义规则,并采用该方法描述了身份验证过程对应的操作顺序.这为基于UML顺序图的测试用例的自动生成奠定了基础,也为UML顺序图的模型转换和模型验证提供了必要的前提条件.     

一种基于需求规约的谓词测试用例生成方法

软件失效多数由其包含的谓词引发.本文针对特定的故障模型,提出一种基于需求规约的谓词测试用例生成方法.该方法从需求规约中提取出因果图,再将因果图转换为谓词,再由BRO算法生成测试约束集,最后将生成测试用例集.实例分析表明,方法能有效生成测试用例集,并满足相应的测试谓词准则.     

基于UML的面向对象软件测试框架

统一建模语言(UML)是一组面向对象分析和设计的形式化表达语言，基于UML，统一软件开发过程(USDP)提出了软件开发的过程方法。目前，基于UML的软件测试研究中，很少有研究将开发过程和测试过程结合的系统研究。笔者提出了一个基于UML的面向对象软件测试框架，该框架有效地结合了UML和统一软件开发过程。所提出的测试框架将软件测试分为系统测试、类族测试和类测试，其中，系统测试根据use-case和系统序列图生成测试用例，类族测试根据集成的状态图生成测试用例，类测试根据类的状态图生成测试用例。介绍了UML与软件测试的层次关系，并讨论了各类测试用例的生成方法。     

基于Markov链使用模型的加速统计测试方法

为了提高软件统计测试的效率,使用较少的测试资源达到测试目的,提出了一种基于Markov链使用模型的软件加速统计测试方法.该方法通过均衡软件测试成本和软件投放后的失效风险,以软件平均总费用最小为目标,基于重要抽样技术的加速测试机理,采用交叉熵方法生成最优(或近优)测试剖面,同时给出了一种新的统计测试充分性判定准则,最后根据生成的最优测试剖面自动生成统计测试数据集.仿真实验结果表明,相对于传统的统计测试方法,使用交叉熵方法的加速统计测试方法能有效地降低软件总费用,显著增加关键操作的测试次数,是一种快速有效的加速统计测试方法.     

应用UML2.0模型的测试用例生成方法

针对软件开发过程中测试自动化程度低的问题,在研究基于模型的测试用例生成技术的基础上,提出了一种基于UML2.0序列图与用例描述的测试用例生成方法.采用事件确定有限自动机来描述系统序列图,通过命题投影时序逻辑的模型检测技术,验证了自动机模型的正确性.使用自动机模型与用例描述来生成测试用例,该用例满足事件与全路径覆盖准则.通过对图书管理系统的分析表明,该方法不仅能够提高软件的测试效率,而且还确保了针对管理员的执行动作所产生的测试用例的正确性.     

基于事件交互图树模型的GUI测试技术

针对目前GUI（graphical user interface,图形化用户界面）软件测试存在的复杂性和低效性问题,提出一种事件交互图树模型．将结构操作事件和系统交互事件相分离,建立组件树图和事件交互图模型,给出详细的GUI软件建模方法,并根据该模型设计测试覆盖率标准和测试用例生成方法,最后应用到实际系统中取得良好效果,大大提高了GUI测试的质量和效率．     

净室统计测试在银行凭证系统的应用研究

基于使用模型的统计测试是统计方法在净室软件测试上的一种应用.本文根据马可夫理论建立银行凭证系统的使用模型,并对基于状态转移矩阵和激励矩阵的马可夫链表示模型进行定量分析.通过比较该模型使用链和测试链之间的差异度,结合定量分析方法为自动化测试的充分性证明提供依据;采用discriminant值和测试人员的基准经验数据,提高软件自动化验证效率,结果表明该方法具有较好的测试收敛性.     

Testing and Evaluation for Web Usability Based on Extended Markov Chain Model

As the increasing popularity and complexity of Web applications and the emergence of their new characteristics. the testing and maintenance of large, complex Web applications are becoming more complex and difficult. Web applications generally contain lots of pages and are used by enormous users. Statistical testing is an effective way of ensuring their quality. Web usage can be accurately described by Markov chain which has been proved to be an ideal model for software statistical testing. The results of unit testing can b eutilized in the latter stages, wbich is an important strategy for bottom-to-top integration testing, and the other improvement of extended Markov chain model (FMM) is to present the error type vector which is treated as a part of page node. This paper also proposes the algorithm for generating test cases of usage paths. Finally, optional usage reliability evaluation methods and an incremental usability regression testing model for testing and evaluation are presented.     

基于马尔柯夫模型的福建长汀土壤侵蚀动态预测

根据南方红壤侵蚀典型区域--福建省长汀县1988、2000、2007年3个年份的遥感影像解译的土壤侵蚀数据,确定土壤侵蚀的初始状态矩阵和转移概率,应用马尔柯夫模型进行土壤侵蚀强度变化预测,结果与实际的误差通过了检验,模型在研究区的土壤侵蚀预测可靠.预测结果表明:研究区土壤侵蚀总面积2010年为40 031.76 hm2...     

Software Maintainability Evaluation Based on Quantitive Model

Software maintainability is one of the most important factors of software quality,but it is seriously difficult to evaluate the maintainability. Without evaluation,it is impossible to control. To estimate software maintainability state,parameter system of software was built up and maintainability state was defined into three states.Thought of application on maintainability evaluation based on hidden Markov chain( HMC) and fuzzy inference was presented.Three-state maintainability estimation model was constructed. To testify the feasibility of the model, a real example of software maintenance activity was carried out and the result from the example validated that the results of this study were applicable.     

基于IA技术双控制器网络化控制系统可靠性

在用以太网作为传输媒体的计算机网络化控制系统的基础上,提出了一种基于智能代理技术有双控制器的计算机网络化控制系统.在该系统中,控制系统的各组件是安装了一定硬件和软件的计算机,它们构成一个个智能代理,多个智能代理通过协同工作来完成整个控制系统的任务,提高了系统的性能.考虑到系统中计算机控制器的重要作用和状态,建立了系统的可靠性模型,利用Markov过程理论证明了与通常网络化控制系统相比,基于智能代理技术有双控制器的计算机网络化控制系统具有更高的可靠性和安全性.     

基于Markov链的集束型晶圆制造设备预防性维护建模

为了有效提高集束型晶圆制造设备的运行可靠性,同时降低其维护成本,提出了基于Markov链的预防性维护建模方法.根据集束型晶圆制造设备的特点,将设备使用情形分为运行状态、预防性保养状态、保养未能回复状态、预防性维修状态和维修无法回复状态,建立了设备状态转移模型.在此基础上,建立了集束型晶圆制造设备的预防性维护成本模型,进行了仿真实验分析.结果表明,该模型可有效分析不同参数组合下的单位时间预防性维护期望成本.     

中子通量测量系统可靠性

核电堆芯中子通量测量系统是对核反应堆进行中子通量实时精准测量的专用工具,其可靠性对核反应堆的运行也有重要影响.针对中子通量测量系统多状态的特点,提出一种将Markov模型和GO法结合的方法.首先通过Markov状态空间法对中子通量测量系统的可靠性进行分析建模,求得系统处于各个运行状态下的概率,然后根据系统原理构建GO图,用GO法实现了多状态下的中子通量测量系统可靠性分析.最后以某核电站中子通量测量系统为算例,验证了该方法,为中子通量测量系统可靠性的分析提供了有效的手段.     

基于Markov过程的集束型设备预防维护策略

为了更好地保障集束型晶圆制造设备运行的可靠性,同时考虑维护的经济性,建立了基于Markov过程的预防性维护策略.根据集束型设备的特点,采用大修和小修相结合的预防性维护方式,同时考虑随机失效和退化失效两种失效形式,建立了状态转移模型.依据Markov理论求得设备各状态的稳态概率及状态转移概率.再根据Markov决策理论及策略迭代算法求得最佳维护策略.实验结果表明,所提出的预防性维护策略有效可行.