排序方式: 共有22条查询结果,搜索用时 9 毫秒
1.
2.
3.
模拟执行是一种重要的需求规格说明书(SRS)的检测方法。文章基于面向嵌入式实时系统的需求描述模型RTRSM,提出了如何将组件化的思想和技术应用于模拟执行的检查方法中,从而增加了SRS的可靠性和正确性。最后,文章提出了根据需求描述模型直接生成框架代码的构想,这也是一种从需求直接生成嵌入式实时系统的探索。 相似文献
4.
5.
输入的主观性以及输入过多是妨碍软件成本估算模型实际应用效果的重要影响因素。针对以上问题,提出了一种基于度量工具的软件成本估算模型使用方法。该方法通过引入统计理论中的工具变量,将度量工具所采集的度量元数据自动转换为软件成本估算模型的输入。这一方面可以避免模型校准和估算过程中输入的主观性与不一致性,提高了估算结果的准确性与可靠性;另一方面能减少估算人员的手工操作,提高工作效率,增加了软件成本估算模型的可用性。结合具体实例说明了所提出方法的可行性与有效性。 相似文献
6.
从价值的角度考虑软件测试过程能够增加软件的盈利.对软件测试过程创造的价值进行量化,构造了直观实用的软件测试工作量估算模型,可估算测试阶段的测试工作量和修改缺陷工作量,为制定和调整测试计划提供有用信息, 模型描述了软件测试过程中的各活动与所创造价值之间的关系,并解释了缺陷修改活动依然会引入新缺陷这一常被忽略的事实.通过一个应用实例证明,该模型有较好的可用性和有效性. 相似文献
7.
为克服传统进度分析方法的不足,根据项目风险理论,提出了基于人员能力和风险事件的软件项目进度风险分析模型ScedRisk。该模型能在已有项目计划及任务人员分配信息的基础上,分析人员能力和风险事件对项目中每个任务影响,并采用蒙特卡洛仿真模拟项目执行过程,综合分析项目进度风险及导致项目延迟的主要风险源,为软件组织制定合理的风险规避策略和科学的项目进度计划提供决策依据。 相似文献
8.
介绍了一种可用于软件采购定价的成本估算系统.首先引入了一个两阶段的成本估算模型框架.该框架利用一个裁剪的COCOMO Ⅱ模型估算开发总工作量,再利用一个贝叶斯网络模型估算开发总成本.并以某科技计划项目为例,对贝叶斯网络模型参数进行了定义和校准.在此基础上,开发了基于B/S结构的成本估算系统.应用实例表明,该系统拥有较高的估算精度. 相似文献
9.
最长公共子序列问题的改进快速算法 总被引:1,自引:0,他引:1
现在几个最常用的解决最长公共子序列(LCS)问题的算法的时间复杂度分别是O(pn),O(n(m-p)).这里m、n为两个待比较字符串的长度,p是最长公共子串的长度.给出一种时间复杂度为O(p(m-p)),空间复杂度为O(m+n)的算法.与以前的算法相比,不管在p<相似文献
10.
面向嵌入式实时软件的需求规约语言及检测方法 总被引:2,自引:0,他引:2
针对嵌入式实时软件需求规约及其检测问题,提出了基于层次并发有穷状态机的可合成的图形化建模语言RTRSM*(real-time requirements specification model*),利用转换有效期和事件预定机制来描述时间限制,能够较好地支持系统交互性和实时性的建模.为弥补RTRSM*作为操作性规约语言不便于性质描述的问题,提出了命题时序逻辑RITL(real-time interval temporal logic).该语言以时间状态序列为语义模型,具有基于区间和时间点的量化时间属性描述功能,能自然、全面地描述RTRSM*模型性质.介绍并讨论了基于两种语言的规约检测方法和技术,主要包括系统状态空间有穷的RTRSM*模型状态可达图的相关问题和规约的模拟执行. 相似文献