C2-2

news/2024/7/8 5:21:35 标签: uml, c, 测试, 图形, 存储, 软件测试
cle class="baidu_pl">
cle_content" class="article_content clearfix">
content_views" class="htmledit_views">

 

<script type="text/javascript"></script> <script type="text/javascript"></script>
ftai08 c="http://img.baidu.com/hi/default/0.gif" alt="" /> |  我的消息(0/0) |  container" class="is_hide">我的空间 class="down-arrow" src="http://img.baidu.com/hi/img/mfu/my_ico.gif" alt="" align="absMiddle" /> |  百度空间 |  百度首页 <script type="text/javascript"></script> | 退出 <script src="/ui/scripts/webImTip.js?v=1.4" type="text/javascript"></script> <script type="text/javascript"></script>
<script type="text/javascript"></script>
<script></script>
class="stage"> cellspacing="0" cellpadding="0" width="100%">
class="c2t1">
class="mod"> class="modth" border="0" cellspacing="0" cellpadding="0" width="100%">
class="modtl" width="7"> class="modtc">
class="modhead"> class="modtit">文章列表
class="modtc" align="right">
class="modopt"> c="http://img.baidu.com/hi/img/ico_postnew.gif" border="0" alt="" align="absMiddle" />写新文章
class="modtr" width="7"> 
class="modbox">
您正在查看 "冲刺正高" 分类下的文章

class="tit"> UML与类管理；访问控制系统的安全特性；类消息机制测试；有许多论文题目-9
class="date"> 2008-10-20 17:18
class="cnt">

coration: underline;">color: #0000ff;">论题一、基于对象信息的UML程序框架自生成的研究c="http://img.baidu.com/hi/jd/j_0009.gif" alt="" />

　　一、面向对象方法学的理论基础

　　二、面向对象体系结构信息管理的设计意义

　　三、UML建模的图元表示及程序内部表示示例

　　四、根据UML图生成面向对象程序

　　五、一个UML图程序框架自生成的实际例子

　　六、面向对象体系结构信息管理系统的优点

　　七、结论

　　此论题的问题࿰c;可以轻松地解决。而且࿰c;Rational Rose已经有相应的解决方案。一定要参考Rational Rose࿰c;但目前只有书籍介绍࿰c;和D版软件࿰c;没有序列号。

coration: underline;">color: #0000ff;">论题二、　　《对象信息管理过程的研究》c="http://img.baidu.com/hi/jd/j_0027.gif" alt="" />

　　一、介绍。

　　1、介绍面向对象体系结构。

　　2、面向对象软件系统的设计流程。面向对象软件系统设计的方法学。

　　3、面向对象体系的建模、设计、实现过程中࿰c;涉及哪些信息的简介。

　　二、面向对象系统建造各阶段的信息存储体系结构

　　1、建模阶段。主要是UML图࿰c;还有模型元素。

见Joseph Schmuller《UML基础、案例与应用》（第三版）人民邮电出版社。

见Wendy Boggs࿰c;Michael　Boggs《UML与Rational Rose 2002　从入门到精通》࿰c;电子工业出版社

　　2、系统分析与模式设计。常见有23种设计模式。某博士论文所提出的。

见任胜兵老师《软件工程》。

见寇延?]和定海的《面向对象分析和设计》。

　　3、系统实现。

见朱海滨《面向对象技术---原理与设计》。

　　4、系统测试。

　　5、系统维护。

　　三、面向对象信息管理的过程控制策略

　　四、优化存储技术用于面向对象信息管理的例子

　　五、结束语。

 

=====================================================================

 

　　要确定在某个方面如何深入。

　　象

color: #0000ff;">《应用UML图保证软件质量的策略研究》、《应用UML图保证可靠性》、

color: #0000ff;">《应用UML图保证软件工程的某些特性》、《应用UML图进行流程优化的研究》。

　　可在以下方面进行深化：

　　分布式系统实现；自动测试生成；需求测试；

color: #0000ff;">《基于UML建模的分布式系统设计与实现》。《UML模型的自动测试生成》。

　　程序框架自动生成的模型及限制；　　建模与模型论；建模与过程控制；

color: #0000ff;">《UML自动生成程序框架的约束机制研究》。《基于UML建模的模型理论研究》。

　　模型可视化࿰c;模型精确化࿰c;模型分解化。

color: #0000ff;">《基于UML的建模过程控制》。

　　图形对应数据存储；分层图与状态集合；插入删除修改；状态的关联关系；

color: #0000ff;">《UML的图形存储体制研究》。《UML图的层次体系结构研究》。

 

　　状态图涉及资源特性；状态涉及过程特性࿰c;是分步骤的࿰c;需要花时间实现的；

color: #0000ff;">《UML　statechart的状态转换研究》。《基于资源分布的UML状态图研究》。

color: #0000ff;">《基于UML状态图的处理机资源分配的研究》。《基于UML状态图的存储资源分配的研究》。

　　状态是按条件触发转换的；状态的转换涉及环境因素࿰c;互作用于环境；

 

　　UML图应用的限制范围࿰c;适用范围；

　　图同构；PETRI网；

　　面向复杂的系统时࿰c;会出现怎样的情况。

color: #0000ff;">《面向对象建模的过程分析》。《UML时序图的存储与访问研究》（其它各种图：类图࿰c;用例图࿰c;包图࿰c;配置图；状态图࿰c;时序图࿰c;协作图࿰c;活动图）。

 

coration: underline;">论题《二》、一类通用访问控制系统的安全特性研究c="http://img.baidu.com/hi/jd/j_0002.gif" alt="" />

　　一、前言

　　二、通用访问控制系统的模型及评价

　　三、通用访问控制系统的安全性问题

　　四、解决通用访问控制系统的安全性的途径

　　五、结论

 

c="http://hiphotos.baidu.com/ftai/pic/item/71c2b8096f7635376a60fb62.jpg" border="0" alt="" />

 

coration: underline;">论题《三》、类消息机制的测试研究c="http://img.baidu.com/hi/jd/j_0005.gif" alt="" />

　　一、面向对象消息机制的逻辑体系࿰c;通用的软件测试理论

　　二、面向对象的测试逻辑理论

　　三、对面向对象消息机制实施测试的策略

　　四、一个面向对象系统例子及测试用例

　　五、结论

　　是模拟协议处理机制中的消息机制࿰c;还是设计多功能计时器模拟器࿰c;

或者是模拟存储体系机制？

　　或者是模拟CA认证中心࿰c;或者是进行防火墙模拟？

　　或者是MCU模拟器？

　　多功能计时器的模拟࿰c;MCU模拟器。

　　图形退化过程控制；特定模型；复杂多因素系统；CA认证中心（网络离散数据）；

　　图形图像变换；FOURIER TRNASFER；LUCAS的模型；根据目标和限制的过程控制；

　　模型一：解决问题FCS与INTERNET的合并（模拟）；

　　模型二：更抽象级别网络（层合并࿰c;层混合）作为一个或几个类；

　　总结协议机制的特点、内涵（格式）：交互性࿰c;及时性࿰c;可再现性࿰c;可中断性࿰c;传递性࿰c;对称性࿰c;完整性࿰c;一致性。c="http://img.baidu.com/hi/bobo/B_0044.gif" alt="" />

　　协议测试自动生成；协议测试逻辑（比较宏观意义上的指令系统）。

-----

　　类消息机制有哪些？

　　发出者怎么产生消息？接收者怎么响应消息？接收者怎么处理消息？消息和协议的区别？什么样的消息？消息的分类？消息的形式？VC、VB的消息实现机制？

　　消息机制关于内存的利用。消息机制关于程序循环的利用。对比软中断的问题。

　　消息机制对比内部协议。消息机制对比外部协议。

　　

-----

　　一般要某种理论的提升࿰c;才能在核心期刊发表。考虑复杂系统、多因素的随机过程情况。如光照࿰c;如真实物体的运动࿰c;如图形退化的过程（准备引入随机过程࿰c;《过程论》）。

　　或者是多因素相互作用的模型理论。要求对模型理论有提升。

　　或者是《信号与系统论》。《信号与系统论》的书籍不少。

　　从实际系统出发࿰c;研究《过程论》、《模型论》、《信号与系统论》࿰c;当然࿰c;还有《控制论》。

　　或者࿰c;就直接研究软件测试或系统测试的《过程论》。

　　或者࿰c;研究软件体系结构中的诸多问题。可从JAVA为基础的体系出发。

　　要求：有精确的数学表达࿰c;精密的数学推导。

 

 

c="http://hiphotos.baidu.com/ftai/pic/item/badc273f85eab9ff55e723b1.jpg" border="0" alt="" />

 

 

c="http://hiphotos.baidu.com/ftai/pic/item/0499edf8105d921cd8f9fd66.jpg" border="0" alt="" />

 

 

c="http://hiphotos.baidu.com/ftai/pic/item/c94df003b79c6a643812bb67.jpg" border="0" alt="" />
class="opt"> 类别：冲刺正高 | 编辑 <script></script> | 删除 <script></script> | 评论(0) | 浏览(20) <script></script>
class="line">  
class="tit"> 认证的零知识证明
class="date"> 2008-10-15 18:53
class="cnt">

认证的智能、零知识证明、信息理论与传输信道、程序实现技术。

　　零知识证明至少有几种情况：

１、是中介。国际象棋大师问题。

２、洞穴密码门中࿰c;验证者知道出口的信息࿰c;能够判断是否知道洞穴中门的密码。

３、是挑战应答。

４、同构。

５、是“知道什么”。而产生式规则变换是知道变换规则。前述则知道一些数字࿰c;或者简单的知识。

６、需要搭建特定的场景。

７、转化为另一种知识。另一种知识不一定为难题。

class="opt"> 类别：冲刺正高 | 编辑 <script></script> | 删除 <script></script> | 评论(0) | 浏览(24) <script></script>
class="line">  
class="tit"> 安全与认证、协议的关键词
class="date"> 2008-10-14 10:51
class="cnt">

认证协议、协议验证、协议测试、协议与自动机、协议与状态、协议与语言、动态协议与单向函数、协议规则的自调整、协议自生成、协议抽象、协议的外围模拟、协议的完整性、协议包ＰＡＣＫＡＧＥ(ＡＤＡ、ＶＨＤ࿲c;)机制、协议框架（ＦＲＡＭＥＷＯＲＫ__ＶＨＤ࿲c;）、

逻辑：设计逻辑、验证逻辑、广泛使用的逻辑与扩展的逻辑、公理、体系、混合逻辑、逻辑表示形式、逻辑运算____借鉴ＢＯＯ࿲c;逻辑衍生的复杂体系、借鉴其它学科的形式逻辑、逻辑的必须且只须、安全性逻辑、安全性证明逻辑、

可证明安全、可控制安全、可“观察”安全、可比较安全、可裁剪安全（？）、可度量安全、置信度安全、安全性传播（时间、空间、演化、进化）、各类完整性、完整性估算、完整性评价、安全性的集合理论分析、

攻击者、窃听者、篡改者、认证体制或协议设计假设、假设合理性、面向领域和应用的假设、

被动攻击、主动攻击

攻击评价

加密、解密、秘密共享、密钥管理、密钥分发、密钥更改、组合密钥、加解密顺序、加密算法、破解难度、

认证：鉴别、拥有什么（ＩＤ）、ＩＤ的自生成、ＩＤ的演化、知道什么（约定）、能干什么（任务与分解）、专有过程、零知识证明、“人脸认证”与问题求解、一类认证（拥有产生式规则；随机程序语言片断是否符合语言规则；相对虚拟空间传感器的运动；博弈规则）与单向函数重要性、

－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－

可证明安全：采用某种适合于安全性要素的完备的逻辑公理体系

可控制安全࿰c;可“观察”安全：至少是࿰c;设计付诸实施后的安全࿰c;脱离设计应用者的控制。理论上的安全࿰c;不能代表实践中的安全。

可比较安全：安全需要纵向的比较࿰c;也需要横向的比较࿰c;以决定安全策略。

可度量安全、置信度安全：不一定是安全性三要素࿰c;还会有更深入的、更精确的要素࿰c;这些要素的实现࿰c;需要量化。量化需要可信的方法。

可裁剪安全：如操作系统࿰c;安全性是分等级࿰c;没有必要在不必要的场合使用过高的安全性策略和技术。

安全性传播：体系结构的不同层之间的安全性的关系；过去的安全性系统在打安全性补丁时会怎样；

不同子系统之间的安全性的相互关联。

class="opt"> 类别：冲刺正高 | 编辑 <script></script> | 删除 <script></script> | 评论(0) | 浏览(11) <script></script>
class="line">  
class="tit"> 冲刺正高-002、模型论-2
class="date"> 2008-06-29 08:08
class="cnt">

模型罗列

《数据库》࿰c;《分布式数据库》。

认证模型。加密解密模型。安全的几种模型。访问控制模型。防火墙几种模型。c="http://st.blog.163.com/style/common/htmlEditor/portrait/cobo/preview/cobo27.gif" alt="" />

模型总体上来说࿰c;是个比较虚拟的概念。

有一些要素：1、问题领域࿰c;问题空间࿰c;2、目标领域࿰c;目标空间࿰c;3、领域转换的多因素算法࿰c;4、模型模拟过程࿰c;5、模型分析、建立和测试、评价过程࿰c;6、模型所处的系统平台、软硬件平台࿰c;7、抽象的理论和指导思想࿰c;8、模型的调整和自适应࿰c;9、原问题的逐步逼近࿰c;10、图形图像的建模方法࿰c;11࿰c;模型的表示、图形表示。12、基于计算机进行数值、数据、信号处理。

如何下个定义？

 

class="opt"> 类别：冲刺正高 | 编辑 <script></script> | 删除 <script></script> | 评论(0) | 浏览(31) <script></script>
class="line">  
class="tit"> 冲刺正高-001、模型论-1
class="date"> 2008-06-29 08:06
class="cnt">

 

迅速模拟原系统。提取原系统的机制和特征。使新模型系统能够模拟将要发生的事件。

模型是必须且只须的。模型系统必须能够迅速演进࿰c;模型的扩充和修改。模型系统和原系统的比较。c="http://st.blog.163.com/style/common/htmlEditor/portrait/cobo/preview/cobo13.gif" alt="" />

模型系统和计算机系统的结合࿰c;所要求的计算机系统的需求分析。模型的平台无关性。

模型参数的极值。模型涉及的应用范围限制。模型的系统特性。

c="http://st.blog.163.com/style/common/htmlEditor/portrait/cobo/preview/cobo14.gif" alt="" />

模型的移植。模型的数据流特征。数据流的异步特征、并发特征。多个数学方程。多因素多方程的互相影响。

多个模型之间的相关性。模型之间的数据流动。数据流动的方向性。模型数据的历史记录。

借用研究过的经济学模型。c="http://st.blog.163.com/style/common/htmlEditor/portrait/nai/preview/nai16.gif" alt="" />

原系统的可模拟性估计。模型的建立时间估计。模型建立的代价估计。模型的重建。模型重建的限制条件。

模型参数的表现形式、模型限制条件的表现形式。模型输入参数的限制。

模型的图形图像实现。模型的表示形式。c="http://st.blog.163.com/style/common/htmlEditor/portrait/mx/preview/mx21.gif" alt="" />

模型的精确性。

模型的匹配࿰c;模型的一致性。模型的验证。模型验证的各方面参数。

模型是动态的（此处研究的）࿰c;有过程特征࿰c;同时具有计算能力、逻辑能力、变换能力。并且࿰c;笼统地说࿰c;具有一定的复杂性࿰c;需要计算机辅助处理。并且需要分阶段分析和设计实现࿰c;具有阶段性。

动态模型࿰c;是个崭新的概念。不说是动态的࿰c;也就是变化发展的࿰c;这是目的࿰c;同时是手段࿰c;以适应变化的系统环境。

适应性。可适应同一领域的相关问题。c="http://st.blog.163.com/style/common/htmlEditor/portrait/wuzhi/preview/wuzhi11.gif" alt="" />

模型的缺陷的系列理论。模型的测试。

模型的内部也可由其它模块࿰c;包括计算机功能模块组成。

怎样评价模型的可用性？

怎样表示抽象的模型？怎样证明某种形式的模型可用计算机表示？适合计算机表示的模型有什么特征？有什么规律？有什么必然性？模型的抽象层次问题？c="http://st.blog.163.com/style/common/htmlEditor/portrait/mayang/preview/mayang16.gif" alt="" />

人工辅助的、基于知识的模型自生成。

用来构造模型的一般性知识有哪些？有哪些构造计算机模型的知识、途径？有哪些构造模型的通用型数据？

模型的输入激励数据的类型？

模型设计用计算机语言。

模型处理的内部结构。

模型的分析和研究࿰c;必须从工程应用、教育书籍、科学研究论文、课题项目、社会科学（吧？）几个方面进行采集吧。

 

class="opt"> 类别：冲刺正高 | 编辑 <script></script> | 删除 <script></script> | 评论(0) | 浏览(24) <script></script>
class="line">  
<script></script>
[首页]  [上一页]  [1] 2
cellspacing="0" cellpadding="0" width="100%">
class="modbl" width="7"> class="modbc"> class="modbr" width="7"> 
class="c2t2"> class="c2t3">
clg" class="mod"> class="modth" border="0" cellspacing="0" cellpadding="0" width="100%">
class="modtl" width="7"> class="modtc">
class="modhead"> class="modtit">文章分类
class="modtc" align="right">
class="modopt"> c="http://img.baidu.com/hi/img/ico_edit.gif" border="0" alt="" align="absMiddle" />编辑
class="modtr" width="7"> 
clg" class="modbox">
class="item"> 默认分类(6)
class="line">  
class="item"> 冲刺正高(20)
class="line">  
class="item"> 认证基石(6)
class="line">  
class="item"> 参考参考(25)
class="line">  
class="item"> 图形图像(22)
class="line">  
class="item"> 学院征文(2)
class="line">  
class="item"> 大论文(27)
class="line">  
class="item"> 访问控制(6)
class="line">  
class="item"> 网络控制(1)
class="line">  
class="item"> 认证应用(4)
class="line">  
class="item"> 认证问题(9)
class="line">  
class="item"> 安全半月谈(8)
class="line">  
class="item"> 涉猎硬件(2)
class="line">  
cellspacing="0" cellpadding="0" width="100%">
class="modbl" width="7"> class="modbc"> class="modbr" width="7"> 
class="mod"> class="modth" border="0" cellspacing="0" cellpadding="0" width="100%">
class="modtl" width="7"> class="modtc">
class="modhead"> class="modtit">文章存档
class="modtr" width="7"> 
class="modbox"> <script></script>
class="item"> 2009年06月(2)
class="line">  
<script></script>
class="item"> 2009年05月(10)
class="line">  
<script></script>
class="item"> 2009年03月(19)
class="line">  
<script></script>
class="item"> 2009年02月(36)
class="line">  
<script></script>
class="item"> 2009年01月(27)
class="line">  
<script></script>
class="item"> 2008年12月(12)
class="line">  
<script></script>
class="item"> 2008年11月(3)
class="line">  
<script></script>
class="item"> 2008年10月(26)
class="line">  
<script></script>
class="item"> 2008年06月(3)
class="line">  
cellspacing="0" cellpadding="0" width="100%">
class="modbl" width="7"> class="modbc"> class="modbr" width="7"> 
comment" class="mod"> class="modth" border="0" cellspacing="0" cellpadding="0" width="100%">
class="modtl" width="7"> class="modtc">
class="modhead"> class="modtit">最新文章评论
class="modtc" align="right"> class="modtr" width="7"> 
comment" class="modbox" style="clear: both; position: relative;"> <script></script>
cellspacing="0" cellpadding="0" width="100%">
class="modbl" width="7"> class="modbc"> class="modbr" width="7"> 
comm_info"> c="http://img.baidu.com/hi/img/rss.gif" border="0" alt="订阅RSS" align="absMiddle" />   什么是RSS？
<script></script> <script src="/ftai/brwstat?key1=5&key2=f050af77bacfb51bb151b9df_e6e50ad76e7d7bdba044df27_f8290cd1a7ec13d5562c847e_271f7b1ea45dd0f21ad5764e_c4cdbf12bf7e10cbc2fd7801_8f0a97238e5f7241ac34de01_"></script> <script></script>

©2009 Baidu

<script></script> <script src="http://msg.baidu.com/ms?ct=18&cm=3&tn=bmSelfUsrStat&mpn=13227114&un=ftai08"></script> <script></script> <script></script> c="http://c.baidu.com/c.gif?t=6&p=2" alt="" />

cle>

http://www.niftyadmin.cn/n/1372340.html

相关文章

爱情电影——《情人》、《阿甘正传》

爱情电影——《情人》、《阿甘正传》

爱情电影——《情人》、《阿甘正传》 作者&#xff1a;kellen-　来源&#xff1a;网易周黎明留言板 我是一个思想贫乏的人。 &#xff08;一&#xff09;《情人》 每晚蜷缩成虾子一样睡觉的时候&#xff0c;我知道&#xff0c;我很寂寞&#xff0c;我知道的我的那个我已经随着情…
阅读更多...
参考参考-1

参考参考-1

<script type"text/javascript"></script> <script type"text/javascript"></script> 我的空间 主页|空间装扮博客|写新文章相册|上传照片好友|找新朋友档案|留言板ftai08 0 | 我的消息(0/0) | 我的空间 | 百度空间 | 百度首页 …
阅读更多...
Java经典书籍回顾

Java经典书籍回顾

来源&#xff1a;http://blog.csdn.net/patrick_shine/archive/2005/01/05/241351.aspx1) Thinking in Java Author: Bruce Eckel. Eckel packs this book with humor, practical examples, and programming insights. This book is a comprehensive introduction to the Java…
阅读更多...
认证基石

认证基石

我的空间 主页|空间装扮博客|写新文章相册|上传照片好友|找新朋友档案|留言板ftai08 0 | 我的消息(0/0) | 我的空间 | 百度空间 | 百度首页 | 退出 信息技术细望东洲桃浪暖&#xff0c;雁峰烟雨实堪夸。朱陵洞内诗千首&#xff0c;青草桥头酒百家。石鼓江山锦锈华&#xff0c;西…
阅读更多...
不与钱财过不去

不与钱财过不去

不与钱财过不去 揭密五年成大富翁的六大法则 http://finance.sina.com.cn 2005年01月07日 09:17 千龙新闻网你有跟“钱”过不去吗&#xff1f;相信没有&#xff0c;谁傻到故意与“钱”为敌嘛。 　　只是这“钱”的脾气太大&#xff0c;总跟自己过不去。 　　很多人只知道辛辛…
阅读更多...
参考参考--2

参考参考--2

<script type"text/javascript"></script> <script type"text/javascript"></script> 我的空间 主页|空间装扮博客|写新文章相册|上传照片好友|找新朋友档案|留言板ftai08 0 | 我的消息(0/0) | 我的空间 | 百度空间 | 百度首页 …
阅读更多...
图形图像--1

图形图像--1

<script type"text/javascript"></script> <script type"text/javascript"></script> 我的空间 主页|空间装扮博客|写新文章相册|上传照片好友|找新朋友档案|留言板ftai08 0 | 我的消息(0/0) | 我的空间 | 百度空间 | 百度首页 …
阅读更多...
他们的爱情(王小波和李银河)

他们的爱情(王小波和李银河)

来源&#xff1a; http://cul.sohu.com/2004/05/25/06/article220250606.shtml他们的爱情2004年05月25日13:33——《爱你就像爱生命》阅读背景 　　结婚前 　　许多年前云南山寨的夜晚&#xff0c;一个&#xff11;&#xff16;岁少年借着月光用蓝墨水笔在一面镜子上写了涂&…
阅读更多...
最新文章

Copyright @ 2022~2023