代数规格说明相关论文
文章提出了一个基于公理系统的面向对象自动测试框架.该框架首先从XML文件中提取被测类的代数规格说明和公理描述,然后使用‘term ......
面向对象的软件开发给测试带来了新的挑战。类级测试是面向对象测试过程中的一个重要阶段。本文研究了基于代数规格说明的面向对象......
为了增强OOAPN对象的主动性,对OOAPN的通讯机制进行了深入研究。提出了通讯事件的概念,给出了基于OOAPN模型的多代理软件系统的形式......
本文讨论了代数和规范说明技术及其到逻辑程序设计语言PROLOG的转换,首先给出了一种基于抽象数据类型的代数规格证明语言ASL;然后介绍了由ASL描述......
软件重用的关键是构造可重用的构件库中合适构件重用的方法,文中提出了采用基于代数规格说明的形式化方法来表示软件构件,并给出可重......
面向对象的软件测试包括方法级、类级、簇级和系统级。基于代数规格说明,本文描述了生成基本等价对及其所诱导出的非等价对作为面......
形式化方法是目前兴起的一种很重要的软件开发方法。代数规格说明可以应用于形式化方法。它用一组代数公理来刻画对类操作行为的需......