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

41. 发明申请

WO2018159042A1 分析ソフトウェア管理システム及び分析ソフトウェア管理方法审中-公开
公开(公告)号：WO2018159042A1
公开(公告)日：2018-09-07
申请号：PCT/JP2017/042813
申请日：2017-11-29
申请人：株式会社日立製作所
发明人：山本　秀典 , 半田　岳志 , 山下　祐子 , 川崎　健治 , 崎川　修一郎 , 津野　高志
IPC分类号： G06Q10/06 , G06F8/70 , G06F19/00
摘要：【課題】データ分析の実施履歴の多寡に係わらずデータ分析部品の提案を可能とし、ひいては、データ分析用ソフトウェア作成の効率化やコスト低減を図る。【解決手段】データ利活用基盤サーバ１０１において、複数の所定システムから収集された分析対象データの間における関係性に基づき、前記分析対象データと当該分析対象データに対する分析処理を実行する分析部品との紐付けを規定する分析関係情報を生成する処理と、前記分析関係情報に基づき、ユーザにより分析対象として指定された所定データに対して、利用可能な分析部品の組合せを特定する処理と、を実行する演算装置１１２を含む構成とする。

42. 发明申请

WO2023288099A1 NORMALIZATION, COMPRESSION, AND CORRELATION OF VULNERABILITIES 审中-公开
公开(公告)号：WO2023288099A1
公开(公告)日：2023-01-19
申请号：PCT/US2022/037368
申请日：2022-07-15
申请人： ZERONORTH, INC.
发明人： BOBROV, Sergey , WISSEMANN, William Tyler , WISE, Aaron Phillip
IPC分类号： G06F21/57 , G06F8/61 , G06F8/70
摘要： Methods, systems, and apparatus, including computer programs encoded on a computer storage medium, for normalizing, compressing, and correlating vulnerabilities are disclosed. In one aspect, a method includes the actions of generating a first and second copy of a software target. The actions further include providing the first copy to a first scanning tool and the second copy to a second scanning tool. The actions further include receiving a first scanning tool output that identifies a first issue of the software target. The actions further include receiving a second scanning tool output that identifies a second issue of the software target. The actions further include determining that the first issue and the second issue are a same issue. The actions further include generating a combined issue of the first issue and the second issue. The actions further include outputting a notification that includes the combined issue.

43. 发明申请

WO2022269630A1 A SYSTEM AND METHOD FOR BUG IDENTIFICATION AND FAULT LOCALIZATION THROUGH DOMAIN-ONTOLOGY 审中-公开
公开(公告)号：WO2022269630A1
公开(公告)日：2022-12-29
申请号：PCT/IN2022/050562
申请日：2022-06-20
申请人： INDIAN INSTITUTE OF TECHNOLOGY - MADRAS (IIT MADRAS)
发明人： PATTIPATI, Dileep Kumar , NASRE, Rupesh , PULIGUNDLA, Sreenivasa Kumar
IPC分类号： G06F11/36 , G06F8/70
摘要： The present invention discloses a system and method for automatically identifying bugs and a portion of a code responsible for the bugs in a program (102). The method integrates domain-trace (120) and domain-ontology (112) to identify bugs. A domain-ontology-based Program Assertion (DOPA) framework (106) is configured to integrate formal representations available to the program (102), execution of the program (102), and domain-knowledge (114), thereby making these representations inter-operative with each other to identify the bugs. The DOPA framework (106) instruments the program (102) provided by a user, wherein execution-trace (110) file from the instrumented program is computed and stored during run-time using a Resource Description Framework (RDF) (108). The domain-ontology (112) is created by the user and a domain-trace (120) is generated. Explanations of the identified bugs are generated using items of execution-trace (110) and domain-ontology (112).

44. 发明申请

WO2022254487A1 情報処理プログラム、情報処理方法および情報処理装置审中-公开
公开(公告)号：WO2022254487A1
公开(公告)日：2022-12-08
申请号：PCT/JP2021/020615
申请日：2021-05-31
申请人：富士通株式会社
发明人：西垣　雅樹
IPC分类号： G06F8/70
摘要：非互換情報の同一性を判定する。　記憶部（１１）は、第１のソフトウェアを使用するソースコードの中から第２のソフトウェアと非互換である記述を探索するための情報であって、２以上の言語要素がもつキーワードと２以上の言語要素の位置関係とに対する条件を示す非互換情報（１３）を記憶する。処理部（１２）は、非互換情報（１３）から２以上のキーワードを抽出し、同一のキーワードの出現頻度に基づく頻度情報（１５）を生成し、位置関係の条件から推定される２以上のキーワードの出現順序を示す順序情報（１７）を生成し、頻度情報（１５）と非互換情報（１４）に対応する頻度情報（１６）との間の類似度と、順序情報（１７）と非互換情報（１４）に対応する順序情報（１８）との間の類似度とに基づいて、非互換情報（１３，１４）の同一性を判定する。

45. 发明申请

WO2022250564A1 СПОСОБ И СИСТЕМА ПРОВЕРКИ АРХИТЕКТУРЫ ПРОГРАММНО-АППАРАТНОГО РЕШЕНИЯ 审中-公开
公开(公告)号：WO2022250564A1
公开(公告)日：2022-12-01
申请号：PCT/RU2021/000232
申请日：2021-06-01
申请人： ПУБЛИЧНОЕ АКЦИОНЕРНОЕ ОБЩЕСТВО "СБЕРБАНК РОССИИ"
发明人： ПАНАСЮК, Ярослав Сергеевич , ДЕМИДОВ, Михаил Геннадьевич
IPC分类号： G06F8/10 , G06F8/70 , G06F11/22
摘要： Заявленное техническое решение, в общем, относится к проектированию программно-аппаратных решений, а более конкретно к автоматизированной проверке соответствия архитектуры программно-аппаратного решения архитектурным требованиям. Решаемой технической проблемой при реализации заявленного решения является обеспечение автоматизированной проверки архитектуры программно-аппаратного решения. В предпочтительном варианте реализации заявлен компьютерно-реализуемый способ проверки архитектуры программно-аппаратного решения, выполняющийся по меньшей мере одним процессором, и содержащий этапы на которых получают по меньшей мере один артефакт программно-аппаратного решения, определяют по меньшей мере одно цифровое архитектурное свойство программно-аппаратного решения, формируют реверсивную архитектуру программно-аппаратного решения, получают по меньшей мере один набор архитектурно значимых, для архитектурного контроля программно-аппаратного решения, требований и преобразуют указанный набор в единый цифровой унифицированный формат, формируют цифровой стандарт программно-аппаратного решения, выполняют проверку соответствия реверсивной архитектуры программно-аппаратного решения архитектурно значимым требованиям, содержащимся в цифровом стандарте, формируют результаты проверки программно-аппаратного решения.

46. 发明申请

WO2022239148A1 等価性検査システムおよび等価性検査プログラム审中-公开
公开(公告)号：WO2022239148A1
公开(公告)日：2022-11-17
申请号：PCT/JP2021/018051
申请日：2021-05-12
申请人：三菱電機株式会社
发明人：王　古▲月▼ , 磯田　誠
IPC分类号： G06F11/36 , G06F8/70
摘要：影響状態変数抽出部（１１０）は、変更前ソースコードと変更後ソースコードとのそれぞれから、繰り返し呼び出される対象関数に対する影響状態変数を抽出する。判定ステップ数算出部（１２０）は、変更前の前記対象関数が繰り返し呼び出され前記影響状態変数の値が初期値に戻り、且つ、変更後の前記対象関数が繰り返し呼び出され前記影響状態変数の値が初期値に戻る、という条件を満たす前記対象関数の呼び出し回数を判定ステップ数として算出する。判定コード生成部（１３０）は、変更前の前記対象関数と変更後の前記対象関数とのそれぞれを前記判定ステップ数と同じ回数繰り返し呼び出して等価性を判定する。

47. 发明申请

WO2022198333A1 SYSTEM AND METHOD FOR ISSUE COLLABORATIVE TRACKING 审中-公开
公开(公告)号：WO2022198333A1
公开(公告)日：2022-09-29
申请号：PCT/CA2022/050449
申请日：2022-03-25
申请人： TURBULENT MEDIA INC.
发明人： BEAUDET, Marc , BEAUSEJOUR, Benoit
IPC分类号： G06F8/70 , G06F11/36 , G06Q10/10
摘要： A method for tracking of issues in a software development process. The method comprises: receiving a request for submitting a new development issue; creating a temporary issue entry; receiving a first set of user-provided information pertaining to the new development issue; storing the first set of user-provided information within the temporary issue entry; determining, from an originating issue database, a first set of potentially duplicate originating issue entries; and if a selection of a given one of the first set of potentially duplicate originating entries is received, storing, in the originating issue database, the temporary issue entry as a new contribution sub-entry of the given selected originating issue entry.

48. 发明申请

WO2022178112A1 SYSTEM AND METHOD FOR IMPLEMENTING A SMART CLOUD DEPLOYMENT MODULE 审中-公开
公开(公告)号：WO2022178112A1
公开(公告)日：2022-08-25
申请号：PCT/US2022/016774
申请日：2022-02-17
申请人： JPMORGAN CHASE BANK, N.A.
发明人： RAO KRISHNAGI, Kumar , PORTER, Matthew J. , DONGISHARAPU, Laxman , PERLA, Vijay Kumar , BODA, Nalini S , WELLS, Mark Alan
IPC分类号： G06F8/20 , G06F8/60 , G06F8/61 , G06F8/70 , G06F8/71 , G06F9/50 , H04L12/24
摘要： Various methods, apparatuses/systems, and media for implementing a smart cloud deployment module is disclosed. A datacenter stores information data of all availability zones (AZs) associated with deployment of an application. A processor builds an availability zone (AZ) application programming interface (API) and calls the AZ API to retrieve the information data from the datacenter; dynamically and automatically determines, in response to calling the AZ API, prior to deploying the application, whether a first AZ defined in a deployment pipeline among the AZs within the datacenter is healthy for deployment of the application; and deploys the application utilizing the deployment pipeline when it is determined that the first AZ defined in the deployment pipeline is healthy. The processor also checks for another healthy AZ within the same datacenter or within other regions outside of the datacenter when it is determined that the first AZ is not healthy.

49. 发明申请

WO2022139952A1 DETECTING ADDED FUNCTIONALITY IN OPEN SOURCE PACKAGE 审中-公开
公开(公告)号：WO2022139952A1
公开(公告)日：2022-06-30
申请号：PCT/US2021/057487
申请日：2021-11-01
申请人： MICROSOFT TECHNOLOGY LICENSING, LLC
发明人： SHAVER, Jason R. , DE CASTRO, Gabriel Pedro , SHANMUGAM, Kesavan , MAZOR, Yuval
IPC分类号： G06F21/57 , G06F8/70
摘要： Detecting whether or not an open source software package has functionality which is not described by the source code used to build the open source software package. To do so, in one embodiment, this is done by accessing source code used to build the open source software package. The open source software package is built from the source code. After the open source software package has been rebuilt, then it is computed whether or not the rebuilt package accomplishes the same functions as the open source software package. Finally, if the rebuilt package does not accomplish the same functions as the open source software package, an alert is raised.

50. 发明申请

WO2022093385A1 PATTERN BASED CONFIGURATION VERIFIER 审中-公开
公开(公告)号：WO2022093385A1
公开(公告)日：2022-05-05
申请号：PCT/US2021/048309
申请日：2021-08-31
申请人： MICROSOFT TECHNOLOGY LICENSING, LLC
发明人： BHAGWAN, Ranjita , MEHTA, Sonu , RADHAKRISHNA, Arjun , GARG, Sahil
IPC分类号： G06F8/70 , G06F8/71
摘要： A computer implemented method includes obtaining multiple configuration files that include configuration commit histories, detecting patterns in parameter values in the configuration files to generate file-based rules for configuration parameters, detecting patterns in parameter values in the configuration files to generate history-based rules using commit histories for the configuration parameters, and exposing the rules to calling programs.

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式