测试准则论文

基于模型检测的UML一致性检验与测试用例生成
论文摘要随着计算机软件应用的深入，人们对软件的质量和可靠性提出了更高的要求，通常采用系统建模和软件测试来保障。模型检测作为一种形式化的验证技术，有着自动化和提供反例等诸多优点。...
基于UML状态图的软件测试用例生成方法研究
论文摘要软件测试在软件开发过程有着越来越重要的地位,它贯穿于软件定义与开发的整个周期即整个软件开发过程。而测试用例的生成设计又是软件测试过程中的重点和难点所在,它的设计依据主要...
基于模型的Web应用测试用例生成方法
论文摘要随着Internet的普及以及组件、中间件和WebServices等技术的迅速发展以及Web的广泛应用,Web应用的可靠性和质量保证成为一个非常关键的问题和研究热点。而...
基于UML statecharts测试方法的研究
论文题目:基于UMLstatecharts测试方法的研究论文类型:博士论文论文专业:控制理论与控制工程作者:占学德导师:缪淮扣关键词:形式化语义,模型,基于规格说明的软件测试,...