期刊文献+
共找到5篇文章
< 1 >
每页显示 20 50 100
一种安全关键软件系统符号执行优化方法
1
作者 戴延军 吴志强 +3 位作者 刘杰 刘朝晖 陈智 肖安红 《计算机与现代化》 2020年第1期96-99,110,共5页
在航空、核电和国防军工领域当中,安全关键系统(Safety-Critical System,SCS)的软件非常重要,其可靠性必须通过测试或形式化方法来保障。符号执行作为一种高效的测试用例生成方法被广泛使用,然而,SCS软件系统的模块之间的耦合性较高,使... 在航空、核电和国防军工领域当中,安全关键系统(Safety-Critical System,SCS)的软件非常重要,其可靠性必须通过测试或形式化方法来保障。符号执行作为一种高效的测试用例生成方法被广泛使用,然而,SCS软件系统的模块之间的耦合性较高,使得符号执行约束求解困难。本文针对这类软件系统提出一种带权最小割集的解耦方法,为安全关键软件系统的自动化测试提供了一种新思路。 展开更多
关键词 安全关键系统 软件耦合性 带权最小割集 符号执行
下载PDF
设计模式及组件技术在业务逻辑层中的应用 被引量:1
2
作者 刘锋 孙咏 《计算机系统应用》 2011年第10期154-159,共6页
在应用程序的后期维护中,大部分的维护是由于业务逻辑的变化而导致的,但是在基于MVC的开发模式中,只是实现了模型-视图-控制的解耦合,而在业务层中业务之间还存在紧密的耦合关系,如果一个模块发生改动就会产生连锁反映,导致一系列相关... 在应用程序的后期维护中,大部分的维护是由于业务逻辑的变化而导致的,但是在基于MVC的开发模式中,只是实现了模型-视图-控制的解耦合,而在业务层中业务之间还存在紧密的耦合关系,如果一个模块发生改动就会产生连锁反映,导致一系列相关模块的改动。以举报业务为例,采用代理模式、工厂模式、接口模式,实现了业务组件调用的动态化及业务组件之间访问的间接化,业务功能与业务逻辑的分离,构建了一个扩展性强、易于维护和配置灵活的业务逻辑层模型。 展开更多
关键词 设计模式 组件技术 软件维护:解耦合
下载PDF
A PAIR OF COUPLING METRICS FOR SOFTWARE NETWORKS 被引量:1
3
作者 Huan LI Bing LI 《Journal of Systems Science & Complexity》 SCIE EI CSCD 2011年第1期51-60,共10页
Complex networks are everywhere. A typical example is software network. How to measure and control coupling interactions of software components is a largely explored research problem in software network. In terms of g... Complex networks are everywhere. A typical example is software network. How to measure and control coupling interactions of software components is a largely explored research problem in software network. In terms of graph theory and linear algebra, this paper investigates a pair of coupling metrics to evaluate coupling interactions between the classes of object-oriented systems. These metrics differ from the majority of existing metrics in three aspects: Taking into account the strength that one class depends on other ones, reflecting indirect coupling, and distinguishing various coupling interaction. An empirical comparison of the novel measures with one of the most widely used coupling metrics is described. Specifically, an experiment about the relationships of this pair metrics is conducted. The result shows that software complexity derived from coupling interaction could not be accurately reflected by one dimension of coupling metric for negative correlation. 展开更多
关键词 Complex network coupling metric software network software system
原文传递
Software reliability analysis considering correlated component failures with coupling measurement framework 被引量:4
4
作者 Xiaodan Li Yongfeng Yin +1 位作者 Lance Fiondella Yibin Zhou 《Journal of Systems Science & Complexity》 SCIE EI CSCD 2015年第5期1114-1126,共13页
With progression of the digital age, the complexity of software continues to grow. AS a result, methods to quantitatively assess characteristics of software have attracted significant atten- tion. These efforts have l... With progression of the digital age, the complexity of software continues to grow. AS a result, methods to quantitatively assess characteristics of software have attracted significant atten- tion. These efforts have led to a large number of new measures such as coupling metrics, many of which seek to consider the impact of correlations between components and failures on ap- plication reliability. However, most of these approaches set the coupling parameters arbitrarily by making assumptions instead of utilizing experimental data and therefore may not accurately capture actual coupling between components of software applica- tion. Since the coupling matrix is often set arbitrarily, the existing approaches to assess software reliability considering component correlation fail to reflect the real degree of interaction and rela- tionships among software components. This paper presents an efficient approach to assess the software reliability considering Correlated component failures, incorporating software architec- ture while considering actual internal coupling of software with an efficient approach based on multivariate Bernoulli (MVB) distribu- tion. The unified framework for software Coupling measurement is' informed by a comprehensive survey of frameworks for object- oriented and procedure-oriented software. This framework enables the extraction of more accurate coupling among cornponents. The effectiveness of this method is illustrated through an exPerimental study bylapplying it to a real-time software application. 展开更多
关键词 correlated failures software coupling software archi-tecture software reliability
原文传递
Experimental and simulation research on the influence of voltage amplitude,frequency and carrier gas flow rate on the performance of FAIMS 被引量:1
5
作者 TANG Fei LI Hua +3 位作者 WANG XiaoHao YANG Ji ZHANG Liang WANG Fan 《Science China(Technological Sciences)》 SCIE EI CAS 2011年第6期1407-1414,共8页
A micro sensor chip of High-field Asymmetric Waveform Ion Mobility Spectrometry(FAIMS) was designed and fabricated by inductively coupled plasma(ICP) etching on the both sides of silicon and double silicon-glass bondi... A micro sensor chip of High-field Asymmetric Waveform Ion Mobility Spectrometry(FAIMS) was designed and fabricated by inductively coupled plasma(ICP) etching on the both sides of silicon and double silicon-glass bonding,with dimensions of 18.8 mm×12.4 mm×1.2mm.The sample ions were created at ambient pressure by VUV lamp ion source,which was equipped with a 10.6 eV photo discharge lamp(λ=116.5 nm).The 2-pentanone was adopted to illustrate the influences of high-field rectangular asymmetric waveform voltage amplitude,frequency and carrier gas flow rate on the performance of FAIMS sensor chip.The experiment results showed that with the frequency or carrier gas flow rate increasing,or voltage amplitude decreasing,the FAIMS sensitivity increases,and that the resolution decreases with the increasing of the frequency or flow rate.The FAIMS simulation results based on the SIMION software was in agreement with the experimental results.The FAIMS detection sensitivity experiment showed that the FAIMS sensor chip can detect positive and negative ions simultaneously,and has detection sensitivity as low as 0.1 ppm for acetic acid. 展开更多
关键词 FAIMS vacuum ultraviolet lamp MEMS rectangular asymmetric waveform voltage SIMION
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部