- 博客(25)
- 收藏
- 关注
RSS订阅原创 UML活动图分析及用例生成实例
本文描述了OneLogic对一个UML活动图的分析实例。使用活动图分析，可以提高活动图合规程度、发现设计缺陷，生成覆盖活动图分支的场景。另外，如果所设计的活动图结构化程度较高，则可以生成可执行测试用例，这将大大降低验证阶段编写测试用例的负担。
2023-03-13 14:21:59
1980
原创 辨析：测试用例、测试规程、测试脚本
本文依据DO-178C、ISO/IEC/IEEE 29119等标准规范以及工程实践，对测试用例、测试规程、测试脚本进行了简要辨析
2023-03-13 14:09:47
1419
原创 和ChatGPT聊UML/SysML活动图模型生成测试用例
本文说明了基于UML活动图生成测试用例时，常见的两方面问题，即模型的规范性和可测试性。
2023-03-10 09:29:57
1735
1
原创 UML状态机 测试用例生成实例
状态机图是系统设计、实现活动中常见的输出物。通过自动生成技术获得测试用例集，可以对状态机实现更好的测试覆盖。在实际工程中，当该技术适用时，将大大减少人工编写用例的工作量，提高测试覆盖度。
2023-03-09 14:59:26
749
原创 需求结构化：Scope（作用域）
OneLogic提供的Scope需求作用域模块，一方面有助于需求开发者完整描述需求，另一方面有助于需求使用者更加结构化的理解需求。
2023-03-07 11:50:52
317
原创 需求结构化：Response（响应）模式
Response（响应）可能是最常用的需求描述模式。本文说明了OneLogic中提供的Response模式，包括基本Response模式及延时Response模式，以及该模式的基本使用示例及常见问题。
2023-03-06 09:51:08
546
原创 需求结构化：数据定义
结构化是需求能够被计算机自动处理的前提。现实中大量需求是采用自然语言描述的。如何使自然语言需求被高效的结构化并具有严格语义，是OneLogic期望解决的问题之一。本文首先讨论了在数据定义上OneLogic所做的考虑，包括中文命名、双向数据定义等。
2023-03-06 09:42:20
446
2
原创 路径覆盖用例：全路径 vs. 线性无关路径
当全路径覆盖由于“路径爆炸”无法实现时，通过线性无关路径覆盖，可以以极少的用例，实现语句和判定覆盖。线性无关路径覆盖是一种很好的准则。
2023-03-06 09:33:01
2200
原创 带内部状态的多需求耦合用例生成
本文讨论的带内部状态的多需求耦合测试用例生成实例，体现了对实际需求进行缺陷检查、用例生成时的一些困难情况，包括大量需求耦合关联在一起；存在不可观测的内部变量；系统当前行为依赖历史输入等。
2023-02-27 16:36:47
179
原创 分支逻辑的测试用例生成
本文通过一个实例，说明了针对分支逻辑类需求的用例生成，包括MC/DC用例、路径覆盖用例。分支逻辑相比判定逻辑，在应用中更加常见。由于分支逻辑存在执行路径问题，需要考虑路径可达性、路径约束条件、路径前序动作的副作用（side effect）等因素，使得针对分支逻辑的用例生成更加复杂。这也更体现出工具的必要性。
2023-02-27 16:12:25
209
原创 判定逻辑的测试用例生成
判定逻辑是用例生成的基本单元，但仍可能相当复杂。本文通过实例，展示了OneLogic对判定逻辑的一些复杂情况的处理，包括耦合条件、时序条件、运算关系、条件数量较大等。除了生成用例，还可以发现逻辑中的冗余条件，生成逻辑语法树辅助逻辑分析，生成覆盖报告辅助人工审查。
2023-02-24 14:34:45
317
原创 为什么要生成测试用例？
规模大、复杂度高，使得人工编写用例成为一个耗时长、重复性、伤脑筋的工作。自动生成用例，是要把人从结构化、重复性的工作中解放出来，毕竟软件不会烦躁。而当规模及复杂度大到一定程度，利用工具代替人工，也应成为必然的选择。
2023-02-23 18:43:20
340
1
原创 一个模式互斥性检查的实例
本文给出了一个模式互斥性检查的实例。对于复杂需求，相比于人工审查，自动化需求检查能够更有效的在逻辑迷雾中发现隐藏的缺陷。
2023-02-22 14:07:08
169
原创 一个自然语言需求歧义实例分析
讨论了一个自然语言语义模糊的例子。EARS给出了一种所谓“温和的”（gentle）约束机制，此外还有更多的使语义清晰的方法，包括文本方式或者图形方式，但都面临一对矛盾，即表达的方便性、适用性和语义的确定性之间的矛盾。
2023-02-06 09:45:34
719
原创 结构化需求能否自动转换为Matlab Simulink模型？
结构化需求能否转换为Simulink模型这一问题，应首先明确应用目的，即转换成Simulink模型要做什么。然后，应该检查实际应用中的需求类型，看是否适合转换。解决了上述问题，则转换在技术上不存在障碍。
2023-02-03 09:47:59
198
原创 Fault、Error及Failure的解释
Fault、Error和Failure的关系为：Fault（缺陷）可能导致Error（差错），Error（差错）可能导致Failure（失效）
2023-02-02 10:54:02
5358
2
原创 用例生成的递进关系
基于需求生成用例存在一种功能上的递进关系。判定覆盖用例、MC/DC用例是基本的；基于MC/DC用例，可以生成边界覆盖用例；在边界值用例之后，可以做等价类覆盖用例。
2023-01-31 14:46:31
134
原创 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
1035
原创 基于需求的测试是否适用MC/DC
在航空领域做基于需求的用例生成时，会生成一类MC/DC用例。这就带来一个问题，即：MC/DC是DO-178针对A级软件的结构覆盖要求，属于白盒测试；而基于需求的测试，不管被测对象是软件、设备还是系统，都是一种黑盒测试；因此，在基于需求的黑盒测试中，是否适用MC/DC规则？
2023-01-29 17:31:41
690
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人