公开(公告)号：EP3905038B1

公开(公告)日：2024-09-18

申请号：EP20199146.0

申请日：2020-09-30

IPC: G06F9/451 ,  G06F11/34 ,  G06F11/36

CPC classification number: G06F9/451 ,  G06F11/3664 ,  G06F11/3476 ,  G06F2201/86520130101

公开(公告)号：EP4423613A1

公开(公告)日：2024-09-04

申请号：EP22887907.8

申请日：2022-09-29

Applicant: Fidelity Information Services, LLC

Inventor： CHONKAR, Hemendra ,  OSTERMUELLER, Erik ,  SINHA, Shambhu ,  PRABHAKAR, Joseph

IPC: G06F11/34 ,  G06Q10/06 ,  G06F11/00

CPC classification number: G06Q10/06313 ,  G06F11/008 ,  G06F11/3452 ,  G06F11/3409 ,  G06F11/3072 ,  G06F11/302 ,  G06F2201/86520130101

公开(公告)号：EP4416586A1

公开(公告)日：2024-08-21

申请号：EP22793795.0

申请日：2022-10-12

Applicant: Wales Interactive Group Limited

Inventor： PRING, Richard ,  BANNER, David ,  LEIGH, Samuel ,  JEFFERY, Lee

IPC: G06F8/33 ,  A63F13/60 ,  G06F8/34 ,  G06F8/41 ,  G06F9/455 ,  G06F11/34 ,  G06F11/36

CPC classification number: G06F8/34 ,  G06F8/33 ,  G06F8/41 ,  G06F9/4494 ,  G06F9/455 ,  G06F11/3604 ,  G06F11/327 ,  G06F11/302 ,  G06F2201/86520130101 ,  A63F13/47 ,  A63F13/67 ,  A63F13/69

公开(公告)号：EP4404067A1

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

申请号：EP24150536.1

申请日：2024-01-05

Applicant: Honeywell International Inc.

Inventor： LIN, Ke ,  S S, Jayakumar ,  YOGESHA, Aralakuppe Ramegowda ,  RAO, Parag Ravindra

IPC: G06F11/36 ,  G06F11/30 ,  G06F11/34

CPC classification number: G06F11/3604 ,  G06F11/3688 ,  G06F11/3692 ,  G06F11/3636 ,  G06F11/3466 ,  G06F11/302 ,  G06F2201/86520130101

Abstract: A method for verifying data and control couplings of software under test comprises obtaining software architecture and design information for the software; extracting expected control coupling information based on an order in which software component calls are in the software architecture; extracting expected data coupling information from one software component to another software component in a sequence diagram; updating the expected control and data coupling information in an expected control and data coupling sequencing table; deriving actual control coupling information from execution trace data obtained from a requirements based test execution; deriving actual data coupling information from data trace information; and updating the actual control and data coupling information in an actual control and data coupling sequencing table. The method then compares the expected and actual control coupling information, and compares the expected and actual data coupling information, to verify whether software components are interacting with each other as expected.

公开(公告)号：EP4187390B1

公开(公告)日：2024-06-26

申请号：EP22209579.6

申请日：2022-11-25

IPC: G06F11/30 ,  G06F11/34

CPC classification number: G06F11/3438 ,  G06F11/3006 ,  G06F11/3079 ,  G06F2201/87520130101 ,  G06F2201/86520130101 ,  G06F11/3414

公开(公告)号：EP4356563A1

公开(公告)日：2024-04-24

申请号：EP22727619.3

申请日：2022-05-12

Applicant: Microsoft Technology Licensing, LLC

Inventor： SURANA, Neeraj ,  DAMMALAPATI, Kantha Rao

IPC: H04L9/40 ,  H04L69/40 ,  G06F11/20 ,  H04L43/0805

CPC classification number: H04L63/30 ,  H04L69/40 ,  H04L43/0805 ,  H04W12/80 ,  G06F11/3055 ,  G06F11/302 ,  G06F2201/86520130101 ,  G06F11/3006 ,  G06F11/0757 ,  H04L43/10

公开(公告)号：EP4437701A1

公开(公告)日：2024-10-02

申请号：EP21823671.9

申请日：2021-11-24

Applicant: Telefonaktiebolaget LM Ericsson (publ)

Inventor： ACQUARONE, Fabio ,  BOTTARO, Paolo ,  PETRONIO, Andrea

IPC: H04L43/04 ,  H04L43/55 ,  H04L41/0681 ,  G06F11/36 ,  H04L43/20

CPC classification number: H04L43/04 ,  H04L43/55 ,  H04L41/0681 ,  H04L43/20 ,  G06F11/3466 ,  G06F11/302 ,  G06F2201/86520130101

公开(公告)号：EP4423606A2

公开(公告)日：2024-09-04

申请号：EP22786160.6

申请日：2022-09-05

Applicant: Microsoft Technology Licensing, LLC

Inventor： WANG, Weijian ,  LI, Na ,  SHI, Jun ,  WU, Yizhong ,  LUO, Xuling ,  HAN, Rongbin ,  SUN, Pin

IPC: G06F9/48 ,  G06F11/30 ,  G06F11/34 ,  G06F9/50 ,  G06F9/445

CPC classification number: G06F11/3006 ,  G06F11/3442 ,  G06F11/302 ,  G06F11/3024 ,  G06F11/3037 ,  G06F11/3017 ,  G06F9/44526 ,  G06F11/3409 ,  G06F11/3466 ,  G06F11/3055 ,  G06F2201/86520130101 ,  G06F11/3423

公开(公告)号：EP3362902B1

公开(公告)日：2024-08-28

申请号：EP16787966.7

申请日：2016-10-10

IPC: G06F11/30

CPC classification number: G06F11/3006 ,  G06F11/3072 ,  G06F11/3082 ,  G06F2201/8620130101 ,  G06F2201/86520130101 ,  G06F16/22 ,  G06F16/2379

公开(公告)号：EP3704586B1

公开(公告)日：2024-08-21

申请号：EP17930519.8

申请日：2017-10-30

IPC: G06F11/30 ,  G06F11/34 ,  H04W24/00

CPC classification number: H04W24/08 ,  G06F11/3006 ,  G06F11/302 ,  G06F2201/86520130101 ,  G06F11/3096 ,  G06F11/3495 ,  G06F11/3058 ,  G06F11/3433