米哈利·比斯科;佐尔坦波科拉布 面向中基于公理的测试生成。NET应用程序。 (英语) Zbl 1249.68029号 安理大学。布达普。罗兰多·Eötvös,Sect。计算。 36, 5-22 (2012). 概要:单元测试是开发高度可靠应用程序的一个重要方面。虽然从理论上讲,它提供了独立测试一段代码(通常是一种方法)的能力,但构建一个适当测试整个功能的测试集的挑战仍然是开放的,通常是程序员需要在特定的基础上或使用测试驱动开发等极端方法来解决的任务。本文提出了一种将代数软件规范应用于在上运行的程序的方法。NET平台,它如何作为自动测试生成的基础,以及它如何在整个软件开发过程中,特别是在重构过程中,取代特殊测试。作者介绍了概念和公理的定义,并概述了基于公理的测试的一般情况。指定了C(#)4编程语言的抽象定义和语言结构之间的映射。由提供的服务。NET平台类属性、反射和调用拦截在实现过程中被引入和使用。它描述了公理与埃菲尔编程语言的契约的区别,以及为什么公理更适合生成测试用例。作者详细描述了使用实现的基于公理的测试生成框架的主要组件。NET 4/C\(\#\)4并显示一个案例研究,以证明该解决方案的可行性。 MSC公司: 68号30 软件工程的数学方面(规范、验证、度量、需求等) 68问题65 抽象数据类型;代数规范 68甲15 编程语言理论 关键词:代数规范;概念;公理;模型;测试生成;.NET;C\(\#\);属性;反射 软件:艾菲尔 PDF格式BibTeX公司 XML格式引用 \textit{M.Biczó}和\textit{Z.Porkoláb},安大学科学院。布达普。罗兰多·Eötvös,Sect。计算。36、5--22(2012;Zbl 1249.68029)