【摘 要】
:
软件工程的第一步是需求分析,准确的分析需求对软件开发具有重要的意义。现实中,由于在需求的采集和细化阶段对系统的理解不全面,或者是相关领域环境的不确定,再者是语言表达的模
论文部分内容阅读
软件工程的第一步是需求分析,准确的分析需求对软件开发具有重要的意义。现实中,由于在需求的采集和细化阶段对系统的理解不全面,或者是相关领域环境的不确定,再者是语言表达的模糊性等都会使需求存在不确定性。因此针对不确定的需求构建的模型会出现不确定的因素,且根据该模型生成的测试用例同样会存在不确定的可能。目前,不确定需求的研究受到大家广泛的关注。然而,对不确定需求的研究多集中在检测、管理不确定性和基于需求变更建立需求模型上,却很少有人研究如何基于不确定需求直接生成测试用例。 本文主要研究如何基于软件的不确定需求为软件测试生成测试用例。研究一种典型的不确定需求,其蕴含“多种可能性”。本文的测试用例生成方法利用基于标记迁移系统的部分模型来描述不确定需求。然后,基于标记迁移系统和部分模型的特点,本文提出了一个测试用例自动生成算法。最后,根据与对应测试用例的不确定性相关的权值对测试用例进行优先级排序,以便为执行这些测试用例提供一个推荐建议。 本文的贡献点如下: (1)提出一种针对不确定需求建模的方法。该方法是基于标记迁移系统的一种形式化建模方法,能够描述软件系统的状态变化和迁移路径,以便基于路径的测试用例生成。 (2)给出一个测试用例自动生成算法。该算法的本质是一种基于路径的遍历算法,其目的在于从不确定需求的形式化模型中生成一组测试用例。由于通过形式化模型描述不确定性,导致测试用例也包含与不确定需求相关的信息,基于此对测试用例排序有助于生成的执行测试用例。 (3)提出一个解决循环的机制。考虑到模型中存在循环的复杂性,提出一个解决机制以避免状态爆炸的问题。
其他文献
矩阵特征值问题是数值代数领域的重要研究问题,不仅在数学领域的其它相关问题,并且在力学、物理等其他学科及信息、经济、机械等应用领域中也有十分广泛的应用.经过几十年的发
首先,运用试探函数的方法研究了外区域上带诺伊曼边界条件的小初值耗散波动方程utt-Δu+ut=u|p,证明了当非线性指数p满足1<p≤1+2/N(N为空间维数)时解将在有限时内破裂;而且,当1<p<1+
市场繁荣,竞争加剧rn中国已经成为全球最大的手机制造基地和全球最大的单一市场.中国市场凭借巨大的市场容量,3G阶段重大的发展机遇,以及极具竞争力的成本优势,吸引着国内外
近年来关于供应中断条件下供应链最优订购策略的研究引起了广泛的关注,供应中断条件下最优订购问题的研究已成为这一领域中的主流研究课题.本文在回顾国内外关于供应中断相关研究进展的基础上,运用概率统计和运筹学的理论和方法,在供应中断条件下,讨论了包含一个供应商与两个零售商供应链的最优订购问题和包含两个供应商与两个零售商供应链的最优订购问题,分别建立了由一个供应商和两个零售商组成的供应链在集中式决策与分散式
图的交叉数的问题由Turan引入.一个图的交叉数是指在图的所有的画法中,最小的交叉个数.对图的联图的交叉数已知的结果很少.图的交叉数的问题一般来说研究起来比较困难, Garey
郑州煤电公司告成煤矿设计生产能力为90万t/a,井深372m,21041工作面位于-110水平21采区,走向长度1407.5m,倾斜长度160m,可采长度1360m。该工作面煤层原生构造受滑动构造的
Z
本文共三章,主要讨论了多线性粗糙核奇异积分算子及其交换子在几类函数空间上的有界性质. 第一章借助于多线性奇异积分算子的Lp有界性,在一定假设下,通过函数分解技巧,得
本文在完备距离空间X中定义了几类随机压缩型算子并且建立了该类算子的随机不动点理论,具体内容如下: 在第一章中,给出了一些基本概念和引理,包括概率的定义、随机变量、
本文我们主要研究了极小纯投射模和C/-投射模,同时也研究了上述概念的对偶概念,即极小纯内射模和C/-内射模.在讨论了其基本性质之后,我们给出了极小内射(极小平坦)模和极小纯