-
-
公开(公告)号：KR100621576B1
公开(公告)日：2006-09-12
申请号：KR1019990027345
申请日：1999-07-07
IPC: G06F11/26
Abstract: 내장 시스템 소프트웨어를 테스트하는 데 필요한 테스트 스크립트 및 테스트 드라이버를 자동으로 생성할 수 있는 내장 시스템 소프트웨어를 테스트하기 위한 시스템 및 방법이 개시된다. 데이터베이스는 제1 메시지 시퀀스 챠트, 결정 테이블 그리고 인터페이스 명세를 저장하고 출력하고, 테스트 케이스 생성기는 상기 제1 메시지 시퀀스 챠트, 결정 테이블 그리고 인터페이스 명세에 의거하여 테스트 스크립트 및 테스트 드라이버를 생성하고, 상기 데이터베이스 및 테스트 케이스 생성기는 컴퓨터 시스템에 의해서 제어된다. 따라서, 테스트 스크립트 및 테스트 드라이버의 오류를 방지할 수 있을 뿐만 아니라 내장 시스템 소프트웨어를 테스트하는 데 소요되는 시간을 최소화할 수 있다.
소프트웨어 테스트, 내장 시스템 소프트웨어, MSC, 테스트 케이스 생성-
公开(公告)号：KR1020020095723A
公开(公告)日：2002-12-28
申请号：KR1020010033906
申请日：2001-06-15
Applicant: 삼성전자주식회사
IPC: G06F11/28
Abstract: PURPOSE: A method and tool for automating an integrated software test are provided to automatically generate the test data based on an interaction between the tasks described by a message sequence chart and to automatically execute the generated test data. CONSTITUTION: The interaction between the tasks of an embedded software is described by using the message sequence chart. The transition between a system state and a message sequence state obtained by the execution of the message sequence charts is converted into a GFSM(Global Finite State Machine)(s102). A test sequence to visit all states and transitions of the system is generated from the generated GFSM(s104). The generated test sequence is executed by using a test driver realizing on a simulator of the embedded software(s106). In order to examine a test result, a native test driver and a Java test driver are monitored(s108).
Abstract translation: 目的：提供用于自动化集成软件测试的方法和工具，以根据消息序列图描述的任务之间的交互自动生成测试数据，并自动执行生成的测试数据。 构成：使用消息序列图描述嵌入式软件任务之间的交互。 通过执行消息序列图获得的系统状态和消息序列状态之间的转换被转换为GFSM（全局有限状态机）（s102）。 从生成的GFSM生成访问系统的所有状态和转换的测试序列（s104）。 通过使用在嵌入式软件的模拟器上实现的测试驱动程序来执行生成的测试序列（s106）。 为了检查测试结果，监视本机测试驱动程序和Java测试驱动程序（s108）。
-
公开(公告)号：KR1020010009138A
公开(公告)日：2001-02-05
申请号：KR1019990027345
申请日：1999-07-07
IPC: G06F11/26
Abstract: PURPOSE: A software test system and a method of an embedded system are provided to automatically generate a test script and test driver necessary for testing an embedded system software. CONSTITUTION: A software test method of an embedded system comprises generating a high level message sequence chart, a decision table and interface specifications and storing them in a database(S400), a message sequence chart editor generating a basic message sequence chart from the high level message sequence chart(S420), a message sequence chart parser generating a message sequence chart from the basic message sequence chart in response to a control of the message sequence chart editor(S430), a test sequence generator generating a test sequence from the message sequence chart in response to a control of the table parser(S440), and a test case selector generating a test script from the table and the test sequence in response to a control of the test sequence generator(S450). The test script generation step(450) specifies individual module by using the decision table, and specifies a module call pattern by using the message sequence chart.
Abstract translation: 目的：提供软件测试系统和嵌入式系统的方法，以自动生成测试嵌入式系统软件所需的测试脚本和测试驱动程序。 构成：嵌入式系统的软件测试方法包括生成高级消息序列图，决策表和接口规范，并将其存储在数据库中（S400），消息序列图编辑器从高级别生成基本消息序列图 消息序列图（S420），消息序列图解析器，其响应于消息序列图编辑器的控制从基本消息序列图生成消息序列图（S430），测试序列生成器，从消息序列生成测试序列 响应于表解析器的控制（S440）以及响应于测试序列生成器的控制从表和测试序列生成测试脚本的测试用例选择器（S450）（S450）。 测试脚本生成步骤（450）通过使用决策表指定单个模块，并通过使用消息序列图来指定模块调用模式。
-
公开(公告)号：KR101662703B1
公开(公告)日：2016-10-14
申请号：KR1020100054498
申请日：2010-06-09
Applicant: 삼성전자주식회사
CPC classification number: G11C16/08 , G11C16/0483 , G11C16/26
Abstract: 센싱노드의전압을제어하여오프셀 마진(off cell margin)을증가시킬수 있는플래시메모리장치및 플래시메모리장치의독출방법이개시된다. 상기플래시메모리장치는, 복수개의메모리셀들을구비하는메모리셀 어레이, 프리차지전압및 센싱노드전압제어신호를생성하여출력하는센싱노드전압제어부, 및상기프리차지전압및 상기센싱노드전압제어신호를입력받고, 상기메모리셀 어레이와복수개의비트라인들을통해연결되는페이지버퍼부를구비하고, 상기페이지버퍼부는, 상기복수개의비트라인들각각에대응되는복수개의페이지버퍼들을구비하며, 상기복수개의페이지버퍼들각각은, 대응되는비트라인과센싱노드사이에연결되고, 상기센싱노드전압제어신호에따라상기센싱노드의전압을제어하는비트라인연결부, 상기센싱노드에연결되고, 프리차지제어신호에응답하여상기입력받은프리차지전압에따라상기센싱노드를프리차지(precharge)하는프리차지부, 및래치제어신호에응답하여상기센싱노드의전압레벨을감지하여선택된메모리셀의데이터를결정하고, 입출력제어신호에응답하여상기선택된메모리셀의데이터를외부로출력하는데이터입출력부를구비하는것을특징으로한다.
-
Patent Agency Ranking
公开(公告)号：KR1020130099495A
公开(公告)日：2013-09-06
申请号：KR1020120021058
申请日：2012-02-29
Applicant: 삼성전자주식회사
CPC classification number: G11C16/3459 , G11C11/5628 , G11C16/10 , G11C2211/5621
Abstract: PURPOSE: A non-volatile memory device and a memory system including the same improve the distribution of a threshold voltage by biasing a bulk to a negative voltage during a programming operation and/or a verification operation. CONSTITUTION: A program execution period is performed to supply a program voltage to a selected word line. A verification period is performed to supply a verification voltage to the selected word line. A negative voltage as a well bias voltage (Vbb) is supplied to a pocket well in which memory cells are formed during the verification period. The negative voltage or a ground voltage as the well bias voltage is supplied to the pocket well during the program execution period.
Abstract translation: 目的：非易失性存储器件和包括其的存储器系统在编程操作和/或验证操作期间通过将体积偏压到负电压来改善阈值电压的分布。 构成：执行程序执行周期以将编程电压提供给所选择的字线。 执行验证周期以向所选择的字线提供验证电压。 作为阱偏置电压（Vbb）的负电压被提供到在验证期间形成存储器单元的口袋中。 在程序执行期间，阱电压被提供给口袋中的负电压或接地电压。
-
公开(公告)号：KR1020010009140A
公开(公告)日：2001-02-05
申请号：KR1019990027347
申请日：1999-07-07
IPC: G06F11/26
Abstract: PURPOSE: A system and a method for testing an embedded system software are provided to automatically generate a test script necessary for testing an embedded system software. CONSTITUTION: An embedded system software test method comprises steps of a message sequence chart editor generating a high level message sequence chart, a table editor generating a formal specification with a decision table, and storing them in a database of a computer system(S400), the message sequence chart editor generating a basic message sequence chart from the high level message sequence chart(S410), a message sequence chart parser generating a message sequence chart from the basic message sequence chart in response to a control of the message sequence chart editor(S420), a table parser generating a table from the decision table in response to a control of the message sequence chart parser(S430), a table sequence generator generating a test sequence from the message sequence chart in response to a control of the table parser(S440), and a test case selector generating a test script from the table and the test sequence in response to a control of the table sequence generator(S450). The test case selector internally processes the message sequence chart and the table, and generates the test case by using the test sequence and the table information.
Abstract translation: 目的：提供用于测试嵌入式系统软件的系统和方法，以自动生成测试嵌入式系统软件所需的测试脚本。 构成：嵌入式系统软件测试方法包括生成高级消息序列图的消息序列图编辑器的步骤，生成具有决策表的形式规范并将其存储在计算机系统的数据库中的表编辑器（S400） 消息序列图编辑器从高级消息序列图生成基本消息序列图（S410），消息序列图解析器响应于消息序列图编辑器的控制从基本消息序列图生成消息序列图（ S420），表解析器，响应于消息序列图解析器的控制从决策表生成表（S430），表序列生成器响应于表解析器的控制从消息序列图生成测试序列 （S440）以及响应于表格序列发生器的控制从表和测试序列生成测试脚本的测试用例选择器（S450）。 测试用例选择器在内部处理消息序列图和表，并通过使用测试序列和表信息生成测试用例。
-
公开(公告)号：KR100621573B1
公开(公告)日：2006-09-12
申请号：KR1019990027347
申请日：1999-07-07
IPC: G06F11/26
Abstract: 내장 시스템 소프트웨어를 테스트하는 데 필요한 테스트 스크립트를 자동으로 생성할 수 있는 내장 시스템 소프트웨어를 테스트하기 위한 시스템 및 방법이 개시된다.
개시된 내장 시스템 소프트웨어를 테스트하기 위한 시스템 및 방법에 따라 생성된 내장 시스템 소프트웨어를 테스트하는데 필요한 테스트 스크립트는 작업자의 손을 거치지 않고 컴퓨터 시스템에 탑재된 프로그램에 의해 자동으로 생성되며, 또한 내장 시스템 소프트웨어 의 각 모듈의 테스트에서 해당 모듈에 도달하기 위한 다양한 경로를 자동으로 생성한다.
따라서, 테스트 스크립트의 오류를 방지할 수 있을 뿐만 아니라 내장 시스템 소프트웨어를 테스트하는 데 소요되는 시간을 최소화할 수 있다.
소프트웨어 테스트, 내장 시스템 소프트웨어 , MSC, 테스트 케이스 생성-
公开(公告)号：KR1020010009139A
公开(公告)日：2001-02-05
申请号：KR1019990027346
申请日：1999-07-07
IPC: G06F11/26
Abstract: PURPOSE: A test driver generation system is provided to generate a test driver to perform a test case generated in a test case generator for testing an embedded system software. CONSTITUTION: A test driver generation system comprises interface specification, a test case generator, and a computer system. The interface specification has informations on each function necessary for a test of an embedded system software. The test case generator receives a message sequence chart and a decision table via a message sequence chart editor and a table editor to generate the test case, and tests the test case by using the interface specifications. A test driver generation method comprises steps of reading a prototype information on functions supplied by interface specifications to generate a test driver via a test driver generator of a test case generator(S30), inserting initialization codes into the prototype information(S31), inserting a parameter input routine on each function(S32), inserting function call data(S33), checking called results based on a decision table data, displaying the corresponding result on a screen to allow an operator to check the result, and finishing a testing process of an embedded system software(S34).
Abstract translation: 目的：提供一个测试驱动程序生成系统来生成一个测试驱动程序来执行在测试用例生成器中生成的用于测试嵌入式系统软件的测试用例。 构成：测试驱动器生成系统包括接口规范，测试用例生成器和计算机系统。 接口规范有关于嵌入式系统软件测试所需的每个功能的信息。 测试用例生成器通过消息序列图编辑器和表编辑器接收消息序列图和决策表，生成测试用例，并使用接口规范对测试用例进行测试。 测试驱动器生成方法包括以下步骤：读取由接口规范提供的功能的原型信息，以经由测试用例生成器的测试驱动器生成器生成测试驱动器（S30），将初始化代码插入到原型信息中（S31），插入 参数输入程序（S32），插入功能调用数据（S33），根据决策表数据检查调用结果，在屏幕上显示相应的结果，允许操作员检查结果，并完成测试过程 嵌入式系统软件（S34）。
-
公开(公告)号：KR101821604B1
公开(公告)日：2018-01-24
申请号：KR1020110073416
申请日：2011-07-25
Applicant: 삼성전자주식회사
CPC classification number: G11C16/34 , G11C11/5628 , G11C16/10 , G11C16/3431 , G11C16/3436 , G11C16/3454 , G11C16/3459
Abstract: 비휘발성메모리장치의프로그램방법에서, 멀티-비트데이터가페이지버퍼부에로드되고, 멀티-비트데이터에기초하여멀티-레벨셀 블록에포함된멀티-레벨셀들이복수의중간프로그램상태들로프로그램되며, 멀티-레벨셀들이복수의중간프로그램상태들로프로그램되었는지여부가검증된다. 복수의중간프로그램상태들각각에상응하는상위중간프로그램상태에대한검증의결과가소정의기준을만족하는지여부에기초하여복수의중간프로그램상태들각각에대한셀 그룹정보가생성된다. 셀그룹정보에기초하여멀티-레벨셀들이멀티-비트데이터에상응하는복수의목표프로그램상태들로프로그램된다.
Abstract translation: 在用于非易失性存储器装置的编程方法，多比特数据在页缓冲器单元加载，位数据到多基础的多包含在水平单元块的多级单元与所述多个中间编程状态的编程 验证多级单元是否已被编程为多个中间编程状态。 基于对应于多个中间编程状态中的每一个的上部中间编程状态的验证结果是否满足预定标准来产生用于多个中间编程状态中的每一个的单元组信息。 基于单元组信息，多级单元被编程有与多位数据相对应的多个目标编程状态。
-
-
-
-
-
-
-
-
-
Search Results
13
records
(took 0.022 seconds)
