论文部分内容阅读
提出了并发系统的一种规约方法．这一方法可用于对并发系统进行建模和对模型的验证．将形式化工具融入到一种二维的规约方法中，这样就能使形式化工具更易于应用到并发软件的开发过程中．此外，还提出了一种并发系统的形式化抽象模型．
一种并发系统的规约方法
【摘 要】
：
提出了并发系统的一种规约方法．这一方法可用于对并发系统进行建模和对模型的验证．将形式化工具融入到一种二维的规约方法中，这样就能使形式化工具更易于应用到并发软件的开发过程中．此外，还提出了一种并发系统的形式化抽象模型．
【出 处】
：
计算机应用研究
【发表日期】
：
2000年05期
【基金项目】
：
云南省自然科学基金!（98F005G）,,云南省中青年科技带头人培养基金!（1998－37）
其他文献
软件测试和软件维护过程中为了证明程序的修改对程序的其它部分无负面影响而进行的测试称为回归测试。一方面为了保证软件的质量要尽可能对所有影响和可能影响到的软件元素进行回归测试，另一方面为了减少软件的成本要避免进行无谓的回归测试。如何做到这两点呢？给出了回归测试中的一些好的策略以及自动回归测试工具．