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

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

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

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

基于马尔可夫链的自然风风向建模

根据马尔可夫链基本理论,基于自主构建的小型气象站实测得到的高采集频度基础数据,以自然风风向为研究对象,对自然风风向建模并基于该模型生成随机时间序列,构建上海地区的自然风风向变化的转移概率概率矩阵模型。通过统计参数的分析证明:该方法对分析随机变化的风向特征具有通用性。最后,基于实测数据和该方法分析出的上海地区风向变化转移概率矩阵。     

基于网格的自动化测试研究与应用

由于通用自动化测试工具存在问题,引出了基于网格的自动化测试模型.该模型是在对软件自动化测试认识的基础上,利用网格技术的资源管理和测试调度策略,从而充分合理地使用资源和提高测试的效率.给出了该模型的构成和相关测试调度策略的实施方案.     

基于Markov链的最优化预测模型及其应用研究

马尔可夫预测方法在预测领域有着广泛的应用.该方法应用的一个重要的问题就是如何估计一步状态转移概率矩阵.在历史资料没有给出系统处于n个状态次数的情况下,给出一步状态转移概率矩阵估计的最优化方法.最后探讨了基于M arkov链的最优化预测模型在长江水质预测中的应用,从而表明该模型的有效性.     

绳牵引并联机器人悬链线优化解算方法

针对大跨度绳牵引并联机器人难以建立精确动力学模型的问题,该文提出一种绳索非线性悬链线模型降维优化解算方法.该方法首先通过柔索微分单元和积分法推导绳索悬链线模型的差分方程并确定其边界条件;根据系数矩阵行列式为零的方法对悬链线模型的超越方程进行降维;进一步通过换元法和Taylor展开方法求出悬链线模型的解析解;接着基于Ne...     

基于集群系统的自动化测试系统的设计与实现

由自动化测试存在的问题,引出了一种基于集群系统的自动化测试模型。文中详细介绍该模型的构成、实现以及优点,该设计思路对于研究自动化测试具有一定参考价值。     

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

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

信息降密的鲁棒性模型检测

鲁棒性降密策略限制攻击者不能通过向程序注入攻击代码而获取超出允许释放范围的敏感信息,但是该降密策略缺乏对超额释放的敏感信息的定量分析,限制性过强.为此,基于转移系统,建立了程序的形式化模型;基于信息格,提出了信息降密的鲁棒率定义,对程序中信息降密的鲁棒性进行度量;基于等价类,提出了信息降密鲁棒性的定量分析方法;基于有界模型检测方法,实现了信息降密鲁棒性的自动化定量分析.实践证明,该方法从量的角度对信息降密的鲁棒性进行了放松,实现了富有弹性的信息降密鲁棒性的控制.     

基于T-时延离散Petri网的小卫星测试序列生成方法

通过分析小卫星测试中被测对象组成,建立测试对象与T-时延离散Petri网(T-timed discrete Petri nets,TTDPN)映射关系,给出被测对象的TTDPN描述.提出TTDPN的矩阵表示方法,并证明关系矩阵与TTDPN模型间的若干性质.设计基于小卫星TTDPN模型的测试序列动态生成算法,解决了现有小卫星测试系统中测试序列执行效率低的问题.为验证算法的有效性和性能,在相同模型下将文中算法与传统测试序列生成算法进行仿真对比.结果表明,该算法能够根据用户需求,针对模型中可达状态,动态地生成测试序列,能够满足小卫星测试系统高可靠性要求.     

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.     

基于UML的软件可靠性测试用例生成的混合模型

为了解决实时控制系统软件可靠性测试用例生成的问题，在分析操作剖面模型和Markov链模型的基础上，提出了一种基于UML的混合模型．该模型用操作剖面模型来定义使用用例，并将状态图嵌入其中以表述该用例的动态特性．通过平展状态图获得使用图，使用图按一定的概率迁移，从而获得用Markov链表示的使用模型，而操作剖面模型定义的使用用例集与Markov链表述的状态迁移模型可结合生成可靠性测试用例．通过雷达波束调度软件可靠性测试表明，按所提模型在各测试周期生成的测试用例集的框架稳定性比较好，测试用例极少出现重复现象，它综合了操作剖面模型和Markov链模型的优点，可用于开发实时控制系统的软件可靠性测试用例．     

基于LoadRunner的理财平台的性能测试

基于LoadRunner的理财平台,设计了一种对软件的接口进行性能测试的方案,并将该方案用于上海佐昊网络科技有限公司理财平台的交互接口的性能测试.结果表明:不同场景下系统接口的性能特性不同,并发用户数为40个时TPS和CPU使用率等各项性能指标处于最佳状态;并发用户数为50个时CPU成为系统需要处理的瓶颈;证明了该方案的有效性.     

统计测试中操作剖面的一种优化设计方法

为了提高软件统计测试的效率,使用较少的测试资源达到测试目的,对测试剖面进行优化成为必需.采用客户需求和测试需求作为约束,模型静态参数或其他统计质量标准作为优化目标,提出了一种基于约束优化的测试剖面最优化计算框架.通过扩展蚁群算法研究了一种求解优化测试剖面的方法.实验表明,相对于传统的函数最优化方法,使用启发式的蚁群算法具有更好的优化效果,并且更具通用性.在统计测试中使用经过优化的测试剖面可以生成统计意义上符合测试需要的用例集合,提高测试效率.     

教学软件测试过程模型研究及应用

教学软件的开发已相对成熟,但在测试方面,尚未形成完善的测试过程模型或体系。在对教学软件所具有的教学性、人机交互性与科学性三大共性特点深入分析的基础上,充分结合了软件工程领域中的软件测试流程,遵循"测试与开发活动同时贯穿于软件生命周期"的思想,提出一个由教学需求设计、测试用例设计、教学设计、软件设计、单元与集成测试、编码、综合测试、教学评价等涵盖了软件开发、测试及评价活动共同组成的针对教学软件的测试过程模型,并通过实际测试项目予以应用实现。     

Verify UML statecharts with SMV

Formal verification has been widely needed in the development of safety critical systems. In order to introduce the design verification activity in UML developing process, we have developed a verifier of UML Statecharts by using the model checker SMV. The approach is to transform a system model in UML Statecharts to one in SMV input language via an intermediate language and then to verify the system properties specified in CTL by invoking SMV. The current experiences, including the formal verification of a simplified directory based cache coherence protocol in UML Statecharts, show that automatic verification can be integrated as a new step of the software process nicely.     

UML在实时系统测试环境建模中的应用

针对实时软件测试中测试环境和数据的模拟问题,采用基于UML的实时系统软件测试程序设计方法,使测试程序模拟的环境和数据更逼真、可靠,以保证软件测试的有效性．并以ATC（空中交通管制系统）实时软件测试为例,分析了实时软件测试的特点和存在的问题．以及UML语言的应用特点,利用UML（统一建模语言）提供的面向对象建模机制建立雷达数据模拟的模型,并在此模型基础上设计和开发了雷达数据模拟程序、生成可靠的模拟雷达测试数据．该雷达数据模拟程序已在作者参与的ATC实时软件测试中得到了很好的应用．     

建筑能耗软件协同开发及可靠性技术方法

建筑全性能模拟软件具有功能模块繁多、模块结构各异、独立性强等特征,面对其软件开发的多团队协同、多模块集成、可靠准确验证等需求,本文提出了建筑能耗模拟软件协同开发管理体系,采用GitLab平台进行代码管理、及其协同开发与集成,同时给出了软件可靠性在线检测工具,以及ASHRAE-140标准的软件准确性检验方法,建立了一套多家协同、科学可靠、准确高效的协同开发管理体系,实现了建筑全性能仿真平台内核的开发研制。     

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

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