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

1. 发明专利

JP6264964B2 ソフトウェア検証方法及びプロセッサ有权
公开(公告)号：JP6264964B2
公开(公告)日：2018-01-24
申请号：JP2014050446
申请日：2014-03-13
申请人：富士通株式会社
发明人：吉田浩章 , ウィガーズ・マールテンエイチ
IPC分类号： G06F11/36
CPC分类号： G06F11/3604 , G06F11/3676

2. 发明专利

JP2017138978A カバレッジに基づく設計モデル用自動テストケース拡張のためのシステムおよび方法审中-公开
公开(公告)号：JP2017138978A
公开(公告)日：2017-08-10
申请号：JP2017012598
申请日：2017-01-27
申请人：ゼネラル・エレクトリック・カンパニイ
发明人：メン・リ , マイケル・リチャード・ダーリン , チャン・ダイ , スコット・アラン・ステイシー
IPC分类号： G06F11/36
CPC分类号： G06F11/3684 , G06F11/3676
摘要：【課題】カバレッジに基づく設計モデル用自動テストケースの拡張。【解決手段】設計モデルとモデルベース開発ツールからのモデルカバレッジギャップ情報とを自動テストケース拡張システムにおいて受信し、モデルカバレッジギャップ情報を機械可読な数学的テスト目標式に翻訳し、機械可読な数学的テスト目標式を翻訳することによって一群のテスト目標演算子を作成し、特定されたカバレッジギャップに対する目的の演算子を設計モデル内に配置し、テストモデルを作成するためにテスト目標演算子を設計モデルの目的の演算子に紐付け、目的の演算子におけるテスト目標を設計モデルのテストノード演算子に伝達することによってテストモデルを拡張し、カバレッジギャップをカバーするテストケースとモデルカバレッジギャップの原因とを得るために拡張されたテストモデルをテストジェネレータによって実行する。【選択図】図1

3. 发明专利

JP2015152979A 製品設計支援プログラム、製品設計支援方法および製品設計支援装置有权
标题翻译：产品设计支持计划，产品设计支持方法和产品设计支持设备
公开(公告)号：JP2015152979A
公开(公告)日：2015-08-24
申请号：JP2014023881
申请日：2014-02-10
申请人：富士通株式会社
发明人：菊地英晴
IPC分类号： G06F11/28 , G06F9/44
CPC分类号： G06F11/3692 , G06F11/3676 , G06F8/10 , G06Q10/06
摘要：【課題】製品に必要な要件を実現する難易度を定量的に算出することで、製品の設計の支援を行うことを目的とする。【解決手段】製品設計支援装置は、データベース3と演算部6とを備える。データベース3は、要件を定義した第1の書類と、第1の書類から関連付けられ要件の機能を定義した第2の書類と、第2の書類に関連付けられたテスト書類と、テスト書類に対応付けられたテスト結果と、を記憶する。演算部6は、第1の書類に関連付けられた全ての第2の書類についてのテスト書類に含まれるテスト項目の数とテスト項目のテスト結果とに基づいて、要件を実現する際の難易度を算出する。【選択図】図1
摘要翻译：要解决的问题：通过定量计算满足产品所需要求的难度来支持产品的设计。解决方案：产品设计支持设备包括数据库3和运算单元6.定义要求的第一个文档，第二个文档相关联第一个文件定义要求的功能，与第二个文件相关联的测试文件，以及与测试文件相对应的测试结果存储在数据库3中。运算单元6基于以下原则计算满足要求的难度：包含在与第一个文档相关联的所有第二个文档相关联的测试文档中的测试项目的数量以及测试项目的测试结果。

4. 发明专利

JPWO2012104907A1 プログラムの実行性能評価のためのテストデータ生成方法有权
公开(公告)号：JPWO2012104907A1
公开(公告)日：2014-07-03
申请号：JP2012555559
申请日：2011-02-02
申请人：株式会社日立製作所
发明人：千代　英一郎 , 英一郎千代
IPC分类号： G06F11/28
CPC分类号： G06F11/3684 , G06F11/3414 , G06F11/3624 , G06F11/3668 , G06F11/3676 , G06F2201/865 , G06F2201/88
摘要：プログラムの性能評価に用いられるテストデータを生成する。まず性能評価対象のソースプログラムと、サンプルデータと、生成されるテストデータのサイズを決めるために用いられる生成パラメータとを入力装置から受け取る。そして、プロセッサがサンプルデータを用いてソースプログラムを実行し、当該ソースプログラム中の複数の文各々について、実行回数を取得する。更に、サンプルデータサイズの生成パラメータ倍のサイズを有するテストデータであって、ソースプログラム中の複数の文各々についての実行頻度が、サンプルデータを用いてソースプログラムを実行した際の当該複数の分各々についての実行頻度と同じとなるテストデータを、取得された実行回数に基いてプロセッサが生成する。

5. 发明专利

JP2013235386A Optimization apparatus, optimization method and optimization program 审中-公开
标题翻译：优化装置，优化方法和优化方案
公开(公告)号：JP2013235386A
公开(公告)日：2013-11-21
申请号：JP2012106908
申请日：2012-05-08
申请人： Internatl Business Mach Corp , インターナショナル・ビジネス・マシーンズ・コーポレーションInternational Business Machines Corporation
发明人： INOUE HIROSHI
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F8/443 , G06F9/4552 , G06F11/3608 , G06F11/3636 , G06F11/3676 , G06F11/3684
摘要： PROBLEM TO BE SOLVED: To provide a technique for optimizing a virtual call guard at a method boundary in a code sequence.SOLUTION: An optimization apparatus 210 comprises: an insertion unit 212 inserting a method test for each of virtual functions included in a code sequence; an acquisition unit 214 acquiring at least one profiled run-time class of a receiver object used for calling each of the virtual functions at execution of the code sequence subjected to the insertion processing; and an optimization unit 218 inserting, in place of the inserted method test for each of the virtual functions included in the code sequence, a class test that sets a recording-time class and the run-time class of a corresponding receiver object as classes to be permitted on condition that the run-time class of the corresponding receiver object has successfully called all virtual functions requesting the method test for the receiver object.
摘要翻译：要解决的问题：提供一种用于在代码序列中的方法边界处优化虚拟呼叫保护的技术。解决方案：优化装置210包括：插入单元212插入包括在代码序列中的每个虚拟功能的方法测试 ; 获取单元214在执行经过插入处理的代码序列时，获取用于调用每个虚拟功能的接收器对象的至少一个轮廓运行时间类; 并且优化单元218代替针对包括在代码序列中的每个虚拟功能的插入方法测试来插入类测试，其将相应接收器对象的记录时间类和运行时类设置为类，在相应的接收方对象的运行时类已成功调用请求接收方对象的方法测试的所有虚函数的条件下被允许。

6. 发明专利

JPS59158453A Program test device 失效
标题翻译：程序测试设备
公开(公告)号：JPS59158453A
公开(公告)日：1984-09-07
申请号：JP3361783
申请日：1983-02-28
申请人： Omron Tateisi Electronics Co
发明人： TAKAGI HARUO
IPC分类号： G06F11/28 , G01R13/28 , G06F11/36
CPC分类号： G06F11/3676
摘要： PURPOSE:To collect a C2 index representing how many number of times a certain loop part of a program especially among test coverage indexes is executed consecutively by providing plural address setting circuit and a comparator. CONSTITUTION:When a CPU1 outputs an address A1, the comparator 3 detects that the address id coincident with an address preset by an address setting circuit 6 and one input of an AND gate 14 goes to high level via an AND gate 9 and an FF13. When the CPU1 outputs an address A2; a comparator 4 detects the coincident output this time and a Q output of the FF13 is given to a counter 15 via AND gates 10, 14 and incremented by 1. Then, the FF13 is reset after a prescribed time. When a condition jumping out of a loop is satisfied, an address A3 is outputted, a count value (C2 index) of the counter 15 stored in a register 19 is transferred to a magnetic tape or the like, thereby allowing to collect the C2 index.
摘要翻译：目的：收集一个C2索引，代表一个程序的某个循环部分，特别是在测试覆盖率指标之间，通过提供多个地址设置电路和比较器连续执行多少次。构成：当CPU1输出地址A1时，比较器3检测到与地址设置电路6预设的地址一致的地址id和与门14的一个输入通过与门9和FF13进入高电平。当CPU1输出地址A2时; 比较器4此时检测到一致的输出，并且FF13的Q输出通过与门10,14赋予计数器15并递增1.然后，FF13在规定的时间之后复位。当满足跳出环路的条件时，输出地址A3，存储在寄存器19中的计数器15的计数值（C2索引）被转移到磁带等，从而可以收集C2索引。

7. 发明专利

JP6209985B2 製品設計支援プログラム、製品設計支援方法および製品設計支援装置有权
公开(公告)号：JP6209985B2
公开(公告)日：2017-10-11
申请号：JP2014023881
申请日：2014-02-10
申请人：富士通株式会社
发明人：菊地英晴
IPC分类号： G06F11/36 , G06F9/44
CPC分类号： G06F11/3692 , G06F11/3676 , G06F8/10 , G06Q10/06 , G06Q10/063

8. 发明专利

JP5933762B2 コード網羅率決定方法およびシステム有权
标题翻译：代码覆盖率测定方法及系统
公开(公告)号：JP5933762B2
公开(公告)日：2016-06-15
申请号：JP2014556784
申请日：2013-02-11
申请人：アリババ・グループ・ホールディング・リミテッド , ALIBABA GROUP HOLDING LIMITED
发明人：ジョウ・チイ , ツァイ・ホワ , スゥン・ティーンタオ
IPC分类号： G06F11/28
CPC分类号： G06F11/3676

9. 发明专利

JP2015219906A ソフトウェア確認方法およびプロセッサ审中-公开
标题翻译：软件验证方法和处理器
公开(公告)号：JP2015219906A
公开(公告)日：2015-12-07
申请号：JP2015056783
申请日：2015-03-19
申请人：富士通株式会社
发明人：吉田浩章 , マーティンウィガース
IPC分类号： G06F11/28
CPC分类号： G06F11/3676 , G06F11/3684
摘要：【課題】処理時間および使用する処理資源を低減したソフトウェア確認方法を実現する。【解決手段】分類モジュール130は、多重ファンクション120を含むソフトウェアプログラム110の一部を受け取る。分類モジュール130は、複数のファンクションを2つ以上のファンクションのクラスタ140に分類し、クラスタのそれぞれについて、シンボリック実行エンジン150がシンボリックドライバ152を生成する。ファンクションのクラスタ140は、シンボリックドライバ152を使用してシンボリックに実行され、クラスタ内のファンクションについて具体的なテストケース160を生成する。ファンクションのクラスタのシンボリックな実行のカバレッジが特定のカバレッジより小さいこと、または具体的なテストケースの数が特定の数より大きいことに応答して、分類モジュール130はファンクションを再分類する。【選択図】図1
摘要翻译：要解决的问题：提供一种验证软件的方法，其中使用的处理时间和处理资源被减少。解决方案：聚类模块130接收包括多个功能120的软件程序110的一部分。聚类模块130聚类将多个功能组合成两个或更多个功能集群140，并且符号执行引擎150为每个集群生成符号驱动程序152。使用符号驱动程序152来象征性地执行功能的簇140，以生成用于集群中的功能的具体测试用例160。响应于功能集群的符号执行的覆盖范围小于特定覆盖范围或具体测试用例的数量超过具体测试用例的特定数量，聚类模块130对功能进行重新聚类。

10. 发明专利

JP2015507303A コード網羅率決定方法およびシステム有权
标题翻译：代码覆盖率测定方法及系统
公开(公告)号：JP2015507303A
公开(公告)日：2015-03-05
申请号：JP2014556784
申请日：2013-02-11
申请人：アリババ・グループ・ホールディング・リミテッドAlibaba Group Holding Limited , アリババ・グループ・ホールディング・リミテッドAlibaba Group Holding Limited
发明人：ジョウ・チイ , ツァイ・ホワ , スゥン・ティーンタオ
IPC分类号： G06F11/28
CPC分类号： G06F11/3676
摘要：【解決手段】本願の実施形態は、コード網羅率決定方法、コード網羅率決定システム、および、コード網羅率決定のためのコンピュータプログラム製品に関する。コード網羅率決定方法が提供される。この方法は、プログラムのソースコードをリトリーブし、ソースコードに含まれるログファイル出力ポイントの理論的な数と、ソースコードに含まれるログファイル出力ポイントの位置情報とを決定し、プログラムの実行中に実際に出力されたログファイルをリトリーブし、各ログファイルに記録された対応するログファイル出力ポイントの位置情報に基づいて、実出力ログファイルのログファイル出力ポイントの実際の数を決定し、ログファイル出力ポイントの理論的な数と、実出力ログファイルのログファイル出力ポイントの実際の数とに基づいて、プログラムのコード網羅率を決定すること、を備える。【選択図】図4
摘要翻译：本实施例中，代码覆盖判定方法，代码覆盖判定系统的应用，并涉及一种用于代码覆盖判定的计算机程序产品。提供代码覆盖率测定方法。该方法检索程序的源代码，并且在源代码中的日志文件的输出点的理论数目，以在程序执行期间确定在源代码中的日志文件的输出点的位置信息检索实际输出的日志文件，所记录的相应的日志文件输出点的位置信息的基础上，为每个日志文件来确定实际的输出日志文件的日志文件输出点的实际数量，该日志文件包括输出点的理论数目，实际输出的日志文件的日志文件的输出点的实际数量的基础上，确定代码覆盖程序，所述。点域4

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式