公开(公告)号：CN104145249A

公开(公告)日：2014-11-12

申请号：CN201280070982.0

申请日：2012-02-29

Applicant: 飞思卡尔半导体公司

Inventor： 亚历山德鲁·吉卡 ,  拉兹万·约内斯库 ,  拉杜-维克托·萨尔马沙格

IPC: G06F11/36

CPC classification number: G06F11/3636 ,  G06F11/0775

Abstract: 本发明提出了一种用于调试计算机程序的方法。所述方法包括：在计算机(2.1)上运行至少一部分所述计算机程序，从而促使所述计算机执行指令序列(ABDACDABCD)并生成与所述执行的指令序列相对应的轨迹(ABDACDABCD)；以及当所述程序已经生成了异常时，基于所述轨迹选择一组一个或多个异常字符串(BD，AC，BC，ABD，BDA，DAC，ACD，DAB，ABC，BCD)，使得每个所述异常字符串是所述轨迹(2.2)的独特子串；以及向用户或调试工具(2.3)指示所述异常字符串。所述一组异常字符串尤其可包括所述轨迹的最终最短独特子串(BC)。也描述了计算机程序产品。

公开(公告)号：CN104145249B

公开(公告)日：2017-08-15

申请号：CN201280070982.0

申请日：2012-02-29

Applicant: 飞思卡尔半导体公司

Inventor： 亚历山德鲁·吉卡 ,  拉兹万·约内斯库 ,  拉杜-维克托·萨尔马沙格

IPC: G06F11/36

CPC classification number: G06F11/3636 ,  G06F11/0775

Abstract: 提出了一种用于调试计算机程序的方法。所述方法包括：在计算机(2.1)上运行至少一部分所述计算机程序，从而促使所述计算机执行指令序列(ABDACDABCD)并生成与所述执行的指令序列相对应的轨迹(ABDACDABCD)；以及当所述程序已经生成了异常时，基于所述轨迹选择一组一个或多个异常字符串(BD，AC，BC，ABD，BDA，DAC，ACD，DAB，ABC，BCD)，使得每个所述异常字符串是所述轨迹(2.2)的独特子串；以及向用户或调试工具(2.3)指示所述异常字符串。所述一组异常字符串尤其可包括所述轨迹的最终最短独特子串(BC)。也描述了计算机程序产品。