![](https://img-blog.csdnimg.cn/20201014180756754.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
基于需求的用例生成
文章平均质量分 86
一仿
这个作者很懒,什么都没留下…
展开
-
UML活动图分析及用例生成实例
本文描述了OneLogic对一个UML活动图的分析实例。使用活动图分析,可以提高活动图合规程度、发现设计缺陷,生成覆盖活动图分支的场景。另外,如果所设计的活动图结构化程度较高,则可以生成可执行测试用例,这将大大降低验证阶段编写测试用例的负担。原创 2023-03-13 14:21:59 · 1706 阅读 · 0 评论 -
UML状态机 测试用例生成实例
状态机图是系统设计、实现活动中常见的输出物。通过自动生成技术获得测试用例集,可以对状态机实现更好的测试覆盖。在实际工程中,当该技术适用时,将大大减少人工编写用例的工作量,提高测试覆盖度。原创 2023-03-09 14:59:26 · 588 阅读 · 0 评论 -
需求结构化:Scope(作用域)
OneLogic提供的Scope需求作用域模块,一方面有助于需求开发者完整描述需求,另一方面有助于需求使用者更加结构化的理解需求。原创 2023-03-07 11:50:52 · 221 阅读 · 0 评论 -
需求结构化:Response(响应)模式
Response(响应)可能是最常用的需求描述模式。本文说明了OneLogic中提供的Response模式,包括基本Response模式及延时Response模式,以及该模式的基本使用示例及常见问题。原创 2023-03-06 09:51:08 · 409 阅读 · 0 评论 -
需求结构化:数据定义
结构化是需求能够被计算机自动处理的前提。现实中大量需求是采用自然语言描述的。如何使自然语言需求被高效的结构化并具有严格语义,是OneLogic期望解决的问题之一。本文首先讨论了在数据定义上OneLogic所做的考虑,包括中文命名、双向数据定义等。原创 2023-03-06 09:42:20 · 303 阅读 · 2 评论 -
路径覆盖用例:全路径 vs. 线性无关路径
当全路径覆盖由于“路径爆炸”无法实现时,通过线性无关路径覆盖,可以以极少的用例,实现语句和判定覆盖。线性无关路径覆盖是一种很好的准则。原创 2023-03-06 09:33:01 · 1875 阅读 · 0 评论 -
带内部状态的多需求耦合用例生成
本文讨论的带内部状态的多需求耦合测试用例生成实例,体现了对实际需求进行缺陷检查、用例生成时的一些困难情况,包括大量需求耦合关联在一起;存在不可观测的内部变量;系统当前行为依赖历史输入等。原创 2023-02-27 16:36:47 · 94 阅读 · 0 评论 -
分支逻辑的测试用例生成
本文通过一个实例,说明了针对分支逻辑类需求的用例生成,包括MC/DC用例、路径覆盖用例。分支逻辑相比判定逻辑,在应用中更加常见。由于分支逻辑存在执行路径问题,需要考虑路径可达性、路径约束条件、路径前序动作的副作用(side effect)等因素,使得针对分支逻辑的用例生成更加复杂。这也更体现出工具的必要性。原创 2023-02-27 16:12:25 · 131 阅读 · 0 评论 -
判定逻辑的测试用例生成
判定逻辑是用例生成的基本单元,但仍可能相当复杂。本文通过实例,展示了OneLogic对判定逻辑的一些复杂情况的处理,包括耦合条件、时序条件、运算关系、条件数量较大等。除了生成用例,还可以发现逻辑中的冗余条件,生成逻辑语法树辅助逻辑分析,生成覆盖报告辅助人工审查。原创 2023-02-24 14:34:45 · 224 阅读 · 0 评论 -
为什么要生成测试用例?
规模大、复杂度高,使得人工编写用例成为一个耗时长、重复性、伤脑筋的工作。自动生成用例,是要把人从结构化、重复性的工作中解放出来,毕竟软件不会烦躁。而当规模及复杂度大到一定程度,利用工具代替人工,也应成为必然的选择。原创 2023-02-23 18:43:20 · 222 阅读 · 1 评论 -
一个模式互斥性检查的实例
本文给出了一个模式互斥性检查的实例。对于复杂需求,相比于人工审查,自动化需求检查能够更有效的在逻辑迷雾中发现隐藏的缺陷。原创 2023-02-22 14:07:08 · 92 阅读 · 0 评论 -
一个需求一致性检查实例
本文给出一个具体的需求一致性检查实例,来帮助理解更一般的需求检查的使用场景。原创 2023-02-22 09:49:54 · 259 阅读 · 0 评论 -
一个需求完整性检查实例
一个具体的需求完整性检查的例子,来帮助直观理解需求检查是什么以及能做点什么。原创 2023-02-11 11:51:22 · 175 阅读 · 0 评论 -
条件需求的语义模糊分析
从命题逻辑和时态逻辑两个角度,讨论了条件需求这一广泛使用的需求类型中存在的语义模糊问题。原创 2023-02-11 11:01:25 · 155 阅读 · 0 评论 -
一个自然语言需求歧义实例分析
讨论了一个自然语言语义模糊的例子。EARS给出了一种所谓“温和的”(gentle)约束机制,此外还有更多的使语义清晰的方法,包括文本方式或者图形方式,但都面临一对矛盾,即表达的方便性、适用性和语义的确定性之间的矛盾。原创 2023-02-06 09:45:34 · 501 阅读 · 0 评论 -
结构化需求能否自动转换为Matlab Simulink模型?
结构化需求能否转换为Simulink模型这一问题,应首先明确应用目的,即转换成Simulink模型要做什么。然后,应该检查实际应用中的需求类型,看是否适合转换。解决了上述问题,则转换在技术上不存在障碍。原创 2023-02-03 09:47:59 · 118 阅读 · 0 评论 -
用例生成的递进关系
基于需求生成用例存在一种功能上的递进关系。判定覆盖用例、MC/DC用例是基本的;基于MC/DC用例,可以生成边界覆盖用例;在边界值用例之后,可以做等价类覆盖用例。原创 2023-01-31 14:46:31 · 75 阅读 · 0 评论 -
DO-178B及DO-178C中的MC/DC有什么不同?
本文简要讨论了DO-178B及DO-178C中MC/DC的定义。简而言之,DO-178B仅允许唯一原因MC/DC,DO-178C扩展了屏蔽MC/DC及短路MC/DC,大大增强了对存在耦合条件情况的适用性。原创 2023-01-30 15:53:35 · 744 阅读 · 0 评论 -
基于需求的测试是否适用MC/DC
在航空领域做基于需求的用例生成时,会生成一类MC/DC用例。这就带来一个问题,即:MC/DC是DO-178针对A级软件的结构覆盖要求,属于白盒测试;而基于需求的测试,不管被测对象是软件、设备还是系统,都是一种黑盒测试;因此,在基于需求的黑盒测试中,是否适用MC/DC规则?原创 2023-01-29 17:31:41 · 537 阅读 · 0 评论