测试充分性准则相关论文
基于构件的软件开发技术着重于重用已有的构件来生成新的系统。然而构件本身固有的一些特点,如源代码不可见、分布式运行、平台独......
近年来,各类应用软件层出不穷,软件开发规模越来越庞大,软件测试前期的准备工作作为软件正式投入使用前,保证软件高质量和高可靠性......
针对谓词/变迁网缺乏有效的形式化验证分析技术,基于代数规约测试谓词/变迁网方法,给出谓词/变迁网转换成代数规约语言CASOCC-WS表......
针对测试套件优化问题,提出了一种基于非信息素的人工蜂群优化方法。该方法将每个测试实例都看做优化问题的一个可能解,并引入幸福......
在开发超文本应用软件时，测试是费时费力的工作。现有软件测试充分性准则并非直接适用于超文本应用软件。本文首先讨论超文本应用的......
组件和基于组件的软件工程已成为软件工程领域的热点,其中有很多工作致力于研究如何构筑组件,却忽略了组件的测试工作.组件化程序......
讨论了文法测试的基本概念,分析了文法测试的特点、应用场景及其与一般软件测试的异同.形式化地定义了上下文无关文法的测试充分性......
由于形式规格说明采用一种精确、一致、容易被机器自动处理的符号系统来描述软件需求,因而形式规格说明为测试用例的自动生成和软......
本文介绍了几种在软件测试中常用的基于控制流的测试充分性评价准则。这些测试充分性准则适用于用过程式语言、面向对象语言编写的......
软件测试是保证软件质量的重要手段。已有统计结果表明,软件测试占开发成本的50%以上,包括:说明测试需求、准备测试数据、执行被测......
Web应用的质量保证是Web应用开发的一个关键问题和研究热点,而测试是保证Web应用质量的一种重要途径。与传统的软件相比,Web应用更......
