UML statecharts的测试用例生成方法

测试用例生成是软件测试的关键 .根据 U ML statecharts的层次和并发结构 ,研究相应的测试用例产生方法 .它视复合状态为抽象状态 ,分别构造主 UML statecharts和复合状态所对应的子 UML statecharts的测试基 ,并依据一定的合成规则和 Wp-方法生成整个 U ML statecharts的测试用例 .这种方法能够支持递增式测试用例的生成 .理论和实验结果说明 ,如果满足测试条件 ,它们保证全故障覆盖 ,且产生较少的测试用例 .这种改进对大型复杂系统尤其有效 。

UML Statechart图的操作语义

面向对象标准建模语言 UML(unified modeling language)缺乏精确的动态语义 .根据 UML1.1语义文档 ,提出描述对象状态机的 UML Statechart图的形式化操作语义 .该语义覆盖了 UML Statechart图的绝大部分特征 ,为 UML Statechart图的代码产生、模拟和测试用例生成奠定了基础 .根据上述语义 ,基于 Rose98完成了UML Statechart图的测试用例生成和测试过程的模拟 .

统一建模语言UML

1前言统一建模语言UML(Unified Model:ng Lan-guage)是由RatLonal公司的知名专家Gray BOoeh、Ivar JaCobson和J:m Rumbaugh三人联合开发的第三代面向对象的建模语言。它采纳和扩展了Booch标记法、OMT标记法和OOSE标记法,并包容了其它学者和软件厂商的建议,现己提交给OMG,将成为标准化的面向对象建模语言。UML是一种宽谱语言.适用于所有的应用领域,如:实时系统、

软部件描述:模型、方法和语言

软件重用技术是软件工程领域的一项关键技术。目前,支持软件重用的方法主要有两种:块重用,即使用可重用的程序块;模式重用,即通过程序转换获得可重用性。其中,最为系统化、为工程化的软件重用活动是基于重用库的块式重用。

程序设计语言及相关领域的研究方向

本文主要讨论了程序设计语言的研究方向，以及与之有关的研究领域，并展望了程序设计语言的发展。

信息安全管理及平台研究

随着信息化的快速发展和互联网的广泛应用，信息安全问题日益凸显，对信息安全管理的重视程度也越来越高。信息安全管理是信息安全保障体系的基础。文章根据信息安全管理的工作重点，分析了信息安全管理的方法和手段、信息安全管理的主要内容、国内外信息安全管理体系标准建设现状，并归纳出统一安全管理平台的特征、功能及发展趋势，以便推动信息安全保障体系建设的发展。

信息安全标准研制进展

信息安全标准已成为国际网络空间竞争的前沿和焦点，国际组织和世界各国政府均在加紧相关问题研究。文章围绕信息安全标准，分析了国内外信息安全标准的研制现状，研究了云计算安全标准和工业控制系统信息安全标准的研制进展，从而为国内信息安全标准的推进提供借鉴。

Web2．0信息内容安全

随着web2．0应用的普及，BBS、博客、社交网络使得大量不良低俗、虚假信息充斥网络，P2P下载导致网络带宽滥用，无线网络带来大量垃圾短信困扰，内容安全问题日渐严重。为构建一个健康绿色的网络环境，文章分析了web2．0内容安全的重要性、内容安全的内涵、面临的主要威胁，探讨了关键的内容安全技术，尤其是内容分级、信息过滤技术、知识产权保护技术，以便为内容安全监控系统的构建奠定基础。

基于图书馆业务的信息安全管理平台

信息安全管理平台是提高图书馆安全管理的重要手段。文章分析了信息安全管理平台的发展现状，图书馆面临的安全威胁，提出利用大数据和云计算等技术构建基于图书馆业务的信息安全管理平台，讨论了其体系结构和主要功能，以保证图书馆业务的连续性和可用性。

各国互联网内容安全监管现状比较与分析

随着Web2.0的广泛应用,网络信息日益庞杂,互联网的内容安全问题日益严重。本文主要对美国、德国、英国、日本和中国的互联网内容安全监管方法进行了分析比较,并探讨了未来的监管趋势。

网络信息资源分级体系框架的构建

网络信息分级是保障网络信息内容安全的重要手段。主要构建了网络信息资源分级体系框架六元组模型,分析了相关组成元素的内容,以适应不同行业应用。

军队网络信息内容安全问题研究

随着军队信息化建设的不断深入,军队面临的网络信息内容安全日益突出。文章首先阐述了我军信息化建设中网络内容安全问题的来源,接着分析了军队网络信息内容安全的主要内容,最后探讨了解决军队网络信息内容安全问题的具体措施。

重用部件的特征匹配

特征匹配是形式化规范匹配的基础。本文给出了基于运算符和抽象数据类型的特征匹配的定义、应用和展望。

云计算数字图书馆的安全防护

云计算数字图书馆为用户带来新的服务模式和内容，但给信息安全带来新的问题。文章分析了云计算数字图书馆的特点及安全隐患、云安全的优势和核心技术，探讨了云安全在云计算数字图书馆的应用。

基于等级保护的Web信息资源内容安全体系构建

分析了等级保护和分级分类的重要性,以P2DR模型为基础,提出了基于等级保护策略的Web信息资源内容安全模型和内容安全体系框架,以保证Web信息资源的有效管理和健康发展。

基于大数据的网络空间安全战略的构建

网络空间已成为各国争夺的重要领域和战场。文章在分析各国网络空间安全战略的基础上，分析了大数据对国家安全战略的影响，提出构建基于大数据的网络空间安全战略及需关注的重点领域。

加强军队政治工作信息化的安全保密防护建设

信息安全是军队政治工作信息化的生存之本。本文在论述军队政治工作信息化建设内容、安全保密需求和防护建设现状的基础上，研究了军队政治工作信息系统和信息资源的安全保密防护建设，并从多个角度探讨了军队政治工作信息安全保密防护的具体措施。

开放式鼓室成形术的外耳道声学特性

为研究开放式鼓室成形术（乳突轮廓化）对外耳道共振特性的影响，用探头传声器测试系统测量术前、术后外耳道共振峰频率及振幅，结果发现６０例（６０侧）开放式鼓室成形术术前耳道共振峰频率为２５５４±５０７Ｈｚ，术后为２６０８±４７４Ｈｚ，ｔ检验，两者差异无显著性；术前振幅为２２．０３±３．１３ｄＢＳＰＬ，术后为２２．８６±２．１４ｄＢＳＰＬ，增加了０．８３ｄＢＳＰＬ（Ｐ＜０．０５），说明标准的开放技术对外耳道共振特性影响不大，是符合外耳道声学原理的手术。

多道程控人工耳蜗医学和工程的研究

目的 观察语后聋患者植入多道程控人工耳蜗（ Ｓ Ｐ Ｃ Ｉ型） 的疗效，使双耳全聋患者部分恢复听力和提高语音识别能力。方法 检测植入多道程控人工耳蜗语后聋的听阈和语音识别力。结果 ３ 例植入 Ｓ Ｐ Ｃ Ｉ的患者随访１ ～２ 年余，能正确分辨各种环境声，能分清元音、辅音，对音调（ 四声）有分辨能力。能完全分辨闭组词、句，开放组词为３０ ％ ～３４ ％ ，开放组句为４５ ％ ～５６ ％ 。结论 Ｓ Ｐ Ｃ Ｉ型多道程控人工耳蜗能部分恢复全聋患者的听力和言语交流能力。

应用正则表达式在ASP.NET中实现优化的输入验证方法

输入验证是W eb应用中的常用环节,传统的通过客户端Script进行验证的方法也取得了一定的效果。本文根据.NET平台下的新特点,向大家介绍了利用正则表达式结合ASP.NET服务器端控件进行输入验证的简单方法。