Study on axiomatic rules for building up relationships between requirement and source programs

The purpose of our study is to build up relationships between requirement and source programs with our originally thought-out rules. When other rules to be derived from these original rules are applied to software development, even a single instruction in a programming language could be determined, and the program would satisfy the requirement. More specifically speaking, these rules will turn into a formula or a prototype of software programs. Hence, when the variables in the requirement are placed in the formula, we can get a required program in an automatic way.     

档案数字化思考与研究

档案数字化建设是一项关系档案事业能否稳定、持续、健康发展的战略决策,提出了档案数字化研究方案,以推进档案数字化的健康发展。     

基于场景的联锁软件形式化模型生成方法

为保证列车运行安全和旅客生命财产安全,对车站联锁控制系统进行有效的分析、验证和测试是必不可少的,而形式化模型是联锁系统分析、验证和测试的基础.以计算机联锁软件的UML半形式化模型为基础,以事件确定有限自动机模型作为描述系统的形式化模型,研究UML2.0顺序图转换为事件确定有限自动机模型的方法.首先选取一组与交互行为相关的全局变量作为状态向量来分析和消解顺序图各个场景的消息以及不同场景间的同一消息的前后置状态向量值是否存在矛盾,从而得到一致性的需求场景;然后提取各对象的事件序列生成对应的事件确定有限自动机;最后通过组合系统中对象的自动机模型得到系统的事件确定有限自动机模型.该方法改善了安全苛求软件的设计与开发,为软件质量评估提供了技术支撑.     

基于XML的作战仿真想定方案生成软件设计

作战仿真想定作为作战仿真中的假设性预案,是作战仿真系统的重要组成部分。目前在想定处理中存在的主要问题是对想定的格式和修改手段不统一,生成的仿真想定可读性和可移植性不好,影响了仿真系统的真实性和可信度。着眼于解决上述问题,本文设计的想定方案生成软件针对XML技术在数据表达、数据交换等方面的应用,从使用XML描述的想定信息入手,实现想定的读取、图形化显示、编辑和存储,使仿真想定数据的处理规范化,方便仿真数据交换,提高想定生成软件对仿真系统互操作性的支撑能力。     

基于UML模型的场景测试技术

UML代表着软件建模的发展趋势,对基于UML模型的测试技术研究具有现实意义。本文采用基于UML模型的场景测试技术生成测试用例。     

基于任务空间概念模型的导弹作战想定研究

作战想定是军事仿真领域不可缺少的重要组成部分.在目前的军事建模与仿真中,作战想定与仿真模型之间通常都是紧耦合的,由此带来了仿真成员、仿真系统可重用性差等诸多缺点.针对此,基于任务空间概念模型(CMMS)的思想,探讨了CMMS与想定的关系,分析了常规导弹作战想定中需要描述的主要内容,对导弹作战想定中的基本要素进行了分析抽取,并对其进行标准化、规范化的抽象描述,以实现想定与仿真系统相分离.最后,给出了想定数据库中基本表的结构和关系.     

面向行为的需求建模研究及实现

需求建模是需求工程中的重要步骤。提出了一种面向行为的需求建模方法,首先将目标系统问题域划分成多个子问题域,然后在子问题域里建立多个视点,在每个视点内,根据需求建立多个场景。对于每个场景,用行为描述语言建立场景行为模型,视点内所有场景的行为模型组合构成视点行为模型,目标系统所有视点的行为模型组合构成系统行为模型。在行为模型的基础上,提出了一系列特性以及其验证方法,用于验证行为模型的正确性以及系统特性。基于以上方法,设计和实现了面向行为的需求建模工具BRMT),以辅助开发人员从行为的角度进行需求建模。     

软件体系结构分析及场景技术在其中的应用

计算机应用系统的日益复杂和庞大,使得软件体系结构的研究成为当前的研究热点。软件体系结构设计已经成为软件生命周期中的一个重要环节。但是,如果无法对一个软件体系结构进行客观的、可行的定量和定性分析和评价,那么这种软件体系结构是不可靠的。现代软件的需求不断变化、业务规则和新的软件技术变化不停,要求软件体系结构在高层上必须考虑软     

基于场景的软件体系结构分析

文章介绍了一种基于场景的、面向对象的软件体系结构分析方法（ＳＡＡＭ）。首次提出了用基于场景的软件体系结构分析方法来分析面向对象软件系统的体系结构质量属性,如软件结构的耦合度、内聚性和结构复杂性,从而解决了传统软件体系结构质量属性由于过于抽象而无法定量地度量的问题。文中还具体介绍了将该方法成功地应用到一个测试软件ＳａｆｅｐｒｏＣ的体系结构度量上。实践证明,此方法不仅能够有效地度量软件体系结构的静态质量属性,而且还能较好地度量软件体系结构的动态质量特性。     

从需求到体系结构的设计

目前还没有一个好的方法能够将需求过渡到软件体系结构,其部分原因是由于它们二者所涵盖的概念和术语各不相同。讨论了一种基于目标和场景的方法来实现从需求到体系结构的设计。