公开(公告)号：WO2018005267A1

公开(公告)日：2018-01-04

申请号：PCT/US2017/038911

申请日：2017-06-23

申请人： MICROSOFT TECHNOLOGY LICENSING, LLC

发明人： CHEN, Ling Tony ,  JOHNSON, Kenneth D. ,  LANGE, Jonathan E. ,  KINSHUMANN, - ,  MILLER, Matthew ,  SINGH, Neeraj

IPC分类号： G06F11/28 ,  G06F21/52 ,  G06F11/07

CPC分类号： G06F9/3861 ,  G06F3/0604 ,  G06F3/0631 ,  G06F3/0673 ,  G06F9/30032 ,  G06F9/30054 ,  G06F11/28 ,  G06F21/6227

摘要： In one example, a method includes allocating separate portions of memory for a control stack and a data stack. The method also includes, upon detecting a call instruction, storing a first return address in the control stack and a second return address in the data stack; and upon detecting a return instruction, popping the first return address from the control stack and the second return address from the data stack and raising an exception if the two return addresses do not match. Otherwise, the return instruction returns the first return address. Additionally, the method includes executing an exception handler in response to the return instruction detecting an exception, wherein the exception handler is to pop one or more return addresses from the control stack until the return address on a top of the control stack matches the return address on a top of the data stack.

摘要翻译： 在一个示例中，一种方法包括为控制堆栈和数据堆栈分配存储器的单独部分。 该方法还包括，在检测到调用指令时，将第一返回地址存储在控制堆栈中，并将第二返回地址存储在数据堆栈中; 并在检测到返回指令时，从控制堆栈中弹出第一个返回地址，并从数据堆栈中弹出第二个返回地址，并在两个返回地址不匹配时引发异常。 否则，返回指令返回第一个返回地址。 另外，该方法包括响应于检测到异常的返回指令而执行异常处理程序，其中异常处理程序将弹出来自控制堆栈的一个或多个返回地址，直到控制堆栈的顶部上的返回地址匹配返回地址 在数据堆栈的顶部。

公开(公告)号：WO2016121074A1

公开(公告)日：2016-08-04

申请号：PCT/JP2015/052608

申请日：2015-01-30

申请人： 株式会社日立製作所

发明人： 西　昌能

IPC分类号： G06F11/28

CPC分类号： G06F11/3608 ,  G06F11/28

摘要： 　ソフトウェアの不具合を検出するための手段としてモデル検査手法の有効性が知られているにも関わらず、検査に要する計算量の多さのため、大規模なソフトウェアを扱えない。　ソフトウェアのモデル検査問題を充足可能性判定問題に帰着させた上で、制約条件付き通知最適化問題を解く為に用いられるソルバが前記問題を解ける形に変換して、数値解析的に充足可能性を判定する。

摘要翻译： 虽然模型检查方法作为检测软件缺陷的手段的有效性是已知的，但由于检测需要大量计算，因此大型软件无法处理。 根据本发明，在软件的模型检查问题被认为是可满足性确定问题之后，将问题转换为可以由用于解决具有约束条件的通知优化问题的求解器求解的类型，并且可满足性 以数字分析方式确定。

公开(公告)号：WO2016039076A1

公开(公告)日：2016-03-17

申请号：PCT/JP2015/072980

申请日：2015-08-17

申请人： 日立オートモティブシステムズ株式会社

发明人： 西　昌能 ,  成沢　文雄 ,  大野　敦寛 ,  松原　正裕

IPC分类号： G06F11/36 ,  G06F11/28

CPC分类号： G06F11/28 ,  G06F11/36

摘要： 　検査対象ソフトウェアに対して入力する異常な入力値列をあらかじめ排除することにより、ソフトウェアの挙動を検査するために必要な計算リソースを抑制する。　本発明に係るプログラム検査装置は、検査対象である動的プログラムの入力値列、内部状態値列、および出力値列と、ソフトウェアの要件を記述した検査条件とを、充足可能性問題の制約条件として記述し、所望の検査条件を満たす解を探索することにより、検査に適した入力値列を出力値列から逆算的に求める。

摘要翻译： 本发明的目的是通过预先移除输入到待检查的软件的异常输入值行来抑制检查软件行为所需的计算资源。 根据本发明的程序检查装置描述作为可满足问题的约束，要检查的动态程序的输入值行，内部状态值行和输出值行以及描述软件需求的检查条件，并且搜索满足的解决方案 期望的检查条件通过反向计算获得，从输出值行，适合检查的输入值行。

公开(公告)号：WO2016016975A1

公开(公告)日：2016-02-04

申请号：PCT/JP2014/070123

申请日：2014-07-30

申请人： 株式会社日立製作所

发明人： 前岡　淳 ,  中村　秀樹 ,  田中　晶

IPC分类号： G06F11/28 ,  G06F11/36

CPC分类号： G06F11/3688 ,  G06F11/28 ,  G06F11/36 ,  G06F11/3644 ,  G06F11/3668

摘要： 　プログラムの開発状況や、テストの状況などに応じて重要なテストケースを抽出する開発支援システムである。代表的な実施の形態は、前記プログラムおよび前記各テストケースをリポジトリに保持して管理する構成管理部と、前記テストケースを実行してテスト結果を前記リポジトリに格納するテスト実行部と、を有し、前記テストケースは、その種類の情報と関連付けて前記リポジトリにおいて管理され、前記構成管理部は、前記プログラムの開発状況を判定して、前記開発状況に基づいて前記各テストケースに優先度を設定し、前記テスト実行部は、前記優先度に基づいて、実行する前記テストケースを抽出する。

摘要翻译： 这种发展援助系统根据程序的开发状态，测试状态等提取重要的测试用例。 具有代表性的实施例：配置管理单元，其保存并管理存储库中的程序和测试用例; 以及执行测试用例并将测试结果存储在存储库中的测试执行单元。 测试用例在与其类型信息相关联的存储库中管理，配置管理单元确定程序的开发状态，并根据开发状态设置每个测试用例的优先级，测试执行单元提取测试用例 在优先级的基础上执行。

公开(公告)号：WO2015008116A1

公开(公告)日：2015-01-22

申请号：PCT/IB2013/055921

申请日：2013-07-18

申请人： FREESCALE SEMICONDUCTOR, INC. ,  EDMISTON, Graham ,  DEVINE, Alan ,  MCMENAMIN, David ,  ROBERTSON, Andrew ,  SCOBIE, James, Andrew, Collier

发明人： EDMISTON, Graham ,  DEVINE, Alan ,  MCMENAMIN, David ,  ROBERTSON, Andrew ,  SCOBIE, James, Andrew, Collier

IPC分类号： G06F11/07

CPC分类号： G06F11/079 ,  G06F11/0721 ,  G06F11/0751 ,  G06F11/0757 ,  G06F11/0772 ,  G06F11/28

摘要： Apparatus suitable for detecting a fault in a processor 101 comprises a monitor 100 which receives input and output signals 102, 103 from the processor and generates a hash index key which is used to access entries in a hash table 203. The entries may include actions such as setting a timer 201 so that the response of an output to a change of state of an input may be confirmed as valid within a specified time interval.

摘要翻译： 用于检测处理器101中的故障的装置包括监视器100，监视器100从处理器接收输入和输出信号102,103，并产生用于访问散列表203中的条目的散列索引关键字。条目可以包括诸如 作为设置定时器201，使得输出对输入状态的改变的响应可以在指定的时间间隔内被确认为有效。

公开(公告)号：WO2014112317A1

公开(公告)日：2014-07-24

申请号：PCT/JP2013/084883

申请日：2013-12-26

申请人： 日産自動車株式会社

发明人： 市川　智

IPC分类号： G06F11/36

CPC分类号： G06F11/28

摘要： 　アクセス一貫性検査装置は、所定の条件に基づいて複数の分岐処理を切り替えて実行する一群のステートメントからなる分岐ブロックを特定し、分岐ブロック内で書き込みが行われる変数を検出する（Ｓ０１）。分岐ブロック内で切り替わることが可能な分岐処理の数を検出し、変数に書き込みを行う分岐処理の数を検出し（Ｓ０４）、分岐ブロック内で切り替わることが可能な分岐処理の数と変数に書き込みを行う分岐処理の数が一致するか否かを判断する（Ｓ０６）。そして、分岐ブロック内で切り替わることが可能な分岐処理の数と変数に書き込みを行う分岐処理の数とが一致しないと判断した場合、変数及び分岐ブロックの少なくとも一方を出力する（Ｄ０７）。

摘要翻译： 该访问一致性检查装置：识别分支块，其包括基于规定条件选择性地执行多个分支之一的语句组，并检测写入所述分支块内的变量（ S01）; 检测分支块内可能的分支的数量以及写入上述变量的分支数（S04）; 确定分支块内的可能分支的数目是否等于写入上述变量的分支数（S06）; 并且如果确定分支块内的可能分支的数目不等于写入变量的分支数，则输出变量和/或分支块（D07）。

公开(公告)号：WO2014027990A1

公开(公告)日：2014-02-20

申请号：PCT/US2012/050534

申请日：2012-08-13

申请人： HEWLETT-PACKARD DEVELOPMENT COMPANY L.P. ,  SPEKTOR, Adam ,  SHANI, Inbar ,  NITSAN, Amichai

发明人： SPEKTOR, Adam ,  SHANI, Inbar ,  NITSAN, Amichai

IPC分类号： G06F11/36 ,  G06F11/28 ,  G06F9/38

CPC分类号： G06F11/3692 ,  G06F8/71 ,  G06F11/28 ,  G06F11/3466 ,  G06F11/36 ,  G06F11/368 ,  G06F11/3684 ,  G06F11/3688

摘要： A method to perform performance tests on an application in a continuous deployment pipeline is provided herein. The method identifies code changes are two distinct builds in a performance test environment. The method obtains a baseline test result by executing a set of customized test scripts on a baseline build with a first code base. The method similarly tests the new build by executing the set of customized test scripts on the new build with a second code base to obtain a new test result. Performance values are determined by comparing the baseline test result and the new test result.

摘要翻译： 本文提供了在连续部署管道中对应用程序执行性能测试的方法。 该方法识别代码更改是性能测试环境中的两个不同的构建。 该方法通过在具有第一代码库的基线构建上执行一组定制的测试脚本来获得基线测试结果。 该方法类似地通过在新构建上执行定制测试脚本的集合来测试新构建，具有第二代码库以获得新的测试结果。 通过比较基准测试结果和新测试结果来确定绩效值。

公开(公告)号：WO2013153167A1

公开(公告)日：2013-10-17

申请号：PCT/EP2013/057605

申请日：2013-04-11

申请人： COMMISSARIAT A L'ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVES

发明人： LEMERRE, Matthieu ,  DAVID, Vincent ,  DEBICKI, Olivier

IPC分类号： G06F11/28

CPC分类号： G06F11/28

摘要： La présente invention concerne un dispositif pour générer au moins une signature au cours de l'exécution d'une tâche de programme sur un système de calcul, au moins un flot de valeurs transitant par bus entre une mémoire et une unité de calcul dudit système pendant l'exécution de ladite tâche, le dispositif comprenant des moyens (131, 132, 133, 134, 135) configurés pour observer au moins plusieurs desdites valeurs au cours de ladite exécution et pour calculer et mémoriser une signature à partir des valeurs observées. L'invention s'applique notamment à la détection d'erreurs dans l'exécution de programmes d'ordinateurs.

摘要翻译： 本发明涉及一种用于在计算系统上执行程序任务期间产生至少一个签名的装置。 在执行所述任务期间，至少一个价值流​​通过总线在所述系统的存储器和计算单元之间经过。 该装置包括被配置为在所述执行期间观察至少多个所述值并且基于观察值计算和存储签名的装置（131,132,133,134,135）。 本发明特别用于检测计算机程序的执行中的错误。

公开(公告)号：WO2013089210A1

公开(公告)日：2013-06-20

申请号：PCT/JP2012/082440

申请日：2012-12-14

申请人： 株式会社オートネットワーク技術研究所 ,  住友電装株式会社 ,  住友電気工業株式会社

发明人： 東　誠

IPC分类号： G06F11/30

CPC分类号： G05B15/02 ,  G06F11/28 ,  G06F11/30

摘要： 　複数系列の実行順序を監視することができる制御装置及び処理監視方法を提供する。　記憶部１２に、実行部２０が実行する複数の処理に付された識別情報に基づく複数系列の実行順序情報７０を記憶する。ＩＤ通知部２２ａは、実行する処理に付された識別情報を出力する。監視部３０は、予定ＩＤ特定部３１により、記憶部１２に記憶された複数系列の実行順序情報７０に基づき実行部１２が実行する処理の識別情報を系列毎に特定する。ＩＤ判定部３２は、ＩＤ通知部２２ａから出力された識別情報が、予定ＩＤ特定部３１により系列毎に特定された識別情報に一致するか否かを判定する。対応決定部３３は、ＩＤ判定部３２が一致しないと判定した場合に、エラー処理部４０へ通知する。

摘要翻译： 提供能够监视多个序列的执行顺序的控制器和过程监视方法。 基于由分配给由执行单元（20）执行的多个处理的识别信息的多个序列的执行顺序信息（70）被存储在存储器（12）中。 ID通知单元（22a）输出分配给执行处理的识别信息。 监视单元（30）基于存储在存储器（12）中的多个序列的执行顺序信息（70）通过预设的ID指定来指定由执行单元（20）针对每个序列执行的处理的识别信息 单位（31）。 ID决定单元（32）判定从ID通知单元（22a）输出的识别信息是否与由预设ID指定单元（31）指定的每个序列的识别信息相匹配。 当ID决定单元（32）的决定是不匹配时，匹配判定单元（33）通知错误处理器（40）。

公开(公告)号：WO2011024314A1

公开(公告)日：2011-03-03

申请号：PCT/JP2009/065209

申请日：2009-08-31

申请人： 株式会社 東芝 ,  太田 暁率 ,  遠藤 侑介 ,  進 博正

发明人： 太田　暁率 ,  遠藤　侑介 ,  進　博正

IPC分类号： G06F11/36 ,  G06F11/28

CPC分类号： G06F11/28

摘要： ［課題］不適合を発生する状態の特徴を容易に把握する。 ［解決手段］本発明の装置は、１つ以上の内部変数の値の組合せで定義される複数の状態と、複数のイベントと、イベントの発生に起因して生じる状態遷移とを含む状態遷移系を入力する手段と、事前条件とイベントと事後条件との組により定義される検証内容を入力する手段と、事前条件を満たす状態集合Pを状態遷移系から検索する手段と、検証内容のイベントが発生したときに事後条件を満たす遷移先状態に遷移する状態集合WPを状態遷移系から検索する手段と、状態遷移系の全ての状態の各々に関して、全ての内部変数と、状態集合P、WPへの所属有無とを記述した分類テーブルを生成する手段と、前記全ての状態をそれらの内部変数に基づき、状態集合P、WPへの所属有無へ分類する分類木を生成する手段と、状態集合Pに所属し状態集合WPに所属しないことを示す葉ノードに不適合状態ラベルを付与する手段とを備える。

摘要翻译： 公开了一种用于容易地掌握导致不合格状态的特征的状态转变验证装置。 状态转换验证装置包括：用于输入包含由事件的发生引起的一个或多个内部变量，事件和状态转换的值的组合定义的状态的状态转移系统的装置; 用于输入由一组先前条件，事件和后期条件定义的验证内容的装置; 用于从状态转换系统检索满足先前条件的状态集合（P）的装置; 用于从状态转换系统检索状态集（WP）的装置，该状态转换系统在发生验证内容的事件时转移到满足后置条件的转换目标状态; 一种用于生成关于状态转换系统的所有个体状态的所有内部变量和属于/不属于状态集（P和WP）的分类表的装置; 根据这些内部变量，生成用于将所有状态分类为属于/不属于状态集（P和WP）的分类树的装置; 以及将不符合状态标签应用于指示属于状态集（P）和不属于状态集（WP）的叶节点的装置。