期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
对P-LOTOS表达式的自动分析和测试例推导
1
作者 马晓波 王翠茹 《内蒙古电大学刊》 2004年第4期47-48,共2页
P -LOTOS表达式的数据类型是受限制的 ,它只使用整型和布尔类型 ,并且整型运算被限制为加法、减法和比较运算。引进了P -LOTOS表达式的定义并介绍了对P -LOTOS表达式的一种自动分析和测试例推导方法。
关键词 P-LOTOS表达式 自动分析 测试例推导 布尔类型 ELTS 算法
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部