形式化规格说明相关论文
软件测试作为保证软件质量，提高软件可靠性的重要手段，在软件开发中起着不可替代的作用，其关键与核心是测试用例的生成。目前测试用例......
为了辅助软件开发者理解形式化规格说明,提出一种从B方法规格说明中提取UML状态图的方法。通过分析状态信息在规格说明中的表现形......
通过对社区卫生服务的功能需求出发，采用Z语言对系统规格进行了形式化说明，包括基础数据、系统状态以及系统操作等。采用形式化方法......
研究了采用形式化和非形式化相结合的方法,为VB程序生成形式化规格说明的逆向工程技术.给出了VB语言基本结构的最强后件语义表示、......
基于排序形式化规格说明的软构件匹配是检索可重用构件的有效方法，在软件复用和库检索中，有助于确定一个构件是否可以取代另一个构件......
面向对象的形式化规格说明语言Object Z在软件开发中的规格需求方面已广泛应用,但在安全关键系统开发中的应用还是空白。容忍入侵......
计算机联锁软件是一种典型的安全关键软件,具有非常复杂的联锁控制逻辑和以失效安全为核心的安全需求.形式化其安全需求是一件十分......
讨论了使用域测试策略生成测试用例的过程:将测试规格说明,即经过预处理的形式规格说明所得到的以析取范式形式表示的线性谓词,变......
针对Web应用的特点，从整体功能层面和交互行为层面用UML协作图构建了Web应用模型，以便精确、有效地描述参与协作对象问的结构关系和......
