-
题名Petri网中基于E-CSPE约束的数据流测试
- 1
-
-
作者
张涌逸
-
机构
太原师范学院
-
出处
《重庆科技学院学报（自然科学版）》
CAS
2007年第3期94-97,共4页
-
文摘
定义了Petri网中E-CSPE约束机制,给出了一个在Petri网中基于E-CSPE约束的数据流测试指标。在准确描述分布式程序及运行的基础上,解决了用Rapps-Weyuker数据流测试指标引起的测试路径空间爆炸问题。
-
关键词
PETRI网
E-CSPE约束
数据流测试
-
Keywords
Petri net
E-CSPE restraint
condition
data stream test
-
分类号
TP393.06
[自动化与计算机技术—计算机应用技术]
-
-
题名基于数据流的组件测试
- 2
-
-
作者
曾红卫
周建云
-
机构
上海大学计算机工程与科学学院
-
出处
《应用科学学报》
CAS
CSCD
北大核心
2007年第6期621-626,共6页
-
基金
国家自然科学基金(60673115)
软件工程国家重点实验室开放基金(SKLSE05-13)资助项目
-
文摘
用组件状态机为组件的行为建模,根据组件状态机中状态、迁移和迁移的守卫条件之间的控制和数据关系,设计了组件状态机到组件流图的转换算法;提出了一种基于数据流的组件测试方法.按照全使用数据流测试准则,自动生成组件流图的定义-使用路径集.
-
关键词
组件状态机
数据流测试
组件流图
最短定义一使用路径
-
Keywords
component state machine
data flow testing
component flow graph
the shortest du-path
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名新宝来EPC灯亮
- 3
-
-
作者
吴兴家
-
出处
《汽车维修技师》
2012年第12期92-92,共1页
-
文摘
正车型:新宝来。VIN:LFV2A2159B×××××××。行驶里程:17895km。故障现象:仪表EPC指示灯报警,熄火后重新启动,故障消失。曾因该故障更换过加速踏板传感器。故障诊断:此车因该故障更换过加速踏板传感器,使用了大约一个月左右故障重现。检测发动机系统为:节气门/踏板位置传感器1/2G79+G185偶发性故障码,其他系统正常(如图1所示)。读取01-08-062数据流测试G79与G185两个踏板位置信号数据正常,并与其他车正常数据对比无异常现象;测量G79与G185供电为5V,正常。根据以往经验查看踏板位置线束插脚无干涉虚接现象,测量传感器到发动机控制单元之间线束,连接正常,当仔细查看其线路插脚时发现问题,如图2所示。
-
关键词
加速踏板
测量传感器
位置传感器
故障排除
故障诊断
控制单元
偶发性
数据流测试
发现问题
故障码
-
分类号
U472.4
[机械工程—车辆工程]
-
