国家自然科学基金(69783006)

作品数：8被引量：22H指数：3
导出分析报告
相关作者：薛锦云李云清杨庆红谢武平万松松更多>>
相关机构：江西师范大学江西农业大学中国科学院软件研究所更多>>
相关期刊：《计算机技术与发展》《计算机与现代化》《江西师范大学学报（自然科学版）》《计算机应用研究》更多>>
相关主题：循环不变式PAR方法分划递推法可重用部件可重用部件库更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种用于APLA→JAVA系统可靠性评估模型被引量：3
《昆明理工大学学报（理工版）》2009年第6期40-43,共4页杨乐 刘珊慧 薛锦云 
国家自然科学基金资助项目(项目编号:69783006和69983003)
软件可靠性问题是软件测试中的重要难题之一,由于程序语言的复杂性以及被测程序的多样性,一直没有一个好的可靠性模型来评价它.鉴于此,依据软件可靠性工程理论,参考APLA→JAVA系统的特点,提出了一种基于测试的软件可靠性评估模型,讨论...
关键词：APLA→JAVA 软件可靠性 可靠性评估 
最小测试用例集生成方法改进及应用被引量：5
《计算机技术与发展》2008年第10期181-183,共3页万松松 薛锦云 谢武平 
国家自然科学基金项目(69783006)
软件测试是保证软件质量和可靠性的重要手段,如何对软件进行全面且高效的测试一直是备受关注的问题。分析了白盒测试与黑盒测试的优缺点;具体分析了最小测试用例生成算法,接着对生成最小测试用例集的方法提出改进:首先消除掉测试需求中...
关键词：软件测试 测试用例 测试需求 测试用例精简 
Apla-Java可重用部件库并行、并发机制的研究被引量：2
《江西师范大学学报（自然科学版）》2006年第4期361-364,共4页揭安全 薛锦云 
国家自然科学基金(69783006);江西师范大学青年基金(030411)资助项目
Apla-Java可重用部件库是PAR方法的重要研究成果.实验证明它对基于PAR平台进行串行Java程序开发提供了有效的支持.实现部件库的并行、并发机制,使其支持并行、并发程序设计,对于提高并行、并发软件开发效率具有重要意义.该文研究并提出...
关键词：PAR方法 可重用部件 并行 并发 
基于算法框架的可重用部件设计与实现被引量：2
《计算机工程与应用》2001年第23期136-138,156,共4页李云清 
国家自然科学基金资助项目(编号:69783006;69983003);江西省跨世纪人才资助项目
对算法程序的功能规约进行等价变换,可以自然而且方便地得到求解问题设计思想的精确表达,即循环不变式。抽象算法又可以通过循环不变式获得。对算法程序中的算子进行提取、抽象就可以得到算法框架,而算法框架可以设计出可重用部件。文...
关键词：循环不变式 算法结构 可重用部件 软件重用 软件工程 计算机 
分划递推法及其应用被引量：5
《计算机工程与应用》2001年第17期77-79,88,共4页李云清 
国家自然科学基金高技术探索项目(编号:69783006);江西省跨世纪人才项目资助
分划递推法是一种新的算法设计技术。在分划递推法中使用逻辑符号和扩充的量词表示功能规约。分划是处理复杂问题的一般方法，而递推可用于循环不变式和算法设计开发。文中给出的三个实例呈现了使用分划递推法进行算法设计和开发的步骤...
关键词：算法设计 分划递推法 程序设计 软件自动化 
EGCL-Java程序转换器的研究与实现
《江西师范大学学报（自然科学版）》2001年第2期137-143,共7页李欣 薛锦云 
国家自然科学基金!资助项目 (6 97830 0 6和 6 99830 0 3)
以分划递推法等理论为基础 ,客观地分析了软件开发的全过程 ,详细阐述了将抽象程度较高的EGCL语言程序自动转换成可执行的高级Java语言程序的关键技术 ,并开发了一套基于Java语言的可重用类库用于支持程序的转换 ,得到了满意的结果 .
关键词：分划递推法 EGCL语言 JAVA语言 可重用部件库 程序转换器 软件开发 
一种基于程序正确性证明理论的程序开发方法被引量：2
《计算机应用研究》2001年第2期11-13,共3页杨庆红 李云清 
国家自然科学基金资助项目(69783006和69983003)
程序的形式推导方法是一种基于程序正确性证明理论的程序开发方法，它使得程序的开发和证明同时进行，程序开发完成的同时其正确性亦得以保证。以两个问题的程序开发为例说明了程序的形式推导方法的使用。
关键词：程序的形式推导方法 程序规范 循环不变式 
一种高效的算法程序设计方法—PAR方法被引量：4
《计算机与现代化》2000年第6期1-5,共5页杨庆红 肖燕娟 
国家自然科学基金资助项目(Grant No.69783006和69983003)
利用在长期的算法研究中提出的分划递推法 (简称 PAR方法 )开发了三个问题的算法程序 ,说明 PAR方法不仅为算法设计提供了统一而有效的途径 ,也为开发循环不变式奠定了基础。
关键词：PAR方法 循环不变式 递推关系 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部