万松松
- 作品数：5 被引量：21H指数：3
- 供职机构：江西师范大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国际科技合作与交流专项项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于方面构件模型及其组装与实现被引量：2
- 2009年
- 将面向方面编程技术融入传统的基于构件开发方法,提出了一种基于方面的构件模型。同时探讨了基于方面构件的组装策略以及利用XML语言描述组装、编织方面化构件的处理逻辑。新的构件模型采用更加模块化的构件实现方式,从传统构件模型中提取出方面元素,很好地解决了传统的基于构件开发方法中构件间关注点横切所导致系统混乱的问题,提高了构件的可复用性以及软件的开发效率。
- 谢武平薛锦云万松松
- 关键词：面向方面编程
- 循环不变式开发技术研究被引量：5
- 2010年
- 高可靠性软件是当今软件开发的热点问题。确保算法程序逻辑结构正确最理想的途径是算法程序的形式化推导和证明,而循环不变式是算法程序形式推导和证明的关键。循环不变式的开发一直是算法程序设计领域中最具挑战性、最富有创造性、也是最困难的问题之一。本文研究了众多现有循环不变式开发方法中较为典型的几种方法,指出了它们的基本原理、技术难点、特点及效果,旨在探寻循环不变式本质特征,从而为研究更简单、有效的生成方法提出指导。
- 万松松薛锦云谢武平
- 关键词：循环不变式PAR方法谓词抽象
- 软件测试在APLA→JAVA系统中的应用研究被引量：9
- 2008年
- 在参阅有关软件测试资料及文献,并结合国家自然科学基金项目APLA→JAVA自动程序转换系统测试的基础上,对软件测试进行了深入的研究和探索。从理论和实际相结合的角度,选用了针对性强、适用性好的测试用例,提出了适合于APLA→JAVA系统的软件测试计划、测试策略、测试方法,软件可靠性评估标准等。
- 杨乐薛锦云万松松盛立冉
- 关键词：软件测试并行测试
- 最小测试用例集生成方法改进及应用被引量：6
- 2008年
- 软件测试是保证软件质量和可靠性的重要手段,如何对软件进行全面且高效的测试一直是备受关注的问题。分析了白盒测试与黑盒测试的优缺点;具体分析了最小测试用例生成算法,接着对生成最小测试用例集的方法提出改进:首先消除掉测试需求中存在的冗余,再对由该测试需求生成的测试用例集使用简化算法,得到一组无冗余的测试用例集。这种先对测试需求进行精简的方法,使得测试用例集中测试用例的数量大为减少,提高了简化算法的使用效率。将上述最小测试用例集生成方法运用到Apla到delphi生成器系统的测试中,提高了测试效率。
- 万松松薛锦云谢武平
- 关键词：软件测试测试用例
- 循环不变式开发技术研究
- 高可靠性软件是当今软件开发的热点问题。确保算法程序逻辑结构正确最理想途径是算法程序的形式化推导和证明。循环不变式在软件形式化方法中占有十分重要的地位，它是理解、证明和推导算法程序的基础和关键。使用形式化方法来证明或推导算...
- 万松松
- 关键词：软件开发软件形式化循环不变式
- 文献传递
