基于基元关系模型的C++程序静态分析器

分析了面向对象软件测试和度量的特点,结合面向对象程序的性质提出了描述程序基本组成元素之间关系的基元关系模型(ERM),介绍了从基于MFC(Microsoft Foundation Class)的Visual C+ +6.0源程序中构造ERM模型的算法,据此构造了一个基于基元关系模型的VC+ +6.0程序静态分析器.对分析器实现中采取的名称空间符号表、增量式开发和增量式分析等关键技术进行了介绍.实践证明,该分析器可以高效正确地提取出模型中描述的各种关系,有助于面向对象软件测试和度量方面的进一步研究.      

Ada软件测试与认证模型及支持系统

首先讨论Ａｄａ软件测试与认证模型，然后描述根据上述模型建立的Ａｄａ软件测试与认证活动的支持系统，并介绍该系统的结构、功能和特点．     

Ada软件温度与认证模型及支持系统

首先讨论了Ａｄａ软件测试与认下模型，然后描述根据上述模型建立的Ａｄａ软件测试与认证活动的支持系统，并介绍该系统的结构，功能和特点。     

类构件潜在可重用性预测技术

首先分析了Judith Barnard类构件潜在可重用性预测模型,针对其不足提出了改进意见.在此基础上,将"类构件"的概念进行扩展,提出了"可重用类群"的概念及相应的判定算法,该技术使得对类构件潜在可重用性的预测更加合理、准确.      

用电热类比法解导热系数随温度而变的导热问题

本文介绍一种简单而有效的方法, 即利用我们所熟知的λ变换法在电模型上解非线性问题(简称λ场法)。该法见特辛勃和施纳特的著作[10,4]。他们应用该法, 得出了导热系数和温度成线性关系的稳定导热问题的数值解, 并正确地指出了该法仅适用于第Ⅰ类边界条件及表面无换热的情况。在本文中, 我们将该变换法推广到解热传导问题的电模拟领域中来; 并利用了电模型固有的特点提出了对工程上最常见的第Ⅲ类边界条件的变换方法,成功地解决了求解导热系数和温度成线性关系的第重类边界条件问题; 文中还进一步提出了非线性的不稳定场的解法, 阐明了应用λ变换法在纯电阻网模型上求解导热系数和温度成线性关系的不稳定场的试验原理及试验方法。应用该法时可减少解题所需的工作量。根据所提出的变换方法, 在模型上计算了一个简单的第Ⅲ类边界条件下的稳定导热问题, 以阐明方法的应用及解题步骤。对于复杂的导热问题(如轮盘、叶片) 在电阻网模型上求解时, 方法当然仍是有效的。考虑到便于进行方法的比较, 故本文首先介绍了在电阻网模型上解导热系数随温度而变的稳定温度场问题的逐次近似法; 然后提出了把温度场转化为λ场的求解方法; 最后简单阐明了用λ场法在纯电阻网模型上求解不稳定场的方法原理。     

符号执行和测试数据辅助生成的实验系统

本文提出了一个以符号执行方法辅助生成测试数据的实验系统。对于一个给定的源程序,它在对该程序进行静态分析的基础上,自动选择一组逻辑路径使其满足语句覆盖准则、或分支覆盖准则、或逻辑路径覆盖准则。然后,逐条地符号执行这组逻辑路径。对每条路径,它都产生一组以程序输入变量表示的路径限制条件。本系统还产生定义在输入变量上的输出变量(及中间变量)的符号表达式,用户可据此分析路径的计算过程、输入变量与输出变量的关系等。因此,它为验证程序断言、静态分析程序、分析动态测试结果提供了有价值的信息。     

基于UML用例图与顺序图模型的操作剖面构造

探讨了由面向对象用例模型构造操作剖面的可行性,结合一个实例,详细介绍基于统一建模语言UML(Unified Modeling Language)的用例图和顺序图构造操作剖面的具体方法,并对基于UML用例图和顺序图构造操作剖面方法的有效性进行了分析.结果表明,将操作剖面构造与软件系统建模相结合,可大大简化构造过程,降低开发费用.     

上下文无关文法测试充分性

讨论了文法测试的基本概念,分析了文法测试的特点、应用场景及其与一般软件测试的异同.形式化地定义了上下文无关文法的测试充分性准则,提出了一个上下文无关文法的测试充分性准则族.分析了该准则族中各准则之间的包含关系,以及这种包含关系与揭示文法所特有的2类缺陷的能力之间的关系. 计算和比较了准则族中各准则的测试集规模复杂性.为了评价文法的测试开销,定义了一个上下文无关文法的测试复杂性度量,该度量能够从测试充分性的角度反映测试一个文法的难易程度和测试开销的大小.