对P-LOTOS表达式的自动分析和测试例推导 |
| |
引用本文: | 马晓波,王翠茹.对P-LOTOS表达式的自动分析和测试例推导[J].内蒙古电大学刊,2004(4):47-48. |
| |
作者姓名: | 马晓波 王翠茹 |
| |
作者单位: | 1. 内蒙古工业大学信息工程学院计算机科学与技术系,内蒙古,呼和浩特,010062 2. 内蒙古大学艺术学院,内蒙古,呼和浩特,010010 |
| |
摘 要: | P—LOTOS表达式的数据类型是受限制的,它只使用整型和布尔类型,并且整型运算被限制为加法、减法和比较运算。引进了P—LOTOS表达式的定义并介绍了对P—LOTOS表达式的一种自动分析和测试例推导方法。
|
关 键 词: | P-LOTOS表达式 自动分析 测试例推导 布尔类型 ELTS 算法 |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
|