会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 10. 发明专利
    • コンピュータ・プログラムの検査用のコンピュータ・プログラム、検査装置及び検査方法
    • 用于检查计算机程序,检查装置和检查方法的计算机程序
    • JP2016130923A
    • 2016-07-21
    • JP2015004590
    • 2015-01-13
    • トヨタ自動車株式会社
    • 山口 智也
    • G06F11/28
    • 【課題】 複数回に亘って処理が反復実行されるコンピュータ・プログラムの実行結果の動的な振る舞いの検査に於いて、検査された実行結果を得るのに要した時間又は回数が検査に於いて十分であるか否かの確認或いは評価を可能にすること。 【解決手段】 本発明のプログラム検査技術は、被検査プログラムの実行中の処理の変更及び/又は入力変数の変化の回数である遷移回数の計数又は所定の母数に対する遷移回数の割合(遷移カバレッジ)を算出する処理を行う。遷移回数又は遷移回数は、検査された実行結果を得た時間又は回数が検査に於いて十分であるか否かの確認或いは評価に利用可能である。 【選択図】 図3
    • 要解决的问题:为了能够检查或评估在检查执行结果的动态行为的检查中是否足以获得检查执行结果所需的时间或频率是否被重复执行多次的计算机程序的执行结果 解决方案:程序检查技术执行改变正在执行的检查程序和/或计数作为输入变量的变化次数的过渡频率或将转换频率(过渡覆盖)的速率计算为预定的群体参数的处理 。 过渡频率可用于检查或评估在检查中是否获得检查执行结果的时间或频率是否足够。选择图:图3