国家自然科学基金(69783006)
- 作品数：8 被引量：33H指数：5
- 相关作者：薛锦云李云清杨庆红谢武平万松松更多>>
- 相关机构：江西师范大学江西农业大学中国科学院软件研究所更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种高效的算法程序设计方法—PAR方法被引量：10
- 2000年
- 利用在长期的算法研究中提出的分划递推法 (简称 PAR方法 )开发了三个问题的算法程序 ,说明 PAR方法不仅为算法设计提供了统一而有效的途径 ,也为开发循环不变式奠定了基础。
- 杨庆红肖燕娟
- 关键词：PAR方法循环不变式递推关系
- 一种用于APLA→JAVA系统可靠性评估模型被引量：3
- 2009年
- 软件可靠性问题是软件测试中的重要难题之一,由于程序语言的复杂性以及被测程序的多样性,一直没有一个好的可靠性模型来评价它.鉴于此,依据软件可靠性工程理论,参考APLA→JAVA系统的特点,提出了一种基于测试的软件可靠性评估模型,讨论了模型的参数评估和置信区间,并给出了模型的评价方案.数据分析表明该模型具有合理性和可行性.
- 杨乐刘珊慧薛锦云
- 关键词：可靠性评估
- Apla-Java可重用部件库并行、并发机制的研究被引量：2
- 2006年
- Apla-Java可重用部件库是PAR方法的重要研究成果.实验证明它对基于PAR平台进行串行Java程序开发提供了有效的支持.实现部件库的并行、并发机制,使其支持并行、并发程序设计,对于提高并行、并发软件开发效率具有重要意义.该文研究并提出了并发类库的若干设计策略并实现了Apla-Java可重用部件库并行、并发机制.
- 揭安全薛锦云
- 关键词：PAR方法可重用部件并发
- 分划递推法及其应用被引量：7
- 2001年
- 分划递推法是一种新的算法设计技术。在分划递推法中使用逻辑符号和扩充的量词表示功能规约。分划是处理复杂问题的一般方法，而递推可用于循环不变式和算法设计开发。文中给出的三个实例呈现了使用分划递推法进行算法设计和开发的步骤和要点。
- 李云清
- 关键词：分划递推法程序设计软件自动化
- 基于算法框架的可重用部件设计与实现被引量：5
- 2001年
- 对算法程序的功能规约进行等价变换,可以自然而且方便地得到求解问题设计思想的精确表达,即循环不变式。抽象算法又可以通过循环不变式获得。对算法程序中的算子进行提取、抽象就可以得到算法框架,而算法框架可以设计出可重用部件。文章通过对数组段极值问题的求解,展示了形式化推导不仅可以得到正确、高效的算法程序,而且具有软件重用的功能,并进一步给出了利用可重用部件求解数组段极值问题的C++实现。
- 李云清
- 关键词：循环不变式可重用部件软件工程计算机
- 一种基于程序正确性证明理论的程序开发方法被引量：10
- 2001年
- 程序的形式推导方法是一种基于程序正确性证明理论的程序开发方法，它使得程序的开发和证明同时进行，程序开发完成的同时其正确性亦得以保证。以两个问题的程序开发为例说明了程序的形式推导方法的使用。
- 杨庆红李云清
- 关键词：循环不变式
- 最小测试用例集生成方法改进及应用被引量：6
- 2008年
- 软件测试是保证软件质量和可靠性的重要手段,如何对软件进行全面且高效的测试一直是备受关注的问题。分析了白盒测试与黑盒测试的优缺点;具体分析了最小测试用例生成算法,接着对生成最小测试用例集的方法提出改进:首先消除掉测试需求中存在的冗余,再对由该测试需求生成的测试用例集使用简化算法,得到一组无冗余的测试用例集。这种先对测试需求进行精简的方法,使得测试用例集中测试用例的数量大为减少,提高了简化算法的使用效率。将上述最小测试用例集生成方法运用到Apla到delphi生成器系统的测试中,提高了测试效率。
- 万松松薛锦云谢武平
- 关键词：软件测试测试用例
- EGCL-Java程序转换器的研究与实现
- 2001年
- 以分划递推法等理论为基础 ,客观地分析了软件开发的全过程 ,详细阐述了将抽象程度较高的EGCL语言程序自动转换成可执行的高级Java语言程序的关键技术 ,并开发了一套基于Java语言的可重用类库用于支持程序的转换 ,得到了满意的结果 .
- 李欣薛锦云
- 关键词：分划递推法JAVA语言可重用部件库软件开发
