标号迁移系统相关论文
软件体系结构(SA)通过对系统构件及其交互的抽象,提供了一个描述大型、复杂系统的高层次模型,SA的动态描述常被用来指导分析和测试......
需求工程是软件工程初期的重要工作,其目的是得到对需求的准确清晰一致的描述以及相应的求解限制。随着需求工程的发展,基于场景的......
软件测试在软件开发过程中是一个极其重要的环节,但是软件测试本身却是一个过程复杂、耗时耗力且具有较高重复性的工作。为了提高......
兼容性检测是使用微服务构建软件时将面临的一个关键问题,如果一组微服务的组合满足某些属性,如无死锁,则称这组微服务是兼容的。......
UML已经成为当前面向对象软件测试研究的重要方向。面向对象的类测试不仅要测试类的输入、输出还需要对类的状态变换进行测试。CHA......
化学抽象机形式化语言（CHAM）通过把化学反应和抽象机的概念有机地结合来描述系统状态的变化,以此来指导分析和测试.针对软件体系结构......
软件体系结构（software architecture,SA）通过对系统构件及其交互的抽象,提供了一个描述大型、复杂系统的高层次模型,软件体系结构的......
网络环境下的分布式系统是典型的并发系统。安全性和活性是并发系统最为关注和需要保证的两个主要性质。然而在并发系统建模和形式......
为使工作流适应业务快速发展而复杂多变的特点，提出一种伞新的以数据为中心的业务流程定义和业务流程建模的说明性业务流程建模方法......
以标号迁移系统为工具,探讨了系统行为的等价性问题,构建了模拟及互模拟关系的形式化模型,进而将互模拟的概念推广到了系统的层面,......
软件体系结构测试是对构件功能描述和接口描述的测试，是保证基于构件的软件系统质量的重要手段。提出了一种针对软件体系结构层配置......
文中提出了通过CHAM描述的SA规格说明生成LTS,并根据测试需求进行测试覆盖准则的选取,然后利用全路径测试方法,生成基于此覆盖准则......
并行化是提高模型检测效率的重要手段。该文研究了基于标号迁移系统的C程序模型检测，提出一种软件模型检测并行化的方法。该方法利......
缺乏系统的科学的测试体系是一直以来影响安全软件测试可信度的根本问题。在现有的工程实践中,测试是实验性行为的认知和实施方案......
