| 形式化可测性约束在软件模型实现过程中的研究 |
| |
| 引用本文： | 齐玉华,郭天杰,陶政德,程春华.形式化可测性约束在软件模型实现过程中的研究[J].舰船电子工程,2009,29(9):188-192. |
| |
| 作者姓名： | 齐玉华 郭天杰 陶政德 程春华 |
| |
| 作者单位： | 1. 海军航空工程学院研究生管理大队,烟台,264001
2. 海军航空工程学院兵器科学与技术系烟台,264001 |
| |
| 摘 要： | 在软件测试中，软件使用模型反映实际运行场景的能力是直接决定测试的成功与否的关键因素之一。一般可以通过对在需求分析阶段已生成的UML建模进行研究得到使用模型，但原始的UML模型，由于缺乏严格的定义及必要的约束，如果要生成高精度的软件模型，必须对其添加必要的形式化可测性约束。这正是文章研究的重点。
|
| 关 键 词： | 软件测试 UML建模语言 使用模型 形式化可测性约束 |
Research on Necessary Formalization Restrict Definition in Software Usage Model |
| |
| Qi Yuhua,Guo Tianjie,Tao Zhengde,Cheng Chunhua.Research on Necessary Formalization Restrict Definition in Software Usage Model[J].Ship Electronic Engineering,2009,29(9):188-192. |
| |
| Authors: | Qi Yuhua Guo Tianjie Tao Zhengde Cheng Chunhua |
| |
| Institution: | Graduate Students' Brigade of NAEI1;Department of Ordnance Science and Technology;NAEI2 |
| |
| Abstract: | In the software reliability testing,the consistency between the usage model of software and running scenario plays an important part in success of the testing.Commonly,the usage model can be obtain according to the research of UML model basing on the requirement analysis.Unfortunately,because of the lack of strict definition and indispensable restrict about the original UML model,it is necessary to add required formalization restrict definition.It is also the emphase of the thesis's research. |
| |
| Keywords: | software testing unified modeling language usage model formalization restrict definition |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
