专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明专利

JP6879097B2 条件式簡約化装置、プログラム、及び方法有权
公开(公告)号：JP6879097B2
公开(公告)日：2021-06-02
申请号：JP2017140299
申请日：2017-07-19
申请人：富士通株式会社
发明人：前田芳晴 , 松尾昭彦
IPC分类号： G06F17/10 , G06F16/00 , G06N5/04 , G06N99/00

2. 发明专利

JP6643718B2 プログラム分析方法、プログラム分析装置および分析プログラム有权
公开(公告)号：JP6643718B2
公开(公告)日：2020-02-12
申请号：JP2016095881
申请日：2016-05-12
申请人：富士通株式会社
发明人：前田芳晴 , 松尾昭彦 , 上村学 , 秦野智臣 , 平井健一
IPC分类号： G06F8/75

3. 发明专利

JP2016192093A 情報処理装置及びプログラム审中-公开
标题翻译：信息处理程序和程序
公开(公告)号：JP2016192093A
公开(公告)日：2016-11-10
申请号：JP2015072082
申请日：2015-03-31
申请人：富士通株式会社
发明人：上村学 , 松尾昭彦 , 前田芳晴 , 佐々木裕介 , 西川清 , 矢野啓介 , 加藤光幾
IPC分类号： G06F9/44
CPC分类号： G06F8/73 , G06F17/30616 , G06F8/75
摘要：【課題】プログラム中において業務ロジックに関連する重要な部分の特定を支援する情報処理装置及びプログラムを提供する。【解決手段】情報処理装置は、プログラムのソースコードに含まれる項目の中から、プログラムに対して入力されるデータ又はプログラムから出力されるデータを格納する第1の項目を、ソースコードを参照して特定する特定部11と、ソースコードを構成する所定の範囲ごとに、所定の範囲において参照されている第1の項目の数と、所定の範囲において第1の項目が参照されている回数とに基づく指標値を、所定の範囲に付与する付与部13と、各所定の範囲に対する前記指標値の付与結果を出力する出力部15と、を有する。【選択図】図2
摘要翻译：要解决的问题：提供一种用于支持与程序中的处理逻辑相关的重要部分的识别的信息处理器和程序。解决方案：信息处理器包括：识别部分11，识别存储一个要在程序中输入的数据或要从节目中从包括在节目的源代码中的项目中输出的数据，同时参考源代码; 赋予部分13，对于构成源代码的每个预定范围，基于在预定范围中参考的第一项目的数量和在预定范围内引用第一项目的频率来赋予索引值; 以及输出部15，输出相对于预定范围的指标值的赋予结果。图2

4. 发明专利

JP2016091236A 入力データ算出方法、入力データ算出プログラム及び入力データ算出装置审中-公开
标题翻译：输入数据计算方法，输入数据计算程序和输入数据计算单位
公开(公告)号：JP2016091236A
公开(公告)日：2016-05-23
申请号：JP2014223685
申请日：2014-10-31
申请人：富士通株式会社
发明人：佐々木裕介 , 上原忠弘 , 松尾昭彦 , 前田芳晴
IPC分类号： G06F11/28
摘要：【課題】非線形演算および等式を含むパス条件(制約)を満たす入力データを現実的な時間内に算出する。【解決手段】非線形演算および等式集合を含むパス条件(制約)中の等式集合に出現する変数から、説明変数を用いて説明できる特定の変数の組み合わせ(被説明変数)を特定し(S100〜S110)、被説明変数についての連立方程式として等式集合を解き、被説明変数それぞれについて説明変数で説明する式(連立解)を作成し(S112)、作成した式(連立解)に基づいて入力データを算出する(S118〜S126)、処理を情報処理装置のCPUが実行する。【選択図】図4
摘要翻译：要解决的问题：计算满足包括非线性计算的路线条件（限制）和实际时间中的方程式的输入数据。解决方案：输入数据计算程序使信息处理单元的CPU执行处理：识别一组特定可变数（待描述的可变数），其可以通过使用来自可变数的描述变量数来描述，其出现在包括非线性的通过条件（限制）中设置的方程中计算和方程组（S100到S110）; 将方程组解为与要描述的可变数相关的联立方程; 创建一个用于描述每个要描述的变量数量（方程式系统的数值解）中的描述变量编号的公式（S112）; 并根据创建的公式（方程式的数值解）计算输入数据（S118〜S126）。选择图：图4

5. 发明专利

JP2016009344A テストケース生成プログラム、テストケース生成方法、及びテストケース生成装置有权
标题翻译：测试案例生成程序，测试案例生成方法和测试案例生成设备
公开(公告)号：JP2016009344A
公开(公告)日：2016-01-18
申请号：JP2014129814
申请日：2014-06-25
申请人：富士通株式会社
发明人：徳本晋 , 上原忠弘 , 宗像一樹 , 藤原翔一朗 , モンプラターンチャイスッパシット , 片山朝子 , 前田芳晴
IPC分类号： G06F11/28
摘要：【課題】シンボリック実行を利用したテストケースを短時間で生成する。【解決手段】対象プログラムにおいて実行される複数の関数の各々についてシンボリック実行を行うとともに、シンボル変数に関わる分岐を辿った履歴を表す第1の条件と、当該関数の引数及び返却値についての第2の条件の少なくともいずれかを含むパス条件表を複数の関数の各々について生成する処理S103と、複数の関数に含まれるいずれかの関数を呼び出す第1の関数と第1の関数に呼び出される第2の関数とのマッチングを求める処理S105と、求めたマッチングの少なくとも1つより大きなマッチングを求めた第1の関数と第2の関数との間毎に、関数毎のパス条件表を論理積によって並列に統合する処理S106と、統合後のパス条件表を満たすシンボル変数の値を算出し、算出した当該シンボル変数の値を含むテストケースを生成する処理S109をコンピュータに実行させる。【選択図】図17
摘要翻译：要解决的问题：生成在短时间内利用符号执行的测试用例。解决方案：本发明使得计算机执行用于在目标程序中执行的多个功能中的每一个执行符号执行的处理S103，并且生成对于所述多个功能中的每一个，路径条件表包括指示与所述功能的参数和返回值相关的符号变量或第二条件的历史跟踪分支的第一条件，用于获得用于调用包括在多个功能中的任何功能的第一功能和由第一功能调用的第二功能的第一功能之间的匹配，用于通过第一和第二功能之间的每个间隔的逻辑积来并行计算每个功能的路径条件表的处理S106 获得比所获得的匹配中的至少一个更大匹配的第二功能，以及用于计算的处理S109 计算满足集成路径条件表的符号变量的值，并生成包含计算出的符号变量值的测试用例。

6. 发明专利

JP5825163B2 情報処理装置、情報処理方法、および情報処理プログラム有权
公开(公告)号：JP5825163B2
公开(公告)日：2015-12-02
申请号：JP2012062559
申请日：2012-03-19
申请人：富士通株式会社
发明人：前田芳晴 , 上原忠弘 , 宗像一樹 , 藤原翔一朗
IPC分类号： G06F11/28

7. 发明专利

JP2015187756A テストケース生成プログラム、装置、及び方法有权
标题翻译：测试案例生成程序，测试案例生成设备和测试案例生成方法
公开(公告)号：JP2015187756A
公开(公告)日：2015-10-29
申请号：JP2014064293
申请日：2014-03-26
申请人：富士通株式会社
发明人：上原忠弘 , 前田芳晴 , 片山朝子 , 宗像一樹 , 徳本晋 , 藤原翔一朗 , 佐々木裕介 , モンプラターンチャイスッパシット
IPC分类号： G06F11/28
摘要：【課題】被検査プログラムの検証品質を向上させることができる、より少数のテストケースに対応したパスを、被検査プログラムから抽出する。【解決手段】テストケース生成装置10は、抽出部12、集約部14、取得部16、生成部20を備える。抽出部は、被検査プログラム22から抽出した分岐網羅を実現するパス毎にパス条件を抽出し、パス条件に含まれる条件式(個別条件式)を抽出する。集約部は、個別条件式を集約する(原子論理式)。取得部は、原子論理式の真偽値の組み合わせから、抽出部が抽出した何れのパス条件も表していない真偽値の組み合わせで、且つ、原子論理式の各々が取る真偽値の組み合わせとして矛盾しない真偽値の組み合わせを取得し、抽出部が抽出したパス条件に、取得した原子論理式の真偽値の組み合わせに対応した新たなパス条件を追加した拡張パス条件を取得する。生成部は、拡張パス条件の各々に対応したテストケース24を生成する。【選択図】図4
摘要翻译：要解决的问题：提取能够提高检查对象程序的检查质量并对应于来自检查目标程序的较少测试用例的路径。解决方案：测试用例生成设备10包括：提取单元12; 聚合单元14; 采集单元16; 提取单元12提取实现从检查目标程序22提取的分支的覆盖的每个路径的路径条件，并提取包含在路径条件中的条件方程（单独条件方程）。聚合单元14聚合各个条件方程（原子公式）。获取单元16从原子公式的真值的组合中获取不表示由提取单元12提取的任何路径条件的真值的组合，并且不与各自的真值的组合相矛盾并且获取通过将与获取的原子公式的真值的组合相对应的新路径条件与由提取单元12提取的路径条件相加而获得的扩展路径条件。生成单元20生成对应于到每个扩展路径条件。

8. 发明专利

JP5772607B2 生成装置、生成方法、および生成プログラム有权
公开(公告)号：JP5772607B2
公开(公告)日：2015-09-02
申请号：JP2012003738
申请日：2012-01-12
申请人：富士通株式会社
发明人：前田芳晴 , 上原忠弘 , 宗像一樹 , 藤原翔一朗
IPC分类号： G06F11/28

9. 发明专利

JP2021002276A 分析プログラム、プログラム分析方法およびプログラム分析装置审中-公开
公开(公告)号：JP2021002276A
公开(公告)日：2021-01-07
申请号：JP2019116507
申请日：2019-06-24
申请人：富士通株式会社
发明人：前田芳晴 , 松尾昭彦
IPC分类号： G06F11/36
摘要：【課題】複数回のモジュール呼び出しを含むプログラムの実行パスを効率的に分析する。【解決手段】第1のモジュールに含まれる複数の呼び出し命令の実行結果に対して複数の中間シンボルを割り当て、シンボリック実行により、各呼び出し命令の位置に対応する第1の部分ロジック情報と、第1のモジュールの終了位置に対応する第2の部分ロジック情報と、呼び出し先の第2のモジュールの終了位置に対応する第3の部分ロジック情報を生成する。第2の部分ロジック情報で使用されている中間シンボルを検出し、対応する第1の部分ロジック情報と第3の部分ロジック情報とを合成してシンボル定義ロジック情報を生成する。シンボル定義ロジック情報で他の中間シンボルが使用されているか判定し、シンボル定義ロジック情報の生成を繰り返す。複数のシンボル定義ロジック情報を用いて、第2の部分ロジック情報を、中間シンボルを含まない全体ロジック情報に変換する。【選択図】図12

10. 发明专利

JP2018205969A 情報処理プログラム、情報処理装置及び情報処理方法审中-公开
公开(公告)号：JP2018205969A
公开(公告)日：2018-12-27
申请号：JP2017109345
申请日：2017-06-01
申请人：富士通株式会社
发明人：佐々木裕介 , 前田芳晴 , 上原忠弘 , 松尾昭彦
IPC分类号： G06F8/70 , G06F11/36 , G06F8/74
摘要：【課題】処理実行判定の判定条件の簡約化を高速に行う情報処理プログラム、情報処理装置及び情報処理方法を提供する。【解決手段】入力に対して所定の処理を実行するか否かを判定条件を用いて判定するプログラムを基に生成された、選言で接続される複数の条件群から未選択の条件群を1つ選択し、選択した条件群において連言で接続される変数を含む要素条件を抽出し、既に実行した判定結果を基に、抽出した要素条件の全てを充足可能か否か判定することを特徴とする。【選択図】図40

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式