基于遗传算法的测试数据生成研究

分析了软件测试的相关概念,提出了利用控制依赖图路径生成测试数据的方法,给出了一个完整的解决方案,通过具体实例表明其有效性。

基于继承图的面向对象软件复杂性度量研究

面向对象软件开发是一种新的可以减少成本、提高可用性和灵活性的高效的软件系统开发方法。复杂性度量在软件开发中起着非常重要的作用,它可减少整个开发周期的费用,但目前还没有成熟的用于面向对象软件复杂性的度量方法。文章首先通过继承图描述面向对象软件复杂性度量方法,然后讨论了单元重复继承算法,最后给出了具体实例。

软件测试充分性研究

软件测试充分性准则是决定一个软件系统能否被充分测试的规则,而测试充分性的关键问题是其检测故障的能力。该文首先给出测试充分性准则的形式化描述,然后讨论了软件测试充分性的性质,最后给出了两种理想的测试数据生成方案,并提出了测试充分性度量方法。

路径覆盖自动生成技术研究

路径覆盖是路径测试最重要的课题之一。文章给出了ddgraph图的支配树、蕴含树和非限制弧的构造方法,提出了一种基于最小路径测试子集的寻找单个测试路径算法,该算法可有效地生成从入口到出口且覆盖非限制弧的路径子集,并给出了具体的应用实例。

面向对象软件度量方法

度量技术是保证软件质量的重要方法。随着面向对象技术的发展 ,传统的软件度量技术不再适用于面向对象软件。文中分析了软件度量理论 ,讨论了目前流行的两种面向对象软件度量方法 ,指出其不足和进一步的工作。

程序复杂性度量的一种新方法

通过分析传统的程序复杂性度量方法的不足之处,首先提出了一种基于程序分解机制的路径复杂性度量方法,然后给出了计算路径复杂度的算法,最后给出了实例。新的度量方法指出了一个程序需要的完全测试路径数目。

基于程序图的路径测试

软件测试是软件设计中一个重要阶段，也是保证软件可靠性的重要手段。路径测试是软件测试中一种重要方法，而测试的关键是确定路径数目和设计测试用例。本文讨论了利用程序图进行路径测试的方法。

面向对象系统的耦合性度量技术研究

度量技术是保证软件质量的重要方法,而耦合性是面向对象系统中一个复杂的软件属性。该文首先分析了面向对象系统的相关概念,然后概述了目前的耦合性定性度量框架,最后提出了一种综合耦合性的度量方法。

测试数据自动生成技术研究

软件测试分为静态分析、路径选择、测试数据生成和动态分析四个阶段,而测试数据的自动生成是软件测试的关键技术之一。文章通过对被测试程序的分析,提出了生成测试数据的平衡力法,对任意的输入变量,判断变量移动范围及进行谓词中变量的函数极小化,得到测试数据,并给出了具体实现方法。

面向对象软件度量技术研究

度量技术是保证软件质量的重要方法。随着面向对象技术的发展,传统的软件度量技术已不再适用于面向对象软件。首先分析了面向对象软件的主要特征,然后讨论了目前流行的两种面向对象软件度量方法,最后指出其不足和进一步的工作。

面向对象软件设计度量技术研究

度量技术是保证软件质量的重要方法。随着面向对象技术的发展，传统的软件度量技术不再适用于面向对象软件。该文分析了面向对象软件设计度量理论及其基本概念，讨论了面向对象软件设计度量方法。给出一个实例，并指出进一步的工作。

数据流测试准则之间关系的研究

软件测试充分性准则是决定一个软件系统能否被充分测试的规则,而测试充分性的关键问题是其检测故障的能力。该文首先分析了数据流测试基本概念,然后讨论了数据流测试准则之间的关系,最后针对测试准则C1和C2,提出了二者的关系R。R(C1,C2)可保证在特定的错误检测度量方法下,C1比C2具有更好的检错能力。

一种软件体系结构级路径覆盖方法

软件体系结构测试是对构件功能描述和接口描述的测试,是保证基于构件的软件系统质量的重要手段.提出一种新的软件体系结构级路径覆盖方法,用Wright描述软件体系结构并将体系结构配置行为转换成改进的配置行为图表示构件内部计算及外部迁移信息,根据构件连接路径覆盖准则C_CPC和构件连接路径覆盖生成算法F indC_CPaths,生成相应的测试路径.基于此设想实现了工具WTPT,通过实验及其分析表明了算法的正确性和有效性.最后对构件连接路径覆盖准则进行评估,评估结果为应用该覆盖准则提供了理论依据.

基于DAG图的面向对象软件维护度量研究

讨论了用面向对象技术解决软件维护度量的途径,提出了两种基于DAG图的面向对象软件维护度量方法,并与DIT和AID度量进行了比较.

面向对象软件测试方法研究

面向对象软件开发是一种新的减少成本、提高可用性、灵活性和高效的软件系统开发方法。软件测试是改善软件质量和正确性的重要技术,但目前还没有成熟的用于面向对象软件开发的测试方法。本文首先通过继承图描述面向对象软件测试方法,然后讨论了单元重复继承算法,该算法的时间复杂性为O(n3),并给出了具体实例,最后提出了继承层次测试方法。

基于程序图的McCabe结构复杂性度量

程序复杂性度量是软件工程的一个研究领域 ,不同的软件设计方法可导致不同的程序复杂性。本文讨论了利用程序图进行 Mc Cabe结构复杂性度量的方法。

路径表达式的构造方法及路径测试

软件测试是软件设计中一个重要阶段，也是保证软件可靠性的重要手段。路径测试是软件测试中一种重要方法，而测试的关键是确定路径数目和设计测试用例。程序路径表达式是路径测试中路径的一种表示方法。本文讨论了利用程序图进行路径测试中的路径表达式的构造方法。

HPLC法测定前列欣胶囊中芍药苷的含量

目的建立高效液相色谱法测定前列欣胶囊中芍药苷含量的测定方法。方法色谱柱采用十八烷基硅烷键合硅胶为填充剂;乙腈-0.1%磷酸二氢钾(0.1%磷酸)溶液(15∶85)为流动相;检测波长为230 nm,测定芍药苷含量。结果芍药苷在7.031 2～118.5μg·mL-1(r=0.999 9)范围内具有良好的线性关系,空白无干扰,样品平均回收率为98.42%,RSD=1.35%。结论本方法简便、准确、分离度好、重现性高,可作前列欣胶囊中芍药苷的含量测定。

有序二叉树中的插入、删除及其PDC—PROLOG实现

二叉树是一种重要的数据结构,而有序二叉树是一种重要的二叉树。本文讨论了在 PDC-PROLOG 中,用递归技术对有序二叉树进行插入与删除结点。

路径覆盖构造方法

确定覆盖路径的测试数据范围是评估路径测试的重要课题之一。提出利用非限制弧集确定覆盖ddgraph图所有路径的子集，然后利用βbranch简化非限制弧，并给出了具体的应用实例。