合约检查相关论文
近几十年,继面向对象的设计方法之后,基于构件的软件设计开发方法正在逐渐成为新的趋势,并不断成熟和大量推广。作为组成构件化软......
从构件使用者和开发者的角度分析构件及构件化软件的测试,利用Meyer的合约化软件设计思想作为构件测试的理论基础,并在其上进行了......
提出了一种支持构件化软件测试用例生成的改进的免疫遗传算法(Improved Immune Genetic Algorithm,简称IIGA),证明了算法的收敛性,并介......
基于构件软件开发的主要思想是使用现存的构件来建构软件系统。而这样的系统由于构件本身的特点导致了许多测试困难。本文结合传统......
针对集成测试困难问题,提出了适用于组件化软件集成测试的体系架构和合约检查方法及验证公式。该架构由配置体系、编译体系和执行体......
构件技术是软件复用的关键技术,构件测试是检测构件故障保证构件质量的重要手段。构件故障分为构件本身的故障和构件化软件集成时......
构件复用是提高软件开发效率的有效途径,构件测试是保证构件质量的重要手段。针对目前构件测试的现状,对构件测试进行了深入研究,提出......
基于构件软件开发的主要思想是使用现存的构件来建构软件系统。而这样的系统由于构件本身的特点导致了许多测试困难。B.Meyer将构件......