-
公开(公告)号：KR1020170020251A
公开(公告)日：2017-02-22
申请号：KR1020160101851
申请日：2016-08-10
Applicant: 충남대학교산학협력단
IPC: G06F11/34 , G06F11/36 , G06F11/263
Abstract: 본발명은사이클테이블과테스트케이스를함께이용하여실시간프로그램의최악실행시간을측정하는시스템및 방법에관한것으로, 본발명의하나의실시예에따른최악실행시간측정시스템은제1 실시간응용프로그램의소스코드와이에대응하는어셈블리명령어의관계를분석하여사이클테이블을생성하는사이클테이블생성부, 제2 실시간응용프로그램의소스코드를분석하는프로그램코드분석부, 제2 실시간응용프로그램의소스코드에소요사이클계산코드와경로파악탐침코드를삽입하는프로그램코드확장부, 제2 실시간응용프로그램의제어흐름을분석한결과에기초하여테스트케이스를생성하는테스트케이스생성부, 생성된테스트케이스에기초하여제2 실시간응용프로그램을실행시키고실행경로별소요시간을저장하는프로그램실행부, 그리고저장된실행경로별소요시간중 최장실행시간을추출하는최악실행시간추출부를포함한다.
-
公开(公告)号：KR1020150126245A
公开(公告)日：2015-11-11
申请号：KR1020140053712
申请日：2014-05-02
Applicant: 충남대학교산학협력단
Inventor： 김현수
IPC: G06F9/45
CPC classification number: G06F8/40
Abstract: 이진변환은특정장치에서동작하도록구성된프로그램을다른장치에서동작할수 있도록재구성하는과정을말한다. 이진변환을수행하기위해서는두 장치사이의변환규칙을생성하는것이매우중요하다. 변환규칙을생성하는방법은직접매핑과간접매핑으로나뉜다. 직접매핑은성능을위한방법인반면, 간접매핑은재목적성을위한방법이다. 본발명에서는임베디드시스템에적합한직접매핑기반의이진변환을수행한다. 그렇지만재목적성역시중요한요구사항이기때문에, 재목적성을고려한직접매핑기반의이진변환방법을제안한다. 또한제안된방법을바탕으로자동으로변환규칙을생성하는도구를구현한다. 이방법을통해서성능과재목적성을모두고려한변환규칙을생성할수 있으며, 더나아가이진변환을수행하는데소요되는비용을줄일수 있다.
Abstract translation: 二进制翻译是指重新配置被配置为在特定设备中操作以在另一设备中操作的程序的过程。 在两个设备之间生成翻译规则以执行二进制翻译是非常重要的。 翻译规则可以通过直接映射和间接映射生成。 直接映射是一种性能的方法; 间接映射是可重定向性的一种方法。 本发明基于适合于嵌入式系统的直接映射执行二进制转换。 然而，由于可重定向性也是重要的要求，本发明提出了基于可重定向性的直接映射的二进制翻译方法。 另外，实现了一种基于建议方法自动生成翻译规则的工具。 通过这种方法，可以产生考虑性能和可重定向性的翻译规则，并且还可以降低执行二进制翻译的成本。
-
3.发明公开
公开(公告)号：KR1020150126243A
公开(公告)日：2015-11-11
申请号：KR1020140053708
申请日：2014-05-02
Applicant: 충남대학교산학협력단
Inventor： 김현수
IPC: G06F15/76
Abstract: 비행소프트웨어는인공위성의탑재컴퓨터에서사용되는소프트웨어로, 실시간성과고신뢰성이요구된다. 이와같은요구사항으로인해비행소프트웨어는동작환경에대한종속성을갖게된다. 이러한문제는새로운시스템을구축할때마다매번다시개발하여야하는상황을초래한다. 따라서비행소프트웨어와동작환경사이의종속성을제거할필요가있으며, 이는비행소프트웨어의이식성향상을통해달성할수 있다. 본발명에서는이를위해 IMA 아키텍처기반의플랫폼아키텍처를제안한다. 이아키텍처는이식성을극대화하기위해두 가지의 IMA 아키텍처실현방안을기반으로구축된혼합형아키텍처이다. 본발명에서제안한아키텍처를통해서비행소프트웨어와동직환경사이의종속성을제거할수 있다.
Abstract translation: 飞行软件用于安装在卫星上的计算机，需要实时容量和高可靠性。 这种要求限制了飞行软件对操作环境的依赖，因此，每当建立新的系统时，都需要一次又一次的开发。 因此，有必要消除飞行软件与操作环境之间的依赖关系，这可以通过改进飞行软件的可移植性来实现。 为此，本发明是建议基于IMA架构的平台架构。 这种架构是基于两种类型的IMA架构的实现的混合架构，以最大化便携性。 本发明提供的架构可以消除飞行软件与操作环境之间的依赖关系。
-
公开(公告)号：KR100673993B1
公开(公告)日：2007-01-24
申请号：KR1020050109291
申请日：2005-11-15
Applicant: 충남대학교산학협력단
Abstract: A sloshing reduction fluid load tank is provided to effectively control the fluid sloshing for enhancing the operational safety of a vessel by having an intermediate plate attached to an end of baffles which are slopingly placed at an inner sidewall of the fluid load tank. A sloshing reduction fluid load tank includes a plurality of baffles(2) slopingly placed at an inner sidewall of the fluid load tank(1), the baffles(2) having a plurality of passing holes(21) to enable an up and down fluid flow and an intermediate plate(3) to be vertically welded into the end of the baffles(2). The baffles(2) are sloped to the bottom of the fluid load tank(1) by 30‹, the lugs of the baffles are projected by 20% of the width of the upper plate of the fluid load tank(1), and the width of the intermediate plate(3) is 1/3~1/2 of that of the baffle(2).
Abstract translation: 提供减震流体负载罐以有效地控制流体晃动，以通过将中间板连接到倾斜地设置在流体负载罐的内侧壁处的挡板的端部来增强容器的操作安全性。 晃动减压流体加载箱包括多个倾斜地设置在流体加载罐（1）的内侧壁处的挡板（2），挡板（2）具有多个通孔（21），以使上下流体 流动和中间板（3）垂直焊接到挡板（2）的端部。 挡板（2）通过30°倾斜到流体负载箱（1）的底部，挡板的凸耳被投影到流体负载箱（1）的上板的宽度的20％，并且 中间板（3）的宽度为挡板（2）的宽度的1/3〜1/2。
-
公开(公告)号：KR1020050074221A
公开(公告)日：2005-07-18
申请号：KR1020040002473
申请日：2004-01-13
Applicant: 충남대학교산학협력단
IPC: G06F11/28
Abstract: 본 발명은 테스트 오라클의 자동 생성 기능을 갖는 테스트 드라이버의 생성 방법에 관한 것으로, 더욱 상세하게는, 참조 코드를 갖는 명세를 따라 독립적으로 구현된 코드를 기능 테스팅 하는 과정에서 테스트 평가를 자동적으로 수행할 수 있는 테스트 드라이버를 생성하는 방법에 관한 것이다.
지금까지는 프로그램의 테스트 평가 과정에서 테스팅의 수행 결과가 옳은지 틀린지를 판단하기 위해서는 사용자의 개입이 필수적이라는 문제점이 있었다.
본 발명에서는, 상기와 같은 문제점을 해결하기 위하여, 테스트 오라클의 생성 방법을 자동화함으로써 사용자가 개입하지 않고도 테스트 수행 결과의 오류 여부를 판단할 수 있는 테스트 평가 과정의 자동화를 실현하였다. 이를 위해 본 발명은, 구현된 프로그램 코드를 입력받아 분석하는 제 1 단계; 상기 분석된 프로그램에 대한 참조 코드의 API를 호출하여 테스트 오라클을 생성하는 제 2 단계; 및 상기 테스트 오라클과 구현 코드의 API의 실행 결과를 비교하여 상기 구현된 프로그램의 오류 여부를 판단하는 제 3 단계; 를 포함하는 테스트 드라이버를 생성하는 것을 특징으로 한다.
이에 따라 테스트 오라클이 자동으로 생성되고 이 오라클을 가지고 구현된 코드의 실행 결과와 비교함으로써 구현된 코드의 실행 결과가 옳은지 혹은 틀린지를 판단할 수 있게 하였다.-
Patent Agency Ranking
公开(公告)号：KR101828456B1
公开(公告)日：2018-02-13
申请号：KR1020160101850
申请日：2016-08-10
Applicant: 충남대학교산학협력단
IPC: G06F11/36
Abstract: 본발명은소프트웨어신뢰도평가를위해부분고장데이터를이용하여최적의소프트웨어신뢰도평가모델을선택하는시스템및 방법에관한것으로, 사용자소프트웨어의전체고장데이터중 일부고장데이터를사용하여사용자소프트웨어에적용가능한소프트웨어신뢰도성장모델들의성능을비교하고가장우수한성능을갖는소프트웨어신뢰도성장모델을선택함으로써소프트웨어신뢰도성장모델선택의정확도를향상시킬수 있다.
-
公开(公告)号：KR101940265B1
公开(公告)日：2019-01-18
申请号：KR1020120055078
申请日：2012-05-23
Applicant: 충남대학교산학협력단
Inventor： 김현수
IPC: G06F8/40
-
公开(公告)号：KR1020170018794A
公开(公告)日：2017-02-20
申请号：KR1020160101850
申请日：2016-08-10
Applicant: 충남대학교산학협력단
IPC: G06F11/36
CPC classification number: G06F11/3604 , G06F11/3628 , G06F11/3668
Abstract: 본발명은소프트웨어신뢰도평가를위해부분고장데이터를이용하여최적의소프트웨어신뢰도평가모델을선택하는시스템및 방법에관한것으로, 사용자소프트웨어의전체고장데이터중 일부고장데이터를사용하여사용자소프트웨어에적용가능한소프트웨어신뢰도성장모델들의성능을비교하고가장우수한성능을갖는소프트웨어신뢰도성장모델을선택함으로써소프트웨어신뢰도성장모델선택의정확도를향상시킬수 있다.
-
公开(公告)号：KR1020140002815A
公开(公告)日：2014-01-09
申请号：KR1020120067710
申请日：2012-06-24
Applicant: 충남대학교산학협력단
Inventor： 김현수
IPC: G06F11/36
Abstract: The present invention relates to a method for automating an android application GUI test. The present invention suggests a method for automatically generating a test case by analyzing an XML file comprising an android UI and automatically generating a test driver from the generated test case. [Reference numerals] (AA) Extraction; (BB) Scenario; (CC) Described scenario; (DD) Select; (EE,GG) Search; (FF,HH) Event type; (II) UI component type; (JJ) UI component type, Event type; (KK) Callback function; (LL) Combination
Abstract translation: 本发明涉及一种用于自动化Android应用程序GUI测试的方法。 本发明提出了一种通过分析包含android UI的XML文件并且从生成的测试用例中自动生成测试驱动程序来自动生成测试用例的方法。 （附图标记）（AA）提取; （BB）情景; （CC）描述场景; （DD）选择; （EE，GG）搜索; （FF，HH）事件类型; （II）UI组件类型; （JJ）UI组件类型，事件类型; （KK）回调函数; （LL）组合
-
公开(公告)号：KR1020130132674A
公开(公告)日：2013-12-05
申请号：KR1020120055078
申请日：2012-05-23
Applicant: 충남대학교산학협력단
Inventor： 김현수
IPC: G06F9/45
Abstract: Binary conversion process of converting a program configured to operate in a specified device such that the program can operate in another device. However, as the binary conversion has a high dependence on an original device and a target device, new binary conversion needs to be performed in order to apply the binary conversion to a new device. This problem has been solved by applying an intermediate code used by a compiler as a method for solving the problem. As the method needs an additional conversion process, more time and resources are consumed when compared to an existing direct conversion method. Applying the method in an embedded environment or a real-time environment may be a problem. Thus, the present invention proposes a method for performing direct conversion like existing binary conversion, providing an abstraction model for instructions in order to reduce the dependency on the device, and automatically generate conversion rules on the basis of instructions represented with the abstraction model. [Reference numerals] (AA) Step for describing instructions;(BB) Instruction description document of an original device;(CC) Instruction description document of a target device;(DD) Step for deducing a function block;(E1,G1,M1,P1) Tag;(E2,G2,M2,P2) Function tree;(FF,NN) Function block of the original device;(HH,QQ) Function block of the target device;(II) Step for generating conversion rules;(JJ) Perform comparison between the function blocks;(K1) Is a tag in agreement?;(K2) Is a function tree in agreement?;(LL,UU) Function block-instruction conversion;(OO,S2) Mapping;(RR) Conversion rules between the function blocks of the original and target devices;(S1) Instructions of the original device;(S3) Instructions of the target device;(TT) Conversion rules between the instructions of the original and target devices
Abstract translation: 转换被配置为在指定设备中操作的程序的二进制转换处理，使得程序可以在另一设备中操作。 然而，由于二进制转换对原始器件和目标器件具有很高的依赖性，因此需要执行新的二进制转换，以便将二进制转换应用于新器件。 通过应用编译器使用的中间代码作为解决问题的方法已经解决了这个问题。 由于该方法需要额外的转换过程，与现有的直接转换方法相比，消耗更多的时间和资源。 在嵌入式环境或实时环境中应用该方法可能是一个问题。 因此，本发明提出了一种用于执行直接转换的方法，如现有的二进制转换，为指令提供抽象模型，以减少对设备的依赖性，并且根据抽象模型表示的指令自动生成转换规则。 （AA）用于描述指令的步骤（BB）原始设备的指令描述文档;（CC）目标设备的指令描述文档;（DD）推导功能块的步骤;（E1，G1，M1 ，P1）标签;（E2，G2，M2，P2）功能树;（FF，NN）原始设备的功能块;（HH，QQ）目标设备的功能块;（II）生成转换规则的步骤; （JJ）执行功能块之间的比较;（K1）标签是否一致？（K2）是一致的函数树;（LL，UU）功能块指令转换;（OO，S2）映射; RR）原始设备和目标设备的功能块之间的转换规则;（S1）原始设备的指令;（S3）目标设备的指令;（TT）原始设备和目标设备的指令之间的转换规则
-
-
-
-
-
-
-
-
-
Search Results
19
records
(took 0.021 seconds)
