代数规格说明相关论文
文章提出了一个基于公理系统的面向对象自动测试框架.该框架首先从XML文件中提取被测类的代数规格说明和公理描述,然后使用‘term ......
面向对象的软件开发给测试带来了新的挑战。类级测试是面向对象测试过程中的一个重要阶段。本文研究了基于代数规格说明的面向对象......
为了增强OOAPN对象的主动性，对OOAPN的通讯机制进行了深入研究。提出了通讯事件的概念，给出了基于OOAPN模型的多代理软件系统的形式......
面向对象的软件测试包括方法级、类级、簇级和系统级。基于代数规格说明,本文描述了生成基本等价对及其所诱导出的非等价对作为面......
形式化方法是目前兴起的一种很重要的软件开发方法。代数规格说明可以应用于形式化方法。它用一组代数公理来刻画对类操作行为的需......
