论文部分内容阅读
在马尔可夫链模型的基础上,将软件测试结果的分析问题转化为一个经典概率问题。通过数学方法实现了软件测试模型的简化,加速了测试用例的生成,从而降低了测试的复杂度,解决了简化测试用例集难度的问题。通过实例证明,这种测试技术具有一定的实用性和有效性。
软件测试的一种数学简化方法
【摘 要】
：
在马尔可夫链模型的基础上,将软件测试结果的分析问题转化为一个经典概率问题。通过数学方法实现了软件测试模型的简化,加速了测试用例的生成,从而降低了测试的复杂度,解决了简化测试用例集难度的问题。通过实例证明,这种测试技术具有一定的实用性和有效性。
【机 构】
：
兰州交通大学电子与信息工程学院
【出 处】
：
计算机应用与软件
【发表日期】
：
2008年04期
其他文献
通过分析各种报表的结构特点,把报表分解为若干结构单元,建立通用报表模型。以Delphi为开发环境,详细阐述了一个用户可自定义的通用报表的设计及其DLL的制作过程,并介绍了该报表系统的软件结构及其实际应用,证实了该报表工具的用户可修改性和通用性。
通过对庆阳市近年来机械化发展现状、自然环境以及相关的扶植政策进行剖析，阐述了农机化水平与农村经济发展之间的关系。指出庆阳市在提高农机化水平的过程中，在资金投入、技术
在工作流系统中,组织模型提供活动执行者和企业的相关信息,具有重要的作用。而企业的组织结构、组织中的资源等在不断变化着,这就需要在工作流系统运行时,对组织模型进行持续的改进。就运行时组织模型维护的相关问题,提出了相应的解决方法,以实现组织模型的动态更新。最后给出一个包括组织建模、验证、资源分配以及组织模型的动态更新等功能的组织管理框架。
在过程驱动的Web Service组合方式中,Web Service组合与业务流程之间存在密切的关系。当前基于业务流程的Web服务组合方法简单的可以分为基于BPEL4WS的静态组合方法和基于工
介绍了多层面单位分割隐函数曲面(MPU)算法。该算法建立在局部形状函数、单位分割和八叉树细分的基础上,可由点云数据快速、准确、自适应地进行曲面反求。应用该算法,对车身外覆盖件和内部结构件进行了曲面反求,结果表明,该算法对汽车车身开发具有重要的应用价值。
詹姆逊通过'现实存在的马克思主义'、'后现代马克思主义'、'诗学马克思主义'的崭新话语展现了他所理解的马克思主义的实践精神、文化精神、乌托邦精
灰土挤密桩通过在地基中的挤土效应、灰土之间的物理化学反应,从而提高了地基土的承载力和水稳性。桩体和挤密土组成复合地基,在湿陷性黄土地区的地基处理中应用比较广泛。通
自1999年中央实施＂西部大开发＂发展战略以来,西北地区的人口流动规模持续增加,对区域经济的发展起到了重要作用。因此,准确把握西北地区人口流动的基本态势,深入了解流动人口生
对涪陵区、乡两级农技信息服务系统的研究作了描述,给出了电子邮件技术在系统中运用的设计模型,阐述了设计过程中的基本思想,并对基本功能模块和关键技术的实现加以说明。该系统具有较好的通用性,亦可供其它县、乡参考。