×

兹马思-数学第一资源

使用观察者自动机指定和生成测试用例。(英语) Zbl 1081.68566
Grabowski,Jens(ed.)等人,《软件测试的正式方法》。2004年9月21日,奥地利林茨国际研讨会,2004年9月21日。修订精选论文。柏林:斯普林格出版社(ISBN 3-540-25109-X/pbk)。计算机科学课堂讲稿3395125-139(2005)。
摘要:我们提出了一种指定覆盖标准的技术和一种为其行为可以描述为扩展有限状态机(EFSM)的系统生成测试套件的方法。为了指定覆盖标准,我们使用带参数的观察者自动机,它监视并接受覆盖给定EFSM测试标准的跟踪。通过使用带参数的观测器自动机,基于控制和数据流信息指定了许多已知的覆盖准则,证明了该技术的灵活性。我们还开发了一种从指定为观察者的覆盖标准生成测试用例的方法。它的基础是将给定的观察者自动机转换为位向量分析问题,该问题可以有效地作为现有状态空间探索(例如SPIN或Uppaal)的扩展来实现。
整个系列请参见[Zbl 1069.68008].

理学硕士:
68N30型 软件工程的数学方面(规范、验证、度量、需求等)
PDF格式 BibTeX公司 XML 引用
全文: 内政部