形式化可测性约束在软件模型实现过程中的研究  

Research on Necessary Formalization Restrict Definition in Software Usage Model

作　　者：齐玉华[1] 郭天杰[2] 陶政德[1] 程春华[1] 

机构地区：[1]海军航空工程学院研究生管理大队,烟台264001 [2]海军航空工程学院兵器科学与技术系,烟台264001

出　　处：《舰船电子工程》2009年第9期188-192,共5页Ship Electronic Engineering

摘　　要：在软件测试中,软件使用模型反映实际运行场景的能力是直接决定测试的成功与否的关键因素之一。一般可以通过对在需求分析阶段已生成的UML建模进行研究得到使用模型,但原始的UML模型,由于缺乏严格的定义及必要的约束,如果要生成高精度的软件模型,必须对其添加必要的形式化可测性约束。这正是文章研究的重点。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.

关 键 词：软件测试 UML建模语言 使用模型 形式化可测性约束 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]