-
题名构件演化中的系统行为一致性的研究
被引量：8
- 1
-
-
作者
罗毅
李兴宇
关连伟
胡昊
吕建
-
机构
南京大学计算机软件新技术国家重点实验室南京大学计算机软件研究所
-
出处
《计算机科学》
CSCD
北大核心
2008年第1期266-270,300,共6页
-
基金
国家863计划(2004AA112090
2005AA113160
+4 种基金
2005AA113030)
国家973计划(2002CB312002)
国家自然科学基金(60273034
60233010
60403014)资助
-
文摘
构件技术的发展,减少了开发应用程序的时间和复杂度,同时也为软件提供了更好的动态演化能力。基于构件的软件系统是通过在构件间建立交互关系,将多个构件组织成一个统一的整体得到的。因此在构件演化时,例如对构件功能实现进行改变,可能导致系统运行偏离原来的系统行为。我们的工作就是在构件演化时对系统行为进行一致性检查,保证构件的功能实现的变化不会使系统行为偏离原来的系统。在本文中首先通过Petri-net的形式化方法,对系统实现中包括的构件的功能实现和构件间的交互进行建模,并通过以上信息推导得到系统行为。在此基础之上,根据基于行为继承理论的行为一致性规则的要求对定义的系统功能行为进行验证,以保证构件演化时系统行为的改变符合行为的一致性要求,同时又保证了构件演化的灵活性。
-
关键词
构件演化
系统行为
行为一致性
-
Keywords
Component evolution, System behavior, Behavior consistency
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于分解等价的时序电路测试生成算法
- 2
-
-
作者
韩之刚
赵莹
赵航
关连伟
-
机构
北华大学电气信息工程学院
九台市第二中学
-
出处
《科技信息》
2007年第30期27-28,共2页
-
文摘
针对集成电路的规模和复杂程度不断增加而相应的测试却越来越困难且费时的问题,提出了一种基于分解等价的时序电路测试生成算法。此算法通过引入分解等价以避免进入已搜索的测试码解空间,缩小了测试码搜索空间,大大提高了测试生成效率。在ISCAS’89国际标准电路上的实验结果表明了本算法的可行性。
-
关键词
分解等价
测试生成
蕴含
-
Keywords
decomposition equivalence
test generation
implication
-
分类号
TN407
[电子电信—微电子学与固体电子学]
-
