控制流信息相关论文
铁路系统中大量新技术和新设备的投入使用使得电务部门的安全生产压力日益增大。同时，电务部门为此投入使用的信息系统也因存在一系......
在检验面向方面程序质量时，常常会依据路径覆盖准则对其进行测试，所以生成符合路径覆盖准则的AOP路径是很重要的。生成AOP路径，对AOP......
提出一种新的方法来分析模型变化域,即在业务流程Petri网和数据约束下的业务流程Petri网基础上,抽象分离控制流Petri网模型和数据P......
可以静态地和动态地检查计算机程守的错误.静态分析查找程序的结构故障和语义故障。动态分析证实程序正确运行并帮助识别错误。......
