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

31. 发明专利

JP2017033562A 安全重視ソフトウェア開発のためのモデルベース技術および過程のためのシステムおよび方法审中-公开
标题翻译：系统和方法基于模型的技术和过程安全关键软件开发
公开(公告)号：JP2017033562A
公开(公告)日：2017-02-09
申请号：JP2016147916
申请日：2016-07-28
申请人：ゼネラル・エレクトリック・カンパニイ
发明人：ティモシー・リー・ジョンソン , アンドリュー・ウォルター・クレイポ , マイケル・リチャード・ダーリング , アレキサンダー・ウォルシュ , キット・ヤン・シウ , ルカ・パロリーニ , パナジオティス・マノリオス , メン・リー , ハン・ユー , スコット・アラン・ステイシー , グレゴリー・リード・サイクス
IPC分类号： G06F11/36 , G06F9/44
CPC分类号： G06F8/35 , G06F11/3604 , G06F11/3608 , G06F11/3676 , G06F8/42
摘要：【課題】安全重視ソフトウェアのモデルベース設計のための方法を開示する。【解決手段】自然言語ソフトウェア要件を受信し、意味モデリングかまたはグラフィックモデリングかを実装することによって仕様モデルを開発し、仕様モデルに形式要件解析を適用し、仕様モデルから要件ベースかつ堅牢性テストケースを自動生成し、仕様モデルに基づいて設計モデルを開発し、設計モデルにテストケースを適用し、設計モデルを使用してソースコードを自動生成し、テストケースおよび静的解析技術の両方を使用してソースコードを検証し、検証したソースコードから実行可能オブジェクトコードをコンパイルする。ソフトウェア仕様または設計モデルの解析の結果が満足でなければ、次いで仕様または設計モデルを調節して任意の不整合を修正し、そして解析およびテストケースを繰り返し適用する。【選択図】図1
摘要翻译：本发明公开了一种用于安全关键软件基于模型的设计的方法。 A接收到自然语言的软件需求，开发出通过实施或意建模或图形化建模，应用格式要求分析，规格型号规格型号，基于需求和健壮性测试案例从规格型号自动生成的，开发了一种设计模型基于所述规范模型，设计模型施加测试的情况下，并自动生成使用设计模型的源代码，同时使用测试用例和静态分析技术验证源代码碲，编译从验证和源代码可执行目标代码。如果结果是令人满意的分析软件规范或设计模型，然后通过调整规范或设计模型，并反复应用的分析和测试案例修改任何不匹配。点域1

32. 发明专利

JP2016521384A 永続部品および永続システムを識別するためのシステム、方法、およびプログラム审中-公开
标题翻译：系统用于识别永久组件和持久性系统，方法，以及程序
公开(公告)号：JP2016521384A
公开(公告)日：2016-07-21
申请号：JP2015556304
申请日：2013-05-15
申请人：日本電気株式会社
发明人：剣文向 , 剣文向
IPC分类号： G06F11/22
CPC分类号： G06N5/04 , G06F11/3676
摘要：本発明は、システム障害に至るカバーされたコンポーネント障害の組み合わせを表す所与の故障の木からコンポーネントの永続性を識別するコンポーネント永続性識別部を備える、永続コンポーネントを識別するためのシステムである。
摘要翻译：本发明包括一种组分的持久性识别单元从代表覆盖组件故障从而导致系统故障，用于识别持久组件的系统的一个组合的给定故障的木材标识持久性组件。

33. 发明专利

JP2015204109A ソフトウェアテストのためのシンボリック実行における状態パラメータ化审中-公开
标题翻译：用于软件测试的符号执行中的状态参数
公开(公告)号：JP2015204109A
公开(公告)日：2015-11-16
申请号：JP2015041801
申请日：2015-03-03
申请人：富士通株式会社
发明人：グオドンリー , インドラディープゴーシュ
IPC分类号： G06F11/36 , G06F11/28
CPC分类号： G06F11/36 , G06F11/3608 , G06F11/3676
摘要：【課題】シンボリック実行を用いて、大きな状態空間及び多くのプログラムの動作をテストする。【解決手段】エグゼキュータ120はシンボリック実行の出力としてテストケース150と統計量152とを生成する。ランタイム環境122は、実行可能コード(SUT)110のランタイム実行のシミュレーションを可能とし、オプティマイザ124は、シンボリック実行において使用される状態及び/又はパスを最適化し、エグゼキュータマネージャ126は、エグゼキュータ120の実行環境を管理し、状態マネージャ128は、c状態及びp状態を含むシンボリック実行における状態のインスタンスを生成及び管理し、シンボリック式ハンドラ130を使用して、シンボリック実行におけるシンボリック式を処理して解き、具体的インタプリタ132がシンボリック実行における具体的状態の実行特性を分析する。【選択図】図1
摘要翻译：要解决的问题：通过使用符号执行来测试大的状态空间和许多程序的操作。解决方案：执行器120生成测试用例150和统计152作为符号执行的输出。运行时环境122被配置为使得对可执行代码（SUT）110的运行时执行的模拟是可执行的，并且优化器124优化要用于符号执行的状态和/或路径，并且执行器管理器126管理执行器120的执行环境和状态管理器128生成并管理包括ac状态和p状态在内的符号执行中的状态的实例，并且通过使用符号类型处理器130处理并解码符号执行中的符号公式，并且具体的解释器132在符号执行中分析具体状态的执行特性。

34. 发明专利

JP2014206977A ソフトウェアメトリクスの決定有权
标题翻译：确定软件度量
公开(公告)号：JP2014206977A
公开(公告)日：2014-10-30
申请号：JP2014081101
申请日：2014-04-10
申请人：富士通株式会社 , Fujitsu Ltd
发明人： PRAVEEN K MURTHY
IPC分类号： G06F11/36
CPC分类号： G06F21/57 , G06F11/3644 , G06F11/3676 , G06F21/577
摘要：【課題】ソフトウェアコードのメトリックを決定する方法を提供する。【解決手段】開始点ノード、終了点ノード、及びメトリックノードを含む、複数のフローグラフノードを含むソフトウェアコードのためのフローグラフを生成し、複数の縮小化フローグラフノードを含むフローグラフに基づいて縮小化フローグラフを生成し、開始点ノードを含む第1の縮小化フローグラフノードと終了点ノードを含む第2の縮小化フローグラフノードとの間の縮小化フローグラフノードに基づいて、縮小化フローグラフノード内で通過パス数を決定し、第1の縮小化フローグラフノードとメトリックノードを含む第3の縮小化フローグラフノードとの間の縮小化フローグラフノードに基づいて、縮小化フローグラフ内でメトリック開始パス数を決定する。【選択図】図1B
摘要翻译：要解决的问题：提供一种确定软件代码度量的方法。解决方案：该方法包括：生成包括多个流图节点的软件代码的流程图，包括入口点节点，终止点节点，和度量节点; 基于包括多个合约流图节点的流程图生成合同流图; 基于在包括入口点节点的第一合同流图节点和包括终止点节点的第二合约流图节点之间的合同流图节点来确定合同流节点内的直通路径计数; 以及基于所述第一合同流图节点和包括所述度量节点的第三合同流图节点之间的合约流图节点来确定所述合约流图中的度量输入路径计数。

35. 发明专利

JP2014186727A Software verification methods and processor 有权
标题翻译：软件验证方法和处理器
公开(公告)号：JP2014186727A
公开(公告)日：2014-10-02
申请号：JP2014050446
申请日：2014-03-13
申请人： Fujitsu Ltd , 富士通株式会社
发明人： YOSHIDA HIROAKI , MAARTEN H WIGGERS
IPC分类号： G06F11/28 , G06F11/36
CPC分类号： G06F11/3604 , G06F11/3676
摘要： PROBLEM TO BE SOLVED: To provide a software verification method and the like independent of a software analysis tool.SOLUTION: A software verification method includes an operation of receiving at least a part of software. A part of a software program may include a software function in a class. The method may further include an operation of generating a proxy class including a proxy function including calling to the software function on the basis of the class and an operation of analyzing the proxy function. The analysis of the proxy function may include an operation of analyzing the software function on the basis of proxy conditions to be used by the proxy function. The proxy conditions are configured so as to be applied to a parameter and/or variables in the software function on the basis of the software program.
摘要翻译：要解决的问题：独立于软件分析工具提供软件验证方法等。解决方案：软件验证方法包括接收至少一部分软件的操作。软件程序的一部分可以包括一个类中的软件功能。该方法还可以包括生成代理类的操作，该代理类包括代理功能，包括基于该类别对软件功能的调用和分析代理功能的操作。代理功能的分析可以包括基于由代理功能使用的代理条件来分析软件功能的操作。代理条件被配置为在软件程序的基础上应用于软件功能中的参数和/或变量。

36. 发明专利

JP5430570B2 Methods for the test suite reduction by the system call coverage criteria 有权
公开(公告)号：JP5430570B2
公开(公告)日：2014-03-05
申请号：JP2010524182
申请日：2008-09-05
申请人：株式会社Nttドコモ
发明人：ディナカードゥルジャティ， , アジェイチャンダー， , 浩稲村
IPC分类号： G06F11/28
CPC分类号： G06F11/3676

37. 发明专利

JP5324638B2 Test equipment and test method 有权
公开(公告)号：JP5324638B2
公开(公告)日：2013-10-23
申请号：JP2011256422
申请日：2011-11-24
申请人：株式会社エヌ・ティ・ティ・ドコモ , ドコモ・テクノロジ株式会社
发明人：英俊矢崎 , 浩一浅野 , 武寿高橋 , 民若林
IPC分类号： G06F11/28 , G06F3/048
CPC分类号： G06F11/3676 , G06F3/04817 , G06F3/04842 , G06F3/0488 , G06F11/362 , G06F11/3664 , G06F11/3668 , G06F11/3672 , G06F11/3688
摘要： In the present invention, test equipment that evaluates operations made by software installed in a mobile terminal includes the following: a scenario setting unit that sets a scenario that includes operation information for executing functions run by the mobile terminal; an operation determination unit that determines whether an operation indicated by the operation information included in the scenario would be impacted by a device mounted on the mobile terminal; an operation object converter that makes conversion, in accordance with the device mounted on the mobile terminal, of any operation determined to be impacted by the device mounted on the mobile terminal; a scenario execution unit that executes the set scenario in accordance with the converted operation; and a scenario execution result determination unit that determines whether the execution results of the executed scenario are the same as the anticipated results.

38. 发明专利

JP2013008277A Coverage measuring apparatus and method and program 审中-公开
标题翻译：覆盖测量装置及方法与程序
公开(公告)号：JP2013008277A
公开(公告)日：2013-01-10
申请号：JP2011141671
申请日：2011-06-27
申请人： Toshiba Corp , 株式会社東芝
发明人： TANAKA HIROAKI , MIURA TAKASHI
IPC分类号： G06F11/28
CPC分类号： G06F11/3676 , G06F8/41
摘要： PROBLEM TO BE SOLVED: To shorten a coverage measuring time.SOLUTION: A coverage measuring apparatus comprises a compiler section, an execution environment section and a coverage calculation section. The compiler section generates a first object code from a program subjected to measuring coverage and inserts, into the first object code, an instruction of shift to code rewriting processing for rewriting a present instruction into a non-arithmetic instruction when the present instruction is executed. The execution environment section executes the first object code and generates a second object code. The coverage calculation section calculates the coverage of the program subjected to measuring the coverage on the basis of the first object code and the second object code.
摘要翻译：要解决的问题：缩短覆盖测量时间。解决方案：覆盖测量装置包括编译器部分，执行环境部分和覆盖计算部分。编译器部分从经过测量覆盖的程序生成第一目标代码，并且在执行当前指令时将第一目标代码插入到用于将当前指令重写为非算术指令的代码重写处理的指令。执行环境部分执行第一目标代码并生成第二目标代码。覆盖计算部根据第一目标代码和第二目标代码来计算经受测量覆盖的程序的覆盖范围。版权所有（C）2013，JPO＆INPIT

39. 发明专利

JP2009157456A Program verification device, program verification method and verification program 审中-公开
标题翻译：程序验证设备，程序验证方法和验证程序
公开(公告)号：JP2009157456A
公开(公告)日：2009-07-16
申请号：JP2007332152
申请日：2007-12-25
申请人： Toshiba Corp , 株式会社東芝
发明人： MARUCHI KOHEI , KATAOKA YOSHIO , SAKAI MASAHIRO
IPC分类号： G06F11/28
CPC分类号： G06F11/3696 , G06F11/3676
摘要： PROBLEM TO BE SOLVED: To efficiently expand test coverage in dynamic verification of a program.
SOLUTION: A program verification apparatus includes: a variable monitoring means executing a program to be verified, and monitoring a plurality of variables; a constraint condition holding means holding constraint condition including constraints of each variable and constraints between the variables; a state acquisition means acquiring a target variable state comprising a set of values of one or more target variables of the plurality of variables monitored by the state monitoring means; a state generation means generating a target variable state not acquired yet by the state acquisition means such that the constraint conditions are satisfied; and a state setting means setting the generated target variable state to the program to be verified.
COPYRIGHT: (C)2009,JPO&INPIT
摘要翻译：要解决的问题：在程序的动态验证中有效扩展测试覆盖范围。解决方案：程序验证装置包括：执行要验证的程序的可变监视装置，以及多个变量的监视; 约束条件保持装置，其保持包含每个变量的约束和所述变量之间的约束的约束条件; 状态获取装置获取包含由所述状态监视装置监视的所述多个变量中的一个或多个目标变量的值的集合的目标可变状态; 状态产生装置，用于产生尚未被状态获取装置获取的目标可变状态，使得满足约束条件; 以及状态设置装置，将生成的目标可变状态设置为要被验证的程序。版权所有（C）2009，JPO＆INPIT

40. 发明专利

JP2004213053A Object state classification method, system and program 审中-公开
标题翻译：对象状态分类方法，系统和程序
公开(公告)号：JP2004213053A
公开(公告)日：2004-07-29
申请号：JP2002378218
申请日：2002-12-26
申请人： Toshiba Corp , 株式会社東芝
发明人： OKAMOTO WATARU , UEKI KATSUHIKO , HIRAYAMA MASAYUKI
IPC分类号： G06F11/28 , G06F9/44 , G06F11/36 , G06F15/00
CPC分类号： G06F11/3676
摘要： PROBLEM TO BE SOLVED: To enable an efficient test based on a single measure of "state coverage" on all classes whether states of the classes are defined clearly or not. SOLUTION: An object to be determined and states thereof to be determined are specified (S201), and a state determination method set is created and registered (S202). When a plurality of state determination method sets are created, a state determination method set to be used is selected. For each concrete state as a state to be determined, all methods included in the selected state determination method set are invoked (S203), and execution results are recorded (S204). For each concrete state, the state determination method set used for the program execution, and the execution results are added to create a pseudo state (S205). The plurality of different concrete states with a plurality of pseudo states are grouped into concrete states each having the same pseudo state (S206). COPYRIGHT: (C)2004,JPO&NCIPI
摘要翻译：要解决的问题：为了能够基于对所有类的“状态覆盖”的单一度量进行有效的测试，无论是否明确定义类的状态。指定要确定的对象和要确定的状态（S201），并且创建并登记状态确定方法集（S202）。当创建多个状态确定方法集合时，选择要使用的状态确定方法。对于作为要确定的状态的每个具体状态，调用包括在所选状态确定方法集合中的所有方法（S203），并记录执行结果（S204）。对于每个具体状态，添加用于程序执行的状态确定方法集合和执行结果以创建伪状态（S205）。具有多个伪状态的多个不同具体状态被分组为具有相同伪状态的具体状态（S206）。版权所有（C）2004，JPO＆NCIPI

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式