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