1) executization
可执行化
1.
In this paper, the algorithm of parametrization and executization implemented in the TUGEN system is discussed, and the result and the reason of its limitation are analyzed.
讨论了在测试集自动生成系统 TU GEN中实现的参数化可执行化算法 ,分析了该算法的效果、不足及其原因 ;讨论了可执行化处理中所涉及谓词可满足性问题的复杂度和测试路径可执行性问题 ,并在此基础上进一步提出并实现了“可执行参数化”的算法 ,克服了前一算法的不足 ,提高了 TU -GEN的实用性和执行效率 ;在进行了讨论分析后 ,以实例进行了对比和说明 ,并对今后的研究方向进行了展
2) executable formalization
可执行形式化
1.
This paper brings forward the software development process based on Model Driven Architecture(MDA) and improves efficiency & testability of software with executable formalization specification.
提出基于模型驱动架构的软件开发过程,利用可执行形式化规范,有效提高软件开发效率和可测试性,并通过基于可执行规范的运行时监控技术保证系统行为的可信性,降低由于软件测试阶段遗留的错误以及系统受到非法入侵所带来的风险。
3) executable UML
可执行UML
1.
We put forth an idea that on the basis of the extreme modeling software development methodology, bringing in the technology of executable UML will make it better.
极限建模是UML和XP结合的产物,其主要贡献是使模型可执行和可测试,而可执行UML是最近兴起的模型驱动架构(MDA)软件开发方法的核心技术。
4) performability
可执行性
1.
Since the system states transition suffices Markov characteristic, we establish a semi Markov reward process based the model to analyze performability of the system quantitatively.
系统状态转移满足马尔可夫特性,建立 SMRP模型并进行分析,系统回报率表示系统的可执行性,累积回报率则表明系统在一段时间内完成任务总量。
补充资料：社会化执行者
社会化执行者
executor of socialization
社会化执行者(exeeuto:of soeializati、)n)有意识地向个体实施教化、传播社会知识、文化、行为规范、价值观念、人生理想的组织、群体或个人。个体社会化过程中，社会化的执行者不断地发生变化。在学前儿童阶段，社会化的主要执行者是家庭和父母;入学后则由学校和老师、家庭和父母两者共同施以教化;到了少年期和青年期，家庭和父母则逐渐被学校的老师与社会所取代，同龄群体的影响加强。青年进入社会后，职业群体成为社会化的主要执行者。社会对个体执行社会化的职能，主要是通过各种社会组织、团体、非正式群体和大众宣传媒介实现的。随大众传播媒介和沟通手段的现代化，社会对个体教化的职能也正在加强，如杂志、报纸、图书、广播、电视、电影等正在成为青少年获得社会知识的重要信息源 (孙俊山撰张燮审)
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条