-
公开(公告)号:KR1020070058941A
公开(公告)日:2007-06-11
申请号:KR1020060046993
申请日:2006-05-25
Applicant: 한국전자통신연구원
IPC: G01R31/3185 , G06F11/36
CPC classification number: G01R31/3185 , G01R31/31715 , G01R31/31912 , G06F11/3604
Abstract: A method and a device for automatically generating a test case for a device driver test are provided to decrease the test case making time and the cost and to prevent an error generated in manually producing the test case, by using device driver subordinated test information or system subordinated test information. A method for automatically generating a test case for a device driver test is composed of steps for selecting a device driver common test case template(210) proper for a device driver to be tested; inputting one of device driver subordinated test information(220) and system subordinated test information(230); and automatically making a basic test case according to the input device driver subordinated test information or system subordinated test information, on the basis of the chosen device driver common test case template.
Abstract translation: 提供了一种用于自动生成用于设备驱动程序测试的测试用例的方法和设备,通过使用设备驱动程序从属测试信息或系统来减少测试用例产生时间和成本并防止手动生成测试用例产生的错误 次级测试信息。 一种用于自动生成用于设备驱动程序测试的测试用例的方法由用于选择适用于要测试的设备驱动程序的设备驱动程序公共测试用例模板(210)的步骤组成; 输入设备驱动程序从属测试信息(220)和系统从属测试信息(230); 并根据所选设备驱动程序的常用测试用例模板,根据输入设备驱动程序从属测试信息或系统从属测试信息自动进行基本测试。
-
-
公开(公告)号:KR1020170103153A
公开(公告)日:2017-09-13
申请号:KR1020160025542
申请日:2016-03-03
Applicant: 한국전자통신연구원
Abstract: 본발명은멀티코어운영체제를위한스핀락방법및 그장치에관한것으로, 보다상세하게본 발명은멀티코어에의해병렬적으로객체를처리할때, 임의의코어에의해객체가삭제되는경우에도안정적으로스핀락을수행할수 있도록하는스핀락방법및 그장치에관한것이다. 이에따른본 발명은, 멀티코어운영체제를위한스핀락장치의스핀락방법으로, 스핀락하고자하는객체의유효성을검사하는단계, 상기객체의유효성검사에의해상기객체가유효한것으로판단되면, 상기객체의스핀락을시도하는단계및 상기객체에대한상기스핀락이성공하면, 상기객체에관한처리를수행하기위한적어도하나의동작이정의된임계영역을수행하는단계를포함하는것을특징으로하는스핀락방법및 그장치에관한것이다.
Abstract translation: 多核操作系统的自旋锁定方法和装置技术领域本发明涉及多核操作系统的自旋锁定方法和装置,更具体地说, 并且涉及能够执行自旋锁定的自旋锁定方法和设备。 在本发明中,自旋锁装置的多核操作系统自旋锁的方法,如果确定验证对象旋转锁,通过向其中对象是有效的所述物体的验证的步骤中,根据所述对象 执行旋转锁定,并且如果对象的旋转锁定成功,则执行临界区域,其中定义了至少一个用于对对象执行处理的操作。 和那个设备。
-
公开(公告)号:KR101695015B1
公开(公告)日:2017-01-11
申请号:KR1020120073379
申请日:2012-07-05
Applicant: 한국전자통신연구원
IPC: G06F11/36
CPC classification number: G06F11/3688
Abstract: 오류기반소프트웨어시험방법및 오류기반소프트웨어시험장치가개시된다. 본발명에따른소프트웨어시험방법은시험대상프로그램에오류(fault)를주입하여복수의오류프로그램를생성하는단계, 생성된복수의오류프로그램을시험데이터각각에대해복수의그룹으로그룹핑하고, 그룹각각에대하여대표오류프로그램을선정하는단계및 대표오류프로그램들을대응된시험데이터에대하여실행한결과에오류(error)가검출된경우대응되는그룹의모든오류프로그램들에대해서도오류가검출된것으로간주하는단계를포함하여구성될수 있다.
Abstract translation: 提供了基于故障的软件测试方法和系统。 基于故障的软件测试方法包括:通过将故障注入到测试目标程序中来产生多个错误程序; 将所生成的错误程序分组为相应测试数据的多个组,并且针对相应组选择代表性错误程序; 并且当相对于相应测试数据的代表性错误程序的执行结果中检测到错误时,确定在相应组的所有错误程序中检测到错误。
-
公开(公告)号:KR1020160074332A
公开(公告)日:2016-06-28
申请号:KR1020140183561
申请日:2014-12-18
Applicant: 한국전자통신연구원
Abstract: 본발명은멀티코어프로그래밍에관한것으로서, 스레드수준병렬화를지원하는멀티코어응용프로그램의개발방법및 장치에관한것이다. 본발명에따른멀티코어프로그래밍방법은, 스레드별코어친화도설정명세를입력받는단계; 상기스레드별단위소스코드를입력받는단계; 및상기스레드별코어친화도설정명세와상기스레드별단위소스코드를연동하여컴파일함으로써멀티코어프로그램실행코드를생성하는단계를포함한다.
Abstract translation: 本发明涉及多核编程,更具体地说,涉及用于开发支持线程级并行性的多核程序的方法和装置。 根据本发明,该方法包括:接收每个线程核心熟悉配置描述的步骤; 每个线程接收单位源代码的步骤; 以及通过链接和编译每个线程的每个线程核心熟悉配置描述和单元源代码来生成多核程序执行代码的步骤。 本发明提供了一种帮助开发者容易地开发支持线程级并行性的多核程序的方法。
-
公开(公告)号:KR1020150030563A
公开(公告)日:2015-03-20
申请号:KR1020130109981
申请日:2013-09-12
Applicant: 한국전자통신연구원
CPC classification number: G06F9/4887 , G06F9/3836 , G06F9/455 , G06F9/5038
Abstract: 태스크 우선순위 조정 장치는 실시간 소프트웨어의 프로파일링 결과 및 태스크별 실시간성 제약사항을 포함한 태스크 명세를 이용하여 상기 실시간성 제약사항에 위배되는 태스크를 판별하고, 실시간성에 위배되는 태스크 또는 실시간성에 위배되는 태스크의 근접 상위 후보 태스크의 우선 순위를 조정한 후 조정된 우선 순위로 상기 실시간 소프트웨어의 실행을 시뮬레이션한다.
Abstract translation: 本发明的目的是提供一种用于调整任务优先级的装置和方法,其能够调整任务的优先级以满足实时软件的实时要求。 根据本发明的实施例,用于调整任务优先级的装置通过使用实时软件的分析结果和包括实时约束的任务规范来确定违反实时约束的任务,调整 确定的任务或接近确定的任务的上级候选任务,然后以调整的优先级模拟实时软件的执行。 该装置包括分析结果分析器和优先调整器。
-
公开(公告)号:KR101301020B1
公开(公告)日:2013-08-28
申请号:KR1020090125541
申请日:2009-12-16
Applicant: 한국전자통신연구원
Abstract: 본 발명의 이동 노드 위치 인식장치 및 이를 이용한 이동 노드 위치 인식 장치는, 주기적으로 이동 노드로부터 패킷을 수신하여 신호세기정보를 출력하는 기준 노드; 및 기준 노드로부터 수신한 신호세기정보를 공간정보를 바탕으로 이동 노드의 위치를 계산하는 측위 서버를 구비한다.
이동 노드, 기준 노드, 측위 서버, 위치 추정-
28.
公开(公告)号:KR101175188B1
公开(公告)日:2012-08-20
申请号:KR1020080131569
申请日:2008-12-22
Applicant: 한국전자통신연구원
CPC classification number: G06Q10/08 , G06F21/34 , G06Q10/06 , G06Q10/087 , G06Q50/28
Abstract: 서버부하를줄이고보안을향상시키기위한 RFID 태그인증방법으로서, RFID 리더가, RFID DB 서버와네트워크를통해연결되고복수의태그와통신을수행할수 있으며, 태그에태그정보를요청하고, 태그로부터인덱스를갖는배열의식별자, 인덱스를갖는배열의인덱스및 암호화된태그 ID를수신한다. RFID DB 서버로부터수신한, 인덱스를갖는배열의식별자에대응하는마스터키를이용해서인덱스를갖는배열을생성하고, 인덱스에해당하는배열값을추출하여암호화키를생성하며, 생성된암호화키를이용해서암호화된태그 ID를복호화하여태그 ID를획득한다.
-
公开(公告)号:KR1020120070298A
公开(公告)日:2012-06-29
申请号:KR1020100131800
申请日:2010-12-21
Applicant: 한국전자통신연구원
CPC classification number: H04W4/08 , H04W28/0226 , H04W84/18
Abstract: PURPOSE: A method for managing group communication on mobile adhoc networks(MANET) is provided to keep the latest list of group members and to prevent the increase of network loads. CONSTITUTION: Terminals on MANET are grouped based on a member or group designating method. The transmitting cycle of broadcasting messages is controlled by considering the moving speed and the movement characteristic information of the terminals in groups. Periodic message transmission and broadcasting are executed by selecting a leader from the members in the groups based on relatively lower hob number(S22, S28).
Abstract translation: 目的:提供一种用于管理移动自组网(MANET)上的组通信的方法,以保持组成员的最新列表,并防止网络负载的增加。 规定:MANET上的终端根据成员或组指定方法进行分组。 通过考虑移动速度和组中的终端的移动特性信息来控制广播消息的发送周期。 通过从基于相对较低的滚刀数的组中的成员中选择一个引导来执行周期性消息发送和广播(S22,S28)。
-
公开(公告)号:KR1020100073128A
公开(公告)日:2010-07-01
申请号:KR1020080131719
申请日:2008-12-22
Applicant: 한국전자통신연구원
Abstract: PURPOSE: A sensor network modeling system is provided to perform modeling of a sensor network system in consideration of a three dimensional space communication obstacles in the three dimensional space, thereby facilitating the development of the sensor network system. CONSTITUTION: A space information editor(534) sets three dimensional space information about a building. A sensor node/gateway arranging unit(535) arranges a gateway and a sensor node in the three dimensional space information. Attribute editors(532,533) set attribute for the gateway and the sensor node. A simulation module(550) executes communication simulation for the gateway and the sensor node.
Abstract translation: 目的:提供一种传感器网络建模系统,以考虑三维空间中的三维空间通信障碍物对传感器网络系统进行建模,从而有助于传感器网络系统的发展。 构成:空间信息编辑器(534)设置有关建筑物的三维空间信息。 传感器节点/网关布置单元(535)将网关和传感器节点布置在三维空间信息中。 属性编辑器(532,533)为网关和传感器节点设置属性。 模拟模块(550)执行网关和传感器节点的通信仿真。
-
-
-
-
-
-
-
-
-