【摘要】 一种单任务运行环境下实现软件运行时间确定的方法，其特征是它包括：(1)利用通用的编程方法编写符合功能要求的函数；(2)明确划分函数的外部输入、外部输出和算法；(3)为外部输出建立局部变量；(4)找到函数中所有的分支语句；(5)为所有分支语句的输出建立局部变量；(6)剪切所有分支的程序到分支外，将分支语句的输出均修改为分支输出的局部变量；(7)在分支中添加分支输出的局部变量到分支运算结果输出的赋值语句和对全局变量的赋值语句；(8)将分支运算结果加入后续程序运算；(9)最后将外部输出局部变量赋值到外部输出；(10)修改程序中调用到的函数即可。本发明能保证在输入不同路径不同的前提下同一个函数的运行时间确定不变。 ： 【专利类型】发明申请 【申请人】南京恩瑞特实业有限公司 【申请人类型】企业 【申请人地址】211110 江苏省南京市江宁开发区将军大道39号 【申请人地区】中国 【申请人城市】南京市 【申请人区县】江宁区 【申请号】CN201010500287.6 【申请日】2010-10-09 【申请年份】2010 【公开公告号】CN101957742A 【公开公告日】2011-01-26 【公开公告年份】2011 【授权公告号】CN101957742B 【授权公告日】2013-01-09 【授权公告年份】2013.0 【IPC分类号】G06F9/30 【发明人】束元 【主权项内容】一种单任务运行环境下实现软件运行时间确定的方法，其特征是它包括以下步骤：(1)利用通用的编程方法编写符合功能要求的函数；(2)明确划分函数的外部输入、外部输出和算法；(3)为外部输出建立局部变量；(4)找到函数中所有的分支语句；(5)为所有分支语句的输出建立局部变量；(6)剪切所有分支的程序到分支外，将分支语句的输出均修改为分支输出的局部变量；(7).在分支中添加分支输出的局部变量到分支运算结果输出的赋值语句和对全局变量的赋值语句；(8)将分支运算结果加入后续程序运算；(9)最后将外部输出局部变量赋值到外部输出；(10)修改程序中调用到的函数即可。 【当前权利人】南京恩瑞特实业有限公司 【当前专利权人地址】江苏省南京市江宁开发区将军大道39号 【专利权人类型】有限责任公司(非自然人投资或控股的法人独资) 【统一社会信用代码】913201157453964682 【引证次数】3.0 【被引证次数】2 【他引次数】3.0 【被他引次数】2.0 【家族引证次数】3.0 【家族被引证次数】2

未经允许不得转载：http://www.zhongzhencnc.com/1785387474.html