软件测试在APLA→JAVA系统中的应用研究

在参阅有关软件测试资料及文献,并结合国家自然科学基金项目APLA→JAVA自动程序转换系统测试的基础上,对软件测试进行了深入的研究和探索。从理论和实际相结合的角度,选用了针对性强、适用性好的测试用例,提出了适合于APLA→JAVA系统的软件测试计划、测试策略、测试方法,软件可靠性评估标准等。

一种用于APLA→JAVA系统可靠性评估模型

软件可靠性问题是软件测试中的重要难题之一,由于程序语言的复杂性以及被测程序的多样性,一直没有一个好的可靠性模型来评价它.鉴于此,依据软件可靠性工程理论,参考APLA→JAVA系统的特点,提出了一种基于测试的软件可靠性评估模型,讨论了模型的参数评估和置信区间,并给出了模型的评价方案.数据分析表明该模型具有合理性和可行性.

Apla→Java程序生成系统中泛型机制实现方法研究

在对泛型程设本质特征深入研究的基础上提出了新型泛型语言机制构想,并在Apla→Java生成系统中具体实现的新方法.该方法比现有的Java、C++、C#等语言中泛型机制的实现方法简单,并通过经典算法实例演示实现效果,大量用例的成功测试表明该实现方法的可靠性和新型泛型语言机制的正确性.

一种基于Apla-Java可重用部件库的并行(并发)程序开发方法

介绍了一种基于Apla-Java可重用部件库并行(并发)程序的开发方法,包括Apla-Java可重用部件的设计策略以及部件库并行并发机制的实现方法。并通过一个并行计算的实例验证了Apla-Java可重用部件库应用于并行(并发)程序设计的正确性。

一种基于Java可重用部件库的多核程序开发方法

目前多核软件的发展远滞后于多核硬件的发展,多核程序开发的瓶颈集中在软件上.文中介绍了Apla-Java可重用部件库的设计方法,提出了一种基于该部件库的多核程序开发方法,通过实例说明了该部件能够正确应用于多核程序设计.该方法对提高多核程序开发效率具有积极意义.

用PAR方法构建三种Java集合类

分析了抽象程序设计语言 Apla( Abstract Programming Language)定义的集合操作的实现算法思想 ,用 PAR方法 (分划递推法 ,Partition- and- Recur)推导了实现集合操作的 Apla程序 ,并分别将这些抽象程序用三种数据结构 (向量 ( Vector)、数组 ( Array)、链表 ( nodep,自定义 ) )来实现 ,构成了自定义 Java集合类库。该类库可用于 Apla- Java程序自动转换系统和体现数据抽象思想的 Java程序开发。

面向PAR平台的测试用例生成技术研究

测试用例的设计是软件测试中一个具有关键作用的工作,如何用较少的测试用例达到比较高的覆盖度,是需要解决的主要技术问题。本文结合现代软件测试技术中的数据驱动测试和结构驱动测试设计技术,根据PAR平台转换工具的实际测试情况,设计了一种基于路径的测试用例自动生成算法,并在PAR平台的转换工具中应用实施,科学合理的测试用例设计为PAR平台转换工具测试的进行提供基础,测试达到了预期目的。