10.3969/j.issn.1000-386X.2009.04.042
模型检测在软件需求分析及设计中的应用
模型检测技术因其完全自动化并且验证速度快的优点在硬件及协议的验证中广泛应用,近年来在软件领域的应用研究也不断涌现.总结了模型检测在软件需求分析及设计中已有的应用技术,包括利用模型检测工具对RSML,SCR和UML图形的检测,以及直接的模型检测,并从不同角度对已有技术进行系统的分析和比较.最后对该项技术研究的方向进行展望.
模型检测、模型检测工具、直接检测
26
TP3;TU9
2009-06-02(万方平台首次上网日期,不代表论文的发表时间)
共3页
128-130