会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 8. 发明申请
    • Problem Determination Via Model-Based Debugging
    • 通过基于模型的调试确定问题
    • US20080250273A1
    • 2008-10-09
    • US11696047
    • 2007-04-03
    • Cemal YilmazClay Williams
    • Cemal YilmazClay Williams
    • G06F11/00
    • G06F11/3636
    • A method for automated software debugging includes steps of: receiving an interface configured for accessing a program; receiving a behavioral model of the program; receiving a failing input sequence from the program; executing the failing input sequence on both the behavioral model and the program; validating, after each executing step, an expected behavior of the program by executing specially constructed test sequences from the behavioral model; performing model mutation for creating a hypothesis of faulty behaviors; verifying hypothesized faulty behaviors; and scoring hypothesized faulty behaviors for producing a ranked list of diagnoses. The method also includes a step of presenting the ranked list of diagnoses to a user.
    • 一种用于自动化软件调试的方法包括以下步骤:接收配置用于访问程序的接口; 接受该计划的行为模式; 从程序接收失败的输入序列; 在行为模型和程序上执行失败的输入序列; 在每个执行步骤之后,通过从行为模型执行专门构建的测试序列来验证程序的预期行为; 执行模型突变创造错误行为的假设; 验证假设的错误行为; 并评估假设的错误行为,以产生排名的诊断清单。 该方法还包括向用户呈现排序的诊断列表的步骤。