期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
7
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
软件测试在APLA→JAVA系统中的应用研究
被引量:
9
1
作者
杨乐
薛锦云
+1 位作者
万松松
盛立冉
《微计算机信息》
北大核心
2008年第9期283-285,共3页
在参阅有关软件测试资料及文献,并结合国家自然科学基金项目APLA→JAVA自动程序转换系统测试的基础上,对软件测试进行了深入的研究和探索。从理论和实际相结合的角度,选用了针对性强、适用性好的测试用例,提出了适合于APLA→JAVA系统的...
在参阅有关软件测试资料及文献,并结合国家自然科学基金项目APLA→JAVA自动程序转换系统测试的基础上,对软件测试进行了深入的研究和探索。从理论和实际相结合的角度,选用了针对性强、适用性好的测试用例,提出了适合于APLA→JAVA系统的软件测试计划、测试策略、测试方法,软件可靠性评估标准等。
展开更多
关键词
软件测试
apla→java
并行测试
软件可靠性
下载PDF
职称材料
一种用于APLA→JAVA系统可靠性评估模型
被引量:
3
2
作者
杨乐
刘珊慧
薛锦云
《昆明理工大学学报(理工版)》
北大核心
2009年第6期40-43,共4页
软件可靠性问题是软件测试中的重要难题之一,由于程序语言的复杂性以及被测程序的多样性,一直没有一个好的可靠性模型来评价它.鉴于此,依据软件可靠性工程理论,参考APLA→JAVA系统的特点,提出了一种基于测试的软件可靠性评估模型,讨论...
软件可靠性问题是软件测试中的重要难题之一,由于程序语言的复杂性以及被测程序的多样性,一直没有一个好的可靠性模型来评价它.鉴于此,依据软件可靠性工程理论,参考APLA→JAVA系统的特点,提出了一种基于测试的软件可靠性评估模型,讨论了模型的参数评估和置信区间,并给出了模型的评价方案.数据分析表明该模型具有合理性和可行性.
展开更多
关键词
apla→java
软件可靠性
可靠性评估
下载PDF
职称材料
Apla→Java程序生成系统中泛型机制实现方法研究
被引量:
4
3
作者
徐华珍
薛锦云
朱小征
《江西师范大学学报(自然科学版)》
CAS
北大核心
2017年第1期52-55,92,共5页
在对泛型程设本质特征深入研究的基础上提出了新型泛型语言机制构想,并在Apla→Java生成系统中具体实现的新方法.该方法比现有的Java、C++、C#等语言中泛型机制的实现方法简单,并通过经典算法实例演示实现效果,大量用例的成功测试表明...
在对泛型程设本质特征深入研究的基础上提出了新型泛型语言机制构想,并在Apla→Java生成系统中具体实现的新方法.该方法比现有的Java、C++、C#等语言中泛型机制的实现方法简单,并通过经典算法实例演示实现效果,大量用例的成功测试表明该实现方法的可靠性和新型泛型语言机制的正确性.
展开更多
关键词
泛型语言机制
软件可靠性
安全机制
apla→java
生成系统
下载PDF
职称材料
一种基于Apla-Java可重用部件库的并行(并发)程序开发方法
被引量:
5
4
作者
揭安全
薛锦云
《微电子学与计算机》
CSCD
北大核心
2006年第9期165-167,170,共4页
介绍了一种基于Apla-Java可重用部件库并行(并发)程序的开发方法,包括Apla-Java可重用部件的设计策略以及部件库并行并发机制的实现方法。并通过一个并行计算的实例验证了Apla-Java可重用部件库应用于并行(并发)程序设计的正确性。
关键词
PAR方法
apla
—
java
可重用部件
并行
并发
下载PDF
职称材料
一种基于Java可重用部件库的多核程序开发方法
被引量:
1
5
作者
揭安全
石海鹤
薛锦云
《微电子学与计算机》
CSCD
北大核心
2008年第9期18-20,共3页
目前多核软件的发展远滞后于多核硬件的发展,多核程序开发的瓶颈集中在软件上.文中介绍了Apla-Java可重用部件库的设计方法,提出了一种基于该部件库的多核程序开发方法,通过实例说明了该部件能够正确应用于多核程序设计.该方法对提高多...
目前多核软件的发展远滞后于多核硬件的发展,多核程序开发的瓶颈集中在软件上.文中介绍了Apla-Java可重用部件库的设计方法,提出了一种基于该部件库的多核程序开发方法,通过实例说明了该部件能够正确应用于多核程序设计.该方法对提高多核程序开发效率具有积极意义.
展开更多
关键词
PAR
apla
-
java
可重用部件
CMP
多核程序设计
下载PDF
职称材料
用PAR方法构建三种Java集合类
6
作者
石海鹤
骆健
薛锦云
《计算机与现代化》
2001年第4期7-13,103,共8页
分析了抽象程序设计语言 Apla( Abstract Programming Language)定义的集合操作的实现算法思想 ,用 PAR方法 (分划递推法 ,Partition- and- Recur)推导了实现集合操作的 Apla程序 ,并分别将这些抽象程序用三种数据结构 (向量 ( Vector)...
分析了抽象程序设计语言 Apla( Abstract Programming Language)定义的集合操作的实现算法思想 ,用 PAR方法 (分划递推法 ,Partition- and- Recur)推导了实现集合操作的 Apla程序 ,并分别将这些抽象程序用三种数据结构 (向量 ( Vector)、数组 ( Array)、链表 ( nodep,自定义 ) )来实现 ,构成了自定义 Java集合类库。该类库可用于 Apla- Java程序自动转换系统和体现数据抽象思想的 Java程序开发。
展开更多
关键词
apla
语言
java
语言
PAR方法
面向对象
程序设计
集合操作
下载PDF
职称材料
面向PAR平台的测试用例生成技术研究
被引量:
3
7
作者
杨乐
薛锦云
万韵
《微计算机信息》
2009年第33期204-205,122,共3页
测试用例的设计是软件测试中一个具有关键作用的工作,如何用较少的测试用例达到比较高的覆盖度,是需要解决的主要技术问题。本文结合现代软件测试技术中的数据驱动测试和结构驱动测试设计技术,根据PAR平台转换工具的实际测试情况,设计...
测试用例的设计是软件测试中一个具有关键作用的工作,如何用较少的测试用例达到比较高的覆盖度,是需要解决的主要技术问题。本文结合现代软件测试技术中的数据驱动测试和结构驱动测试设计技术,根据PAR平台转换工具的实际测试情况,设计了一种基于路径的测试用例自动生成算法,并在PAR平台的转换工具中应用实施,科学合理的测试用例设计为PAR平台转换工具测试的进行提供基础,测试达到了预期目的。
展开更多
关键词
PAR平台
PAR方法
测试用例
apla→java
下载PDF
职称材料
题名
软件测试在APLA→JAVA系统中的应用研究
被引量:
9
1
作者
杨乐
薛锦云
万松松
盛立冉
机构
江西师范大学计算机信息工程学院
江西农业大学计算机信息工程学院
出处
《微计算机信息》
北大核心
2008年第9期283-285,共3页
基金
国家自然科学基金资助项目(69783006
69983003)
文摘
在参阅有关软件测试资料及文献,并结合国家自然科学基金项目APLA→JAVA自动程序转换系统测试的基础上,对软件测试进行了深入的研究和探索。从理论和实际相结合的角度,选用了针对性强、适用性好的测试用例,提出了适合于APLA→JAVA系统的软件测试计划、测试策略、测试方法,软件可靠性评估标准等。
关键词
软件测试
apla→java
并行测试
软件可靠性
Keywords
Software Testing
apla→java
Parallel Test
Software Reliability
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
一种用于APLA→JAVA系统可靠性评估模型
被引量:
3
2
作者
杨乐
刘珊慧
薛锦云
机构
江西农业大学计算机与信息工程学院
江西师范大学计算机信息工程学院
中国科学院软件研究所计算机科学重点实验室
出处
《昆明理工大学学报(理工版)》
北大核心
2009年第6期40-43,共4页
基金
国家自然科学基金资助项目(项目编号:69783006和69983003)
文摘
软件可靠性问题是软件测试中的重要难题之一,由于程序语言的复杂性以及被测程序的多样性,一直没有一个好的可靠性模型来评价它.鉴于此,依据软件可靠性工程理论,参考APLA→JAVA系统的特点,提出了一种基于测试的软件可靠性评估模型,讨论了模型的参数评估和置信区间,并给出了模型的评价方案.数据分析表明该模型具有合理性和可行性.
关键词
apla→java
软件可靠性
可靠性评估
Keywords
apla→java
software reliability
reliability assessment
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
Apla→Java程序生成系统中泛型机制实现方法研究
被引量:
4
3
作者
徐华珍
薛锦云
朱小征
机构
江西师范大学计算机信息与工程学院
江西师范大学国家网络化支撑软件国际科技合作基地
出处
《江西师范大学学报(自然科学版)》
CAS
北大核心
2017年第1期52-55,92,共5页
基金
国家自然科学基金重大国际合作研究项目(61020106009)
国家自然科学基金面上项目(61272075
+1 种基金
61472167)
国家自然科学基金地区科学基金(61462041)资助项目
文摘
在对泛型程设本质特征深入研究的基础上提出了新型泛型语言机制构想,并在Apla→Java生成系统中具体实现的新方法.该方法比现有的Java、C++、C#等语言中泛型机制的实现方法简单,并通过经典算法实例演示实现效果,大量用例的成功测试表明该实现方法的可靠性和新型泛型语言机制的正确性.
关键词
泛型语言机制
软件可靠性
安全机制
apla→java
生成系统
Keywords
generic language mechanism
software reliability
safety mechanism
apla→java
generation system
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
一种基于Apla-Java可重用部件库的并行(并发)程序开发方法
被引量:
5
4
作者
揭安全
薛锦云
机构
江西师范大学计算机信息工程学院
江西省高性能计算技术重点实验室
出处
《微电子学与计算机》
CSCD
北大核心
2006年第9期165-167,170,共4页
基金
国家自然科学基金项目(60273092)
文摘
介绍了一种基于Apla-Java可重用部件库并行(并发)程序的开发方法,包括Apla-Java可重用部件的设计策略以及部件库并行并发机制的实现方法。并通过一个并行计算的实例验证了Apla-Java可重用部件库应用于并行(并发)程序设计的正确性。
关键词
PAR方法
apla
—
java
可重用部件
并行
并发
Keywords
PAR method,
apla
-
java
, Reusable components, Parallel, Concurrent
分类号
TP31 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
一种基于Java可重用部件库的多核程序开发方法
被引量:
1
5
作者
揭安全
石海鹤
薛锦云
机构
江西师范大学计算机信息工程学院
出处
《微电子学与计算机》
CSCD
北大核心
2008年第9期18-20,共3页
基金
国家“九七三”计划项目(2003CCA02800)
江西省教育厅科技项目(GJJ08155)
文摘
目前多核软件的发展远滞后于多核硬件的发展,多核程序开发的瓶颈集中在软件上.文中介绍了Apla-Java可重用部件库的设计方法,提出了一种基于该部件库的多核程序开发方法,通过实例说明了该部件能够正确应用于多核程序设计.该方法对提高多核程序开发效率具有积极意义.
关键词
PAR
apla
-
java
可重用部件
CMP
多核程序设计
Keywords
PAR
apla
-
java
reusable momponents
CMP
multi-core programming
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
用PAR方法构建三种Java集合类
6
作者
石海鹤
骆健
薛锦云
机构
江西师范大学计算机科学技术学院
出处
《计算机与现代化》
2001年第4期7-13,103,共8页
基金
国家自然科学基金资助项目
文摘
分析了抽象程序设计语言 Apla( Abstract Programming Language)定义的集合操作的实现算法思想 ,用 PAR方法 (分划递推法 ,Partition- and- Recur)推导了实现集合操作的 Apla程序 ,并分别将这些抽象程序用三种数据结构 (向量 ( Vector)、数组 ( Array)、链表 ( nodep,自定义 ) )来实现 ,构成了自定义 Java集合类库。该类库可用于 Apla- Java程序自动转换系统和体现数据抽象思想的 Java程序开发。
关键词
apla
语言
java
语言
PAR方法
面向对象
程序设计
集合操作
Keywords
apla
language
java
language
PAR method
object oriented programming
set manipulation
分类号
TP311.1 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
面向PAR平台的测试用例生成技术研究
被引量:
3
7
作者
杨乐
薛锦云
万韵
机构
江西农业大学计算机与信息工程学院
江西省高校软件科学技术中心
出处
《微计算机信息》
2009年第33期204-205,122,共3页
基金
基金申请人:薛锦云
项目名称:基于PAR方法和PAR平台的泛型程序设计关键技术研究
基金颁发部门:国家自然科学基金委(60573080)
文摘
测试用例的设计是软件测试中一个具有关键作用的工作,如何用较少的测试用例达到比较高的覆盖度,是需要解决的主要技术问题。本文结合现代软件测试技术中的数据驱动测试和结构驱动测试设计技术,根据PAR平台转换工具的实际测试情况,设计了一种基于路径的测试用例自动生成算法,并在PAR平台的转换工具中应用实施,科学合理的测试用例设计为PAR平台转换工具测试的进行提供基础,测试达到了预期目的。
关键词
PAR平台
PAR方法
测试用例
apla→java
Keywords
PAR Platform
PAR Method
Test Case
apla→java
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
软件测试在APLA→JAVA系统中的应用研究
杨乐
薛锦云
万松松
盛立冉
《微计算机信息》
北大核心
2008
9
下载PDF
职称材料
2
一种用于APLA→JAVA系统可靠性评估模型
杨乐
刘珊慧
薛锦云
《昆明理工大学学报(理工版)》
北大核心
2009
3
下载PDF
职称材料
3
Apla→Java程序生成系统中泛型机制实现方法研究
徐华珍
薛锦云
朱小征
《江西师范大学学报(自然科学版)》
CAS
北大核心
2017
4
下载PDF
职称材料
4
一种基于Apla-Java可重用部件库的并行(并发)程序开发方法
揭安全
薛锦云
《微电子学与计算机》
CSCD
北大核心
2006
5
下载PDF
职称材料
5
一种基于Java可重用部件库的多核程序开发方法
揭安全
石海鹤
薛锦云
《微电子学与计算机》
CSCD
北大核心
2008
1
下载PDF
职称材料
6
用PAR方法构建三种Java集合类
石海鹤
骆健
薛锦云
《计算机与现代化》
2001
0
下载PDF
职称材料
7
面向PAR平台的测试用例生成技术研究
杨乐
薛锦云
万韵
《微计算机信息》
2009
3
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部