A formal analysis of requirements-based testing
A formal analysis of requirements-based testing
复制标题
基于需求的测试的正式分析
DOI：
10.1145/1572272.1572279
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
Pecheur C
中科院分区：
文献类型：
--
作者：
Pecheur C
基于需求的测试的目的是从给定系统或软件的一组需求中生成测试用例。在本文中，我们提出了一个正式的语义生成的测试用例的需求，通过修改和扩展的结果，在以前的作品（例如：[21，20，13]）。我们给出了我们的方法的语法表征，归纳定义的语法LTL公式，并证明这种表征是健全的和完整的，给出了一些限制的公式，可用于编码的要求。我们提供了各种例子来展示我们的方法的适用性。
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for the generation of test cases from requirements by revising and extending the results presented in previous works (e.g.: [21, 20, 13]). We give a syntactic characterisation of our method, defined inductively over the syntax of LTL formulae, and prove that this characterisation is sound and complete, given some restrictions on the formulae that can be used to encode requirements. We provide various examples to show the applicability of our approach.
登录
查看更多内容
使用线性时序逻辑进行基于规范的测试
DOI：
--
发表时间：
2004
期刊：
Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004. IRI 2004.
影响因子：
--
作者：
Liqun Tan;O. Sokolsky;Insup Lee
通讯作者：
Insup Lee
DOI：
10.1007/3-540-48685-2_18
发表时间：
1999-07
期刊：
--
影响因子：
--
作者：
M. Clavel;F. Durán;S. Eker;P. Lincoln;N. Martí-Oliet;J. Meseguer;J. F. Quesada
通讯作者：
M. Clavel;F. Durán;S. Eker;P. Lincoln;N. Martí-Oliet;J. Meseguer;J. F. Quesada
使用 UPPAAL 验证计划模型
DOI：
--
发表时间：
2000
期刊：
IEEE Workshop on Formal Approaches to Agent-Based Systems
影响因子：
--
作者：
L. Khatib;N. Muscettola;K. Havelund
通讯作者：
K. Havelund
使用模型检查来验证 AI Planner 域模型
DOI：
--
发表时间：
1999
期刊：
影响因子：
--
作者：
J. Penix;C. Pecheur;K. Havelund
通讯作者：
K. Havelund
线性时态逻辑中增强的真空检测
DOI：
--
发表时间：
2003
期刊：
International Conference on Computer Aided Verification
影响因子：
--
作者：
R. Armoni;L. Fix;Alon Flaisher;O. Grumberg;Nir Piterman;A. Tiemeyer;Moshe Y. Vardi
通讯作者：
Moshe Y. Vardi