基于马尔可夫决策过程用交叉熵方法优化软件测试的研究

来源 :2007中国计算机大会 | 被引量 : 0次 | 上传用户:gedebao
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件测试是一种检测软件缺陷,提高可靠性水平的重要手段。证明、检测和预防是软件测试追求的目标,人们可以从不同角度设计软件测试来实现测试目标。软件测试策略主要包括如何选择测试用例及确定最佳停止测试时间来达到测试目的。软件测试的优化就是优化软件测试策略,关心如何设计软件测试,使得测试中每个行动都是达到测试目的的最优行动.一个最优测试剖面是指在适当时刻选择合适的测试用例(或测试技术或行为),实现测试目标的最优测试策略。因此,软件测试优化过程也可以看成是最优测试剖面的获取过程。
其他文献
近年来,用例在软件工程中出现的一系列新方法和理论中起到越来越重要的作用,但如何更有效的书写用例,将用例模型无缝的转换为分析模型、设计模型仍是用例技术应用于各种软件开发
会议
由于安全关键软件自身及其环境的复杂性,软件故障难以完全避免。因此,在软件出现故障后能够快速有效地诊断并隔离故障,使得软件能够持续关键任务的运行就显得十分重要。 本文
会议
基于构件的软件工程能够有效地提高软件开发的质量和效率.但传统的软件构件技术不能适应当前开放、动态、多变的Internet环境,软件构件需要具有更强的自治性、自适应性和智能
会议
相比传统方法,使用面向方面的相关思想和工具能编写更为灵活和通用的监视软件。 利用这一特性,本文提出了一种基于AOP的通用监视框架,并用AspectJ给出了在Java平台下的实现。
为了更好地理解和分析Web服务组合的过程及其行为特性,提出了基于扩展UML模型的Web服务组合建模和分析方法.在WSDL和BPEL描述的服务及其组合理论基础上,分别对UML2.0的顺序图和
会议
提出了基于渗流理论的概率可靠分发协议(PLPD).与其他概率可靠分发协议不同,PLPD协议感知节点的地理信息并进行有向分发,不需要泛洪控制信息来进行组成员管理.在PLPD协议中,