-
公开(公告)号：CN117785653A
公开(公告)日：2024-03-29
申请号：CN202311256655.0
申请日：2023-09-26
Inventor： 比姆森·乔希 , 郑光哲 , 萨蒂亚·普拉文·加纳帕蒂 , 拉梅什·奇特 , 拉克施米·玛尼坎塔·詹贾南 , 朴镛石 , 斯里帕德·江阿姆
IPC: G06F11/36
Abstract: 本发明涉及一种使用MCDC方法的代码分析设备和代码分析方法。该代码分析方法包括：将源代码所指示的包括n个条件的表达式转换成布尔表达式；基于布尔表达式生成包括多个节点的二叉表达式树；通过分析每个节点是叶节点还是父节点来初始化每个节点的翻转极限和翻转次数；通过将多个节点当中多个父节点中的每个父节点以及多个父节点中每个父节点的两个子节点的布尔值初始化为多个有效情况之一来生成第一测试用例，多个父节点中的每个父节点的名称是运算符；以及通过基于第一测试用例在从根节点到叶节点的路径上对具有翻转可行性的所有节点执行翻转来生成n个测试用例，并且存储第一测试用例和n个测试用例。
Search Results
1
records
(took 0.023 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
