专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明授权

US06467078B1 Program development system, method for developing programs and storage medium storing programs for development of programs 有权
标题翻译：程序开发系统，开发程序的方法和存储程序开发程序的存储介质
公开(公告)号：US06467078B1
公开(公告)日：2002-10-15
申请号：US09346233
申请日：1999-07-01
申请人： Harumi Matsuba , Masahiko Watanabe
发明人： Harumi Matsuba , Masahiko Watanabe
IPC分类号： G06F944
CPC分类号： G06F8/30 , G06F9/455
摘要： There is disclosed a program development system, a method for developing programs and a storage medium storing programs for development of programs by which the reduction in development periods of a program to be incorporated into a real time control system and the improvement of qualities are realized. A program development system comprises a state transition storing section to store a state transition matrix, a processing time storing section to store processing time required for an action described in each cell in the state transition matrix, and a simulator to obtain processing time required for a simulation of operations of a system by accumulating events inputted sequentially and time information corresponding to a cell specified sequentially by a state inputted as an initial state or a state subsequent to transition described in each cell.
摘要翻译：公开了一种程序开发系统，用于开发程序的方法和存储用于开发程序的程序的存储介质，通过该程序，实现将要并入到实时控制系统中的程序的开发周期的减少和质量的提高。程序开发系统包括：状态转移存储部分，用于存储状态转移矩阵;处理时间存储部分，用于存储状态转移矩阵中每个单元中描述的动作所需的处理时间;以及模拟器，用于获得所需的处理时间通过累积顺序输入的事件来对系统的操作进行模拟，并且对与由每个单元中描述的初始状态或后续状态输入的状态顺序指定的单元相对应的时间信息进行模拟。

2. 发明授权

US06175935B1 Software debugging method and recording medium to which debugging program has been recorded 失效
标题翻译：软件调试方法和记录了调试程序的记录介质
公开(公告)号：US06175935B1
公开(公告)日：2001-01-16
申请号：US09095567
申请日：1998-06-11
申请人： Harumi Matsuba
发明人： Harumi Matsuba
IPC分类号： G06F945
CPC分类号： G06F8/66
摘要： A software debugging method and a recording medium to which a debugging program has been recorded permit a shorter total time required for converting a source program to an object program and the time required for loading an object program into a debugging device. When it has been determined that a stored information file (108) exists, a linker (104) receives the stored information to compare a module size “m” before correction with a module size “n” after correction. If the module size “m” before correction is smaller than the module size “n” after correction, then those of up to the m-th module among the corrected modules are allocated to an actual memory area of a memory (107) where the modules before correction have been stored, and continuous addresses in an extended memory area (202) of the memory (107) are allocated to the programs from an address of (m+1) and after. Further, an object program (105) which has address space information is output and loaded into a debugging device (106). This permits a shortened processing time which includes the loading time.
摘要翻译：已经记录了调试程序的软件调试方法和记录介质允许将源程序转换为对象程序所需的总时间和将对象程序加载到调试装置所需的时间。当确定存储的信息文件（108）存在时，链接器（104）接收所存储的信息，以在校正之后将模块大小“m”与校正之后的模块尺寸“n”进行比较。如果在校正之后的模块尺寸“m”小于校正后的模块尺寸“n”，则将校正模块中的直到第m模块的那些分配给存储器（107）的实际存储区域，其中已经存储了校正前的模块，并且存储器（107）的扩展存储器区域（202）中的连续地址从（m + 1）和之后的地址分配给程序。此外，具有地址空间信息的对象程序（105）被输出并加载到调试装置（106）中。这允许缩短处理时间，包括加载时间。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式