有界闭区间并上的非线性循环程序的终止性验证

• 作者: 刘德斌 李玲娜 田继东
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 程序验证 终止性分析 非线性循环程序 不动点 周期点
• 年，卷（期）: 2012,（10）
• 页码范围: 105-108
• 分类号: TP301
• 字数: 3450字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386x.2012.10.029

摘要

利用符号动力学理论中有关一维离散映射的函数和区间的转换图方法及相关结论,证明一类非线性循环程序不终止的必要条件是在该程序循环区间上有不动点或者周期点存在,并给出相应的终止性验证算法.利用该算法可以验证一维有界闭区间上的非线性循环程序的终止性.最后,给出计算实例演示该算法的算法步骤.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	田继东	西南石油大学理学院	33	276	8.0	16.0
2	刘德斌	西南石油大学理学院	5	6	2.0	2.0
3	李玲娜	西南石油大学理学院	7	5	2.0	2.0