标号迁移系统论文

基于场景和属性的需求引出及形式化建模
论文摘要场景是一种分析与验证需求的有效工具,因此基于场景的分析与设计受到广泛关注。场景提供预期系统的行为实例,也就是说场景中的交互行为一定是预期系统要出现的行为。一个场景一般情...
基于CHAM描述的类簇级测试用例生成方法研究
论文摘要面向对象技术以它独有的优越性被程序员广泛使用,使得软件开发过程简单化,系统模块化以及重用性程度提高等等,这给软件行业带来了光明的前途,但面向对象技术因具有封装、继承以及...