使用统一建模语言（uml）协作图进行静态检校和测试生成.doc
约17页DOC格式手机打开展开
使用统一建模语言（uml）协作图进行静态检校和测试生成,使用统一建模语言（uml）协作图进行静态检校和测试生成 页数 17字数 9593摘要：只有通过一致的根据来定义测试的生成，软件测试才能够形式化和量化。测试通常源于程序源代码，软件的图表模型（例如控制流程图），以及规范或需求说明。uml协作图清晰地描述了如何将软件提供的功能与一个易于用自动化方法处理的形式联系起来，对于测...
内容介绍
此文档由会员 棉花糖糖 发布
使用统一建模语言（UML）协作图进行静态检校和测试生成
页数 17 字数 9593
摘要：只有通过一致的根据来定义测试的生成，软件测试才能够形式化和量化。测试通常源于程序源代码，软件的图表模型（例如控制流程图），以及规范或需求说明。UML协作图清晰地描述了如何将软件提供的功能与一个易于用自动化方法处理的形式联系起来，对于测试来说是一个意义重大的机会。本篇论文提出了基于UML协作表的新的测试标准，主要用于规范层面和用例层面的协作图的静态和动态测试。其中，最具新意的是测试可以直接从软件设计中自动生成，而不是来源于代码或是规范。这些标准允许基于高级设计语言的正式的综合测试，高级设计语言的使用，将使软件可靠性得到明显的提高。
关键词
统一建模语言,静态检校,测试生成
References
1. B. Beizer. Software Testing Techniques. Van Nostrand Reinhold, Inc, New YorkNY, 2nd edition, 1990. ISBN 0-442-20672-0.
2. Rational Software Corporation. Rational Rose 98: Using Rational Rose. RationalRose Corporation, Cupertino CA, 1998.
3. Gregor Engels, L. P. J. Groenewegen, and G. Kappal. Object-oriented speci_ca-tion of coordinated collaboration. In Proceedings of the IFIP World Conferenceon IT Tools, pages 437{449, Canberra, Australia, September 1996.
页数 17 字数 9593
摘要：只有通过一致的根据来定义测试的生成，软件测试才能够形式化和量化。测试通常源于程序源代码，软件的图表模型（例如控制流程图），以及规范或需求说明。UML协作图清晰地描述了如何将软件提供的功能与一个易于用自动化方法处理的形式联系起来，对于测试来说是一个意义重大的机会。本篇论文提出了基于UML协作表的新的测试标准，主要用于规范层面和用例层面的协作图的静态和动态测试。其中，最具新意的是测试可以直接从软件设计中自动生成，而不是来源于代码或是规范。这些标准允许基于高级设计语言的正式的综合测试，高级设计语言的使用，将使软件可靠性得到明显的提高。
关键词
统一建模语言,静态检校,测试生成
References
1. B. Beizer. Software Testing Techniques. Van Nostrand Reinhold, Inc, New YorkNY, 2nd edition, 1990. ISBN 0-442-20672-0.
2. Rational Software Corporation. Rational Rose 98: Using Rational Rose. RationalRose Corporation, Cupertino CA, 1998.
3. Gregor Engels, L. P. J. Groenewegen, and G. Kappal. Object-oriented speci_ca-tion of coordinated collaboration. In Proceedings of the IFIP World Conferenceon IT Tools, pages 437{449, Canberra, Australia, September 1996.
