马科斯·奥利维拉;莱拉·里贝罗;埃里卡·科塔;卢西奥·毛罗·杜阿尔特;英格丽德·奈斯;菲利佩·里斯 基于形式化方法的用例分析：一项实证研究。 （英语） Zbl 1472.68196号 Codescu，Mihai（编辑）等人，代数开发技术的最新趋势。2014年9月4日至7日，第22届国际研讨会，WADT 2014，罗马尼亚西奈亚。修订了选定的论文。查姆：施普林格。莱克特。注释计算。科学。9463, 110-130 (2015). 概述：用例（UC）是描述系统行为的一种流行方式，代表了系统设计、分析和演化的重要工件。因此，UC质量影响整体系统质量和缺陷率。然而，它们是以自然语言呈现的，这通常是与不精确、模糊和不完整相关的问题的原因。我们提供了将UC形式化为图形转换模型（GT）的实证研究结果，目的是对其运行工具支持的分析，并揭示可能的错误（视为开放问题）。我们描述了从UC转换为GT的初始步骤，如何使用现有工具分析生成的GT，并根据这些分析的结果和检测到的问题的可能严重程度提供一些诊断反馈。为了评估翻译和分析在识别UC问题中的有效性，我们将我们的方法应用于从一家软件开发公司获得的一组真实UC描述，并使用一个众所周知的指标测量结果。最终结果表明，这种方法可以揭示实际问题，否则这些问题可能无法被发现，从而有助于提高UC的质量。关于整个系列，请参见[Zbl 1327.68013号]. 引用于1文件 MSC公司： 68立方英尺 知识表示 2012年第68季度 语法和重写系统 关键词：用例;图形变换;实证研究;模型分析 PDF格式BibTeX公司 XML格式引用 \textit{M.Oliveira}等人，Lect。注释计算。科学。9463、110-130（2015年；Zbl 1472.68196） 全文： 内政部