检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]华东理工大学自动化研究所,上海200237 [2]总参通信部驻上海地区军代室,上海200082
出 处:《军械工程学院学报》2007年第1期16-19,共4页Journal of Ordnance Engineering College
基 金:军队科研计划项目
摘 要:针对军用软件特点,提出并定义一种基于任务剖面的软件系统结构准则;基于该准则,给出一种从功能可靠性、事件可靠性到任务可靠性的分层可靠性预计方法。与侧重于数学建模的相关工作不同,该方法更注重在建模中融合软件可靠性设计、测试和管理,成为可靠性保证的一种途径。In accordance with the characteristics of military software, a criterion for task-based software architecture is proposed and defined. A predictive method for layered reliability, ranging from function, to event and to task, is presented based on the criterion. Unlike other work which stresses mathematical modeling, this method emphasizes more on integrating reliability of software design, testing and management into the modeling, thus offering a guarantee of reliability.
分 类 号:TP311.5[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.130