例文 (3件) |
静羅の部分一致の例文一覧と使い方
該当件数 : 3件
静的検証における網羅率を客観的に判断し、網羅検証を可能にする。例文帳に追加
To enable coverage verification by objectively determining a coverage rate in static verification. - 特許庁
フォーク箇所決定部110は、逐次処理プログラム101のフォーク箇所を網羅的に抽出し、そのうち静的ブースト値が静的足切り条件151を満たすものを除外する。例文帳に追加
A fork part determination part 110 exhaustively extracts fork parts of a sequential processing program 101 and excludes fork parts whose static boost values satisfy static screening conditions 151 among them. - 特許庁
フォーク箇所決定部110は、逐次処理プログラム101のフォーク箇所を網羅的に抽出し、そのうち静的ブースト値が静的足切り条件151を満たすものを除外する。例文帳に追加
A fork point determination part 110 comprehensively extracts the fork points of a sequential program 101 and excludes a fork point whose static boost value satisfies static elimination conditions 151. - 特許庁
例文 (3件) |
Copyright © Japan Patent office. All Rights Reserved. |
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |