公开(公告)号：US08612938B2

公开(公告)日：2013-12-17

申请号：US12652297

申请日：2010-01-05

Applicant: Bokil Prasad ,  Darke Priyanka ,  Venkatesh Ramanathan ,  Shrotri Ulka

Inventor： Bokil Prasad ,  Darke Priyanka ,  Venkatesh Ramanathan ,  Shrotri Ulka

IPC: G06F9/44

CPC classification number: G06F11/3612 ,  G06F11/3684

Abstract: The tool, MC/DC-Automatic Tool Generator automatically generates test data to satisfy Modified Condition Decision Coverage (MCDC) from input code/model. This tool reduces the effort required to generate MCDC test data significantly. In order to reduce the time required by model checkers, abstraction and optimization methodologies have been implemented to analyze typical reactive software model/code.

Abstract translation: 该工具，MC / DC自动刀具发生器自动生成测试数据，以满足来自输入代码/模型的修改条件决策覆盖（MCDC）。 该工具可显着减少生成MCDC测试数据所需的工作量。 为了减少模型检查所需的时间，已经实施抽象和优化方​​法来分析典型的反应性软件模型/代码。

公开(公告)号：US20100175052A1

公开(公告)日：2010-07-08

申请号：US12652297

申请日：2010-01-05

Applicant: Bokil Prasad ,  Darke Priyanka ,  R. Venkatesh ,  Shrotri Ulka

Inventor： Bokil Prasad ,  Darke Priyanka ,  R. Venkatesh ,  Shrotri Ulka

IPC: G06F9/44

CPC classification number: G06F11/3612 ,  G06F11/3684

Abstract: The tool, MC/DC-Automatic Tool Generator automatically generates test data to satisfy Modified Condition Decision Coverage (MCDC) from input code/model. This tool reduces the effort required to generate MCDC test data significantly. In order to reduce the time required by model checkers, abstraction and optimization methodologies have been implemented to analyze typical reactive software model/code.

Abstract translation: 该工具，MC / DC自动刀具发生器自动生成测试数据，以满足来自输入代码/模型的修改条件决策覆盖（MCDC）。 该工具可显着减少生成MCDC测试数据所需的工作量。 为了减少模型检查所需的时间，已经实施抽象和优化方​​法来分析典型的反应性软件模型/代码。