| UML状态图测试充分性准则的公理化评估 |
| |
| 引用本文： | 缪淮扣,费立志.UML状态图测试充分性准则的公理化评估[J].上海大学学报(自然科学版),2007,13(5):489-496. |
| |
| 作者姓名： | 缪淮扣 费立志 |
| |
| 作者单位： | 上海大学 计算机工程与科学学院，上海 200072 |
| |
| 基金项目： | 国家自然科学基金;国家重点基础研究发展计划(973计划);上海市教委资助项目;上海市教委资助项目 |
| |
| 摘 要： | 描述了基于UML状态图测试的一组测试准则，并提出2个新的准则:N-迁移覆盖准则和循环分类覆盖准则.然后提出针对该组测试准则的公理系统，通过此公理系统来评估该组测试准则，给出评估结果.最后根据评估结果得出一些有益的结论.测试准则的评估可为软件工程师选择测试准则提供指导和帮助.
|
| 关 键 词： | UML状态图 测试用例 测试准则 公理化评估 |
| 文章编号： | 1007-2861（2007）05-0489-08 |
| 收稿时间： | 2007-04-16 |
| 修稿时间： | 2007年4月16日 |
Axiomatic Assessment of UML Statecharts-Based Test Adequacy Criteria |
| |
| MIAO Huai-kou,FEI Li-zhi.Axiomatic Assessment of UML Statecharts-Based Test Adequacy Criteria[J].Journal of Shanghai University(Natural Science),2007,13(5):489-496. |
| |
| Authors: | MIAO Huai-kou FEI Li-zhi |
| |
| Institution: | School of Computer Engineering and Science, Shanghai University, Shanghai 200072, China |
| |
| Abstract: | This paper presents a set of test adequacy criteria for UML statecharts, and proposes two new test coverage criteria, N-transition coverage criteria, and classified loop coverage criteria. An axiomatic assessment system of test adequacy criteria is proposed to assess these test criteria. The UML statecharts-based software testing coverage criteria are assessed against the axioms system. From the assessment, testers can get conclusions that help them apply these criteria in practice. The assessment of test adequacy criteria will provide software engineers with a guide to apply each criterion. |
| |
| Keywords: | UML statecharts test criteria test case axiomatic assessment |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《上海大学学报(自然科学版)》浏览原始摘要信息 |
| 点击此处可从《上海大学学报(自然科学版)》下载免费的PDF全文 |
