数据流测试相关论文
该文首先综述了软件测试的理论,方法及工具的发展概况,指出面向对象技术对软件测试的要求更加严格.该文详述了结构测试策略和类的......
软件测试在软件生存周期中占有十分重要的位置,是软件质量保证的重要手段.Web系统应用的领域越来越广泛,但如何有效的测试Web系统......
Web应用的快速发展给Web开发和测试提出了更高的要求.建立模型是测试的第一步.本文在现有的Web应用测试模型的基础上进行改进,给出......
高可信软件技术是软件理论研究和工程实践领域关注的焦点之一。近年来，越来越多的形式化方法被应用于提高软件质量的研究上。软件测......
介绍了基于汇编语言的数据流自动测试工具ADTA(Automatic Data flow Test For Assembly Program),给出了数据流测试的探针结构,提......
模型检验输出的反例提供了一种自动产生测试用例的有效途径。提出了一种用模型检验进行构件数据流测试的方法。利用构件状态机描述......
正车型:新宝来。VIN:LFV2A2159B×××××××。行驶里程:17895km。故障现象:仪表EPC指示灯报警,熄......
用组件状态机为组件的行为建模，根据组件状态机中状态、迁移和迁移的守卫条件之间的控制和数据关系，设计了组件状态机到组件流图的转......
类簇控制依赖信息是进行类间数据流测试的基础.本文通过克服已有类控制流分析的不足之处,提出了CCFG算法,依照类间测试序,通过分析......
通过设置陷阱性质，用时序逻辑公式表示数据流测试的覆盖准则，将测试生成问题简化成模型检测中寻找反例的问题，自动生成满足数据流覆盖......
介绍了一种基于Web的结构化测试方法——数据流测试。首先介绍了传统的数据流测试理论,接着从Web角度提出了基于Web的数据流测试方......
定义了Petri网中E-CSPE约束机制,给出了一个在Petri网中基于E-CSPE约束的数据流测试指标。在准确描述分布式程序及运行的基础上,解......
面向对象软件测试已成为软件工程领域的一个重要研究课题，其中，类测试是面向对象软件测试的关键。论文在介绍传统数据流测试技术的基......
程序控制流的设计是为实现正确的数据流服务的,数据流测试是非常重要的。文中将面向all-uses数据流准则的测试用例生成问题建模为......
分析类的数据流，说明数据的定义-使用对；给出构造类的控制流图的一种算法．...
面向服务的体系架构SOA(Service-Oriented Architecture)是分布式计算领域和软件技术发展的一个.里程碑。Web服务作为其实现基础,......
目前的测试用例生成技术生成的测试用例集对程序中的定义使用对的覆盖率很低。为了提高测试用例集对程序中定义使用对的覆盖率,本......
提示 显示分组035显示区2中的显示分类（可加热式座椅控制的状态）显示=“0”（功能未激活）：左前、右前、左后、右后座椅加热装置关闭；显示=......
1读取测量值（操作与显示单元、Climatronic控制单元J255）在点火开关处于断开状态下，将汽车诊断、测量和信息系统V．A．S5051A用诊断导线V．A......
<正>奥迪A6轿车01J型无级自动变速器数据流测试结果和结果分析见表1所列(说明:下列测试为2005年奥迪A6轿车,发动机型号为BDW,发动......
