公开(公告)号：KR102225449B1

公开(公告)日：2021-03-09

申请号：KR1020190056424A

申请日：2019-05-14

申请人： 충북대학교 산학협력단

发明人： 홍장의 ,  윤유상

IPC分类号： G06F11/36 ,  G06F8/41

CPC分类号： G06F11/3604 ,  G06F11/3684 ,  G06F11/3688 ,  G06F11/3696 ,  G06F8/41

摘要： 사이버-물리 시스템의 상호 작용 명세 작성 및 협업간 안정성 검사 시스템 및 방법이 개시된다. 각 사이버-물리 시스템(cyber-physical system, CPS)의 FMEA(failure mode and effect analysis) 수행 결과를 입력받는 위협 분석 모델 입력 모듈; 상기 각 사이버-물리 시스템의 임무 수행과 관련한 명세(specification)를 입력받는 기능 명세 입력 모듈; 상기 기능 명세 입력 모듈에서 입력받은 명세를 이용하여 협업을 수행하는 다수의 사이버-물리 시스템의 상호 작용을 도출하기 위한 통합 명세를 생성하는 통합 명세 생성 모듈; 상기 통합 명세 생성 모듈에서 생성된 통합 명세를 이용하여 상기 다수의 사이버-물리 시스템 간의 공통 임무에 대한 행위 명세에 관한 임무 시나리오를 생성하는 시나리오 정의 모듈; 상기 시나리오 정의 모듈에서 생성된 임무 시나리오를 단계별로 실행하여 상기 통합 명세 및 상기 FMEA 수행 결과를 기반으로 이벤트를 추적하는 시나리오 실행 모듈을 구성한다. 상술한 사이버-물리 시스템의 상호 작용 명세 작성 및 협업간 안정성 검사 시스템 및 방법에 의하면, 사이버-물리 시스템 간의 협업 수행 시 발생할 수 있는 결함이나 위험성을 미리 분석하여 판단할 수 있도록 구성됨으로써, 사이버-물리 시스템들 간의 협업 안전성을 미리 예측할 수 있는 효과가 있다.

公开(公告)号：JP2018124876A

公开(公告)日：2018-08-09

申请号：JP2017017776

申请日：2017-02-02

申请人： 株式会社デンソー

发明人： 永井 貴之

IPC分类号： B60R16/02 ,  G06F8/41

CPC分类号： G06F8/456 ,  G06F8/451 ,  G06F9/46 ,  G06F11/28 ,  G06F11/3696

摘要： 【課題】ロジックの管理が容易で、制御ロジック実行時における処理負荷の増加を抑制可能な並列プログラムを生成できる並列化方法、並列化ツール、及びデッドロック状態になることが抑制された車載制御装置。 【解決手段】コンピュータは、異なるコア間で実行順序を維持するために、先行処理の実行が完了した際に状態フラグをセットする状態セット処理と、状態フラグがセットされたことを条件に後行処理の実行に移行させる待ち処理を、並列プログラムに挿入する(S11、S12)。また、コンピュータは、並列プログラムが実行される前に完了状態が記憶されているか否かを監視する同期監視処理と、完了状態が記憶されていない場合に実行される同期フェイルセーフ処理を、複数のコアが実行可能な並列プログラムとは異なる制御外プログラムに挿入する(S13、S14)。 【選択図】図3

公开(公告)号：JP2015049891A

公开(公告)日：2015-03-16

申请号：JP2013264633

申请日：2013-12-20

申请人： タタ コンサルタンシー サービシズ リミテッドTATA Consultancy Services Limited ,  Tata Consultancy Services Ltd ,  タタ コンサルタンシー サービシズ リミテッドTATA Consultancy Services Limited

发明人： REKHA SINGHAL ,  MANOJ KARUNAKARAN NAMBIAR

IPC分类号： G06F12/00 ,  G06F11/28 ,  G06F11/34 ,  G06F17/30

CPC分类号： G06F11/3696 ,  G06Q10/04

摘要： 【課題】アプリケーション開発段階でクエリにかかる経過応答時間を予測する。【解決手段】クエリをデータベースに対して実行し、クエリによりデータベースへアクセスするモードに基づいて分類する。エミュレートしたデータベースを得るために、データベースをエミュレートする。分類後、1つ以上のパラメータに沿って、クエリによるデータベースへのアクセスパターンを決定する。アクセスパターン及び1つ以上のパラメータに対して特殊分類技術を適用し、エミュレートしたデータベースに対するクエリの入出力アクセス時間を計算して、クエリの経過応答時間を算出する。【選択図】図2

摘要翻译： 要解决的问题：预测在应用程序开发阶段期间查询的经过响应时间。解决方案：查询在数据库上执行，并根据查询访问数据库的模式对其进行分类。 模拟数据库以获取仿真数据库。 在分类之后，确定查询中的数据库的访问模式以及一个或多个参数。 通过对访问模式和一个或多个参数应用特殊的分类技术，计算对仿真数据库的查询的输入/输出访问时间，以确定查询的经过的响应时间。

公开(公告)号：JP2013073531A

公开(公告)日：2013-04-22

申请号：JP2011213570

申请日：2011-09-28

申请人： Fujitsu Ltd ,  富士通株式会社

发明人： SAKAI KAZUYUKI ,  HONMA HIDEKI ,  HANAWA DAIKI

IPC分类号： G06F11/28

CPC分类号： G06F11/3696

摘要： PROBLEM TO BE SOLVED: To reduce a work load for testing a series of processes related to system administration.SOLUTION: A test support apparatus 101 retrieves, from execution history DB 110, execution history information that corresponds to identification information of an administrative operator component included in an automated administrative process under test. The test support apparatus 101 determines an output information candidate for a case where the target component is executed, from among output information of each piece of retrieved execution history information, on the basis of input information of each piece of retrieved execution history information and on the basis of input information of the target component.

摘要翻译： 要解决的问题：减少用于测试与系统管理相关的一系列过程的工作负载。 解决方案：测试支持设备101从执行历史DB 110中检索与包括在被测自动管理过程中的管理操作员组件的识别信息相对应的执行历史信息。 测试支持装置101根据每个检索到的执行历史信息的输入信息，根据每个检索到的执行历史信息的输入信息，根据每个检索到的执行历史信息的输入信息，确定对于执行目标成分的情况的输出信息候选 目标组件的输入信息的基础。 版权所有（C）2013，JPO＆INPIT

公开(公告)号：JP2004280786A

公开(公告)日：2004-10-07

申请号：JP2003423583

申请日：2003-12-19

申请人： Denso Corp ,  株式会社デンソー

发明人： TODO TETSUYA ,  IWAI AKIHITO

IPC分类号： G06F11/28 ,  G05B19/05 ,  G05B23/02 ,  G06F11/26

CPC分类号： G06F11/3664 ,  G05B19/0426 ,  G05B2219/23446 ,  G05B2219/23456 ,  G05B2219/2637 ,  G06F11/3632 ,  G06F11/3692 ,  G06F11/3696

摘要： PROBLEM TO BE SOLVED: To easily inspect the presence or absence of abnormalities of a control program or a control model in the case of model base development. SOLUTION: An automatic code generating part 12 inputs a control model, generates a control program described in the C language from this model to output the program. A correspondence information preparing part 16 prepares correspondence information indicating the correspondence relationship between the control model and the control program based on information which the automatic code generating part 12 has when the automatic generating part 12 generates the control program. A simulating part 20 inputs the control model, and simulates its action. A program executing part 22 inputs the control program for execution thereof. A synchronizing part 26 synchronizes (correlates) the result of action of the simulation part 20 and the program executing part 22 based on the correspondence information. COPYRIGHT: (C)2005,JPO&NCIPI

摘要翻译： 要解决的问题：在模型库开发的情况下，可以方便地检查控制程序或控制模型的异常是否存在。 解决方案：自动代码生成部分12输入控制模型，从该模型生成C语言描述的控制程序以输出程序。 对应信息准备部16基于自动代码生成部12在自动生成部12生成控制程序时具有的信息，准备表示控制模型与控制程序的对应关系的对应信息。 模拟部分20输入控制模型，并模拟其动作。 程序执行部22输入用于执行的控制程序。 同步部分26基于对应信息来同步（相关）模拟部分20和程序执行部分22的动作结果。 版权所有（C）2005，JPO＆NCIPI

公开(公告)号：JPS61103254A

公开(公告)日：1986-05-21

申请号：JP22394184

申请日：1984-10-26

申请人： Hitachi Ltd

发明人： OOTA HIROSHI ,  KUROSAKI TORU

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

CPC分类号： G06F11/3696 ,  G06F11/34

摘要： PURPOSE:To evaluate the software performance easily and quickly without losing real time properties by obtaining periodically the program counter information on a program which is under execution and collating the obtained counter information with a software memory map. CONSTITUTION:The fetching cycle of the address information to an arithmetic controller 2A corresponds to the clock cycle of a clock generator 2D whose cycle is varied optionally. The controller 2A is started periodically with the clock given from the generator 2D. Thus address information is fetched by the controller 2A from an input register 2C and collated with a memory map 2E. If it is known from said collation that the address is within a range, the passing frequency is set to the relevant address within a memory 2 in a replaceable form. Therefore, the information on the memory 2F is outputted and displayed by a display device serving as a performance evaluation information output device 2G in the form of the result of evaluation of the software performance.

摘要翻译： 目的：通过定期获取正在执行的程序的程序计数器信息，并将获得的计数器信息与软件存储器映射对齐，从而轻松快速地评估软件性能，而不会丢失实时属性。 构成：地址信息到算术控制器2A的取出周期对应于周期随时间变化的时钟发生器2D的时钟周期。 控制器2A以从发生器2D给出的时钟周期性地启动。 因此，地址信息由控制器2A从输入寄存器2C取出并与存储器映像2E进行核对。 如果从所述排序规则中知道地址在范围内，则将通过频率设置为可替换形式的存储器2内的相关地址。 因此，以作为评价结果的软件性能的形式的作为性能评价信息输出装置2G的显示装置输出显示关于存储器2F的信息。

公开(公告)号：KR20210033733A

公开(公告)日：2021-03-29

申请号：KR1020190115376A

申请日：2019-09-19

申请人： 주식회사 엘지화학

发明人： 전영환

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

CPC分类号： G06F11/26 ,  G06F11/3604 ,  G06F11/3688 ,  G06F11/3692 ,  G06F11/3696

摘要： 본 발명에 따른 배터리 테스트 방법은, 배터리 관리 시스템에 구비된 RTC(Real Time Clock) 타이머를 이용하는데, 상기 RTC 타이머의 웨이크-업 타임을 설정하는 단계, 상기 배터리 관리 시스템이 슬립 모드가 되는 단계, 상기 웨이크-업 타임이 경과하면, 상기 RTC 타이머가 상기 배터리 관리 시스템을 웨이크-업 시키는 단계, 및 설정된 테스트 조건에 따라 테스트를 수행하고, 상기 테스트를 수행한 결과를 저장하는 단계를 포함하고, 상기 RTC 타이머의 웨이크-업 타임은 테스트에 따라 설정될 수 있다.

公开(公告)号：KR20210031054A

公开(公告)日：2021-03-19

申请号：KR1020190112529A

申请日：2019-09-11

申请人： 한국과학기술원

发明人： 이성주 ,  고지훈 ,  김동휘

IPC分类号： G06F11/36

CPC分类号： G06F11/3612 ,  G06F11/3688 ,  G06F11/3696

摘要： 메시지 캐싱을 이용한 기록-재생 기록-재생(Record-and-Replay) 테스트 최적화 장치 및 방법을 개시한다.
본 실시예는, 모바일 애플리케이션 테스트 자동화에 있어서, 모바일 OS(Operating System) 메시지 캐싱에 기반하여, 기록-재생 테스트를 진행하는 과정에서 반복적으로 발생하는 단계를 자동적으로 감지한 후, 해당 단계를 건너뛰어 다음 단계를 실행할 수 있도록 하여, 불필요한 과정의 반복으로 인한 비효율 제거가 가능한 기록-재생 테스트 최적화 장치 및 방법을 제공하는 데 목적이 있다.

公开(公告)号：KR20210026387A

公开(公告)日：2021-03-10

申请号：KR1020190107084A

申请日：2019-08-30

申请人： 주식회사 세찬아이앤씨

发明人： 전영걸

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

CPC分类号： G06F11/3668 ,  G06F11/1458 ,  G06F11/3696

摘要： 본 발명은 결함예측에 기반한 체크 포인팅 방법에 관한 것으로, (a) 시스템의 체크 포인트 간격을 설정하는
단계; (b) 소정 결함 발생 예측 모델이 제공하는 결함 발생 예측 시점을 상기 체크 포인트 간격으로 나누어 전체
체크 포인트의 수를 결정하는 단계; (c) 상기 결함 발생 예측 모델의 시스템 에러율을 이용하여 상기 전체 체크
포인트의 수에서 결함 발생 이전 구간에서 수행될 체크포인트의 수를 계산하는 단계; (d) 상기 전체 체크 포인트
수에서 상기 결함 발생 이전 구간에서 수행될 체크포인트의 수를 제외하여 결함 발생 구간에서 수행될 체크포인
트의 수를 계산하는 단계; (e) 결함 발생 이전 구간에서 상기 (c) 단계에서 계산된 체크포인트의 수에 따라 일정
한 간격으로 체크포인트를 수행하여 시스템 스냅샷을 저장하는 단계; (f) 결함 발생 구간에서 상기 (d) 단계에서
계산된 체크포인트의 수에 따라 일정한 간격으로 체크포인트를 수행하여 시스템 스냅샷을 저장하는 단계; 및 (g)
시스템 결함시 상기 시스템 스냅샷을 이용해 결함 시점에 가장 근접한 시점으로 시스템을 롤백시키는 단계;를 포
함하는 것을 특징으로 한다.

公开(公告)号：JP2015056180A

公开(公告)日：2015-03-23

申请号：JP2014165589

申请日：2014-08-15

申请人： 富士通株式会社 ,  Fujitsu Ltd

发明人： MUKUL R PRASAD

IPC分类号： G06F3/048 ,  G06F11/36

CPC分类号： G06F3/048 ,  G06F11/3672 ,  G06F11/3696

摘要： 【課題】GUIアプリケーションのGUI及びタッチスクリーンインターフェイスは、GUIアプリケーションの振る舞いを評価する方法を提供する。【解決手段】グラフィカルユーザーインターフェイス(GUI)に基づいたアプリケーションを決定性有限状態マシンとしてモデル化する方法は、ダミーエラー状態及びダミーエラー出力を有限状態マシン内において生成しつつ、グラフィカルユーザーインターフェイス(GUI)に基づいたアプリケーションの画面上において使用不可能なアクションに対する応答を、有限状態マシン内のダミーエラー状態への遷移としてモデル化する。【選択図】図1

摘要翻译： 要解决的问题：提供一种评估GUI应用程序在GUI应用程序和触摸屏界面上的GUI的行为的方法。解决方案：一种基于图形用户界面（GUI）提取应用程序作为确定性的方法 有限状态机模型包括将基于图形用户界面（GUI）的应用程序的屏幕上的不可用动作的响应建模为在有限状态机中转换到虚拟错误状态，同时生成虚拟错误状态和 有限状态机中的虚拟错误输出。