数据流测试相关论文
Web应用的快速发展给Web开发和测试提出了更高的要求.建立模型是测试的第一步.本文在现有的Web应用测试模型的基础上进行改进,给出......
高可信软件技术是软件理论研究和工程实践领域关注的焦点之一。近年来，越来越多的形式化方法被应用于提高软件质量的研究上。软件测......
介绍了基于汇编语言的数据流自动测试工具ADTA(Automatic Data flow Test For Assembly Program),给出了数据流测试的探针结构,提......
模型检验输出的反例提供了一种自动产生测试用例的有效途径。提出了一种用模型检验进行构件数据流测试的方法。利用构件状态机描述......
类簇控制依赖信息是进行类间数据流测试的基础.本文通过克服已有类控制流分析的不足之处,提出了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,发动......
