一种基于类数据流的软件测试技术

提出了一种类数据流测试技术 ,通过类的数据流分析计算出实例变量的定义 使用对信息及成员函数的前置条件和后置条件 ,匹配函数的前置条件和后置条件为每一定义 使用对产生函数激活序列 (即测试用例 ) .这样产生的测试用例能够发现成员函数与实例变量之间交互作用时发生的错误 ,并且弥补了传统数据流测试技术的不足 ,减少了重复测试 ,提高了测试效率 .

一个基于面向对象模型的并行系统

为了开发分布式系统中的计算资源，我们设计了一个基于面向对象大粒度数据流模型的并行Ｃ＋＋系统ＯＯＣＰＣＳ．该系统的底层计算模型是面向对象范式和数据流模型的结合体。它将状态对象引入到数据流模型中，并且支持面向对象的特性。本文讨论了此模型在ＯＯＣＰＣＳ系统中的实现；并行化编译器；ＰＯＣ程序设计语言；

面向对象类测试方法分析

面向对象软件测试是面向对象软件开发的重要阶段 ,面向对象测试的关键是类测试。当前 ,类测试常用的方法是基于状态的测试和数据流测试。文章对这两种方法进行了分析和比较 ,提出了将来基于这两种方法的研究重点。