形式化测试目的与测试案例的有效性
数据结构与算法
2007-05-23 v1
摘要
我们对基于（适当受限）消息序列图（Message Sequence Charts）的测试目的概念进行形式化建模。我们定义了依据此类形式化测试目的对测试案例有效性的判定标准，并提供了一个简洁的有效性判定程序。
引用
@article{arxiv.cs/0412100,
title = {Formal Test Purposes and The Validity of Test Cases},
author = {Peter H. Deussen and Stephan Tobies},
journal= {arXiv preprint arXiv:cs/0412100},
year = {2007}
}
备注
This paper appeared in the proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2002), number 2529 Lecture Notes in Computer Science