软件体系结构：一个新的研究领域

计算机软件系统中软件成分越来越复杂,系统规模不断扩大,使得软件体系结构越来越庞杂,软件系统的质量和性能已经不再仅仅取决于软件实现算法和数据结构,软件系统体系结构在一定程度上决定系统的优劣,因此软件体系结构(Software Architecture,AS)研究已经逐渐地引起计算机界的重视。软件体系结构作为一个新兴的计算机学科,它的理论体系和解决问题的方法尚未形成。加强其基础理论和应用方法的研究,不论对学科发展,还是对软件生产都具有理论意义和现实意义。     

基于模型的网构软件可达性检测方法研究

针对网构软件(Internetware)可达性检测中存在状态空间"爆炸"等问题,提出了一种基于网构软件代数模型的可达性检测方法.根据网构软件特性建立其代数模型,通过引入网构相关和网构空间概念,进一步扩展网构软件代数模型.通过明确网构软件可达性与网构组合运算表达式的关系,把可达性判定转化成递归表达式(网构线性相关)判定上...     

基于TTCN-3的SIP协议软件测试方法研究

为了更加高效地测试基于SIP(session initiation protocol,会话初始协议)的应用软件,提出了一种通过执行TTCN-3抽象测试套来验证SIP应用程序正确性的新方法.简单介绍了SIP协议和TTCN-3,给出了基于TTCN-3的SIP协议软件测试的设计与实现方法,结合一个具体应用实例详细验证了该方法的可行性.该方法具有可重用、操作简单、执行快捷等特点.     

基于组件的软件可靠性模型

首先对不同的软件体系结构描述语言（ADL）进行分析，找出体系结构的共性，用抽象代数和一代阶逻辑理论对组件，连接器和软件体系结构的属性和动态行为进行讨论和描述，探讨不同连接形式下的软件体系结构，给出基于组件的软件可靠性模型，在此模型基础上，对基于组件的软件系统的可靠性计算模型进行研究，提出一种半Markov模型，并在理论上证明该模型的可用性，最后通过CORBA应用系统说明该可靠性模型在系统设计和可靠性计算方面的应用。     

嵌入式API测试套生成方法和技术

随着嵌入式计算机系统应用的不断扩展,嵌入式系统的可靠性引起了学术界和工业界的广泛关注,也提出了很多增进可靠性的方法和技术.然而,现有的方法和技术在测试套生成方面论述不多,所以在处理大批量嵌入式系统测试工作中遇到了挑战.讨论抽象测试套生成方法和适配技术,提出了LTS(labeled transition system)到BT(behavior tree)的转换算法,从而使TTCN(test and testing control notation)测试套可以通过转换嵌入式软件的LTS描述产生.还介绍了基于上述转换算法的嵌入式软件测试工具包,以及一个嵌入式物联网识读器测试案例研究.     

铝基体超疏水表面结冰结霜特性研究

采用中性电解液,通过电化学加工技术及氟化处理方法制备出铝基体超疏水表面,接触角达160°,滚动角小于5°,并在其上进行了结冰和结霜研究.在不同实验条件下研究超疏水表面的形貌、霜高随时间的变化,并与相同条件下的普通铝表面、吸水性表面进行了对比.结果表明,该超疏水表面经过50多次结霜、除霜后,仍具有很好的超疏水性能,表现出良好的重复性和耐久性;与普通铝表面相比,铝基体超疏水表面具有明显的抗结冰结霜性能,霜晶先出现在四周边缘处并逐渐蔓延到中间,但抑霜能力随着冷表面温度的降低而减小;与吸水性表面相比,超疏水表面在抗结冰结霜的同时能有效抑制表面质量的增加.     

苹果家族再添粉红色成员

(2008年1月22日,加利福尼亚,卡布其诺)苹果公司今天宣布其世界上最流行的音乐播放器家族再添亮丽的新款粉红色iPod~(?) nano。深受期待的粉红色iPod nano即刻起提供8GB机型,售价人民币1,798元。iPod nano配备了两英