【摘 要】
：
Getting testers involved during requirement analysis is not only helping developers improve the quantity of the software requirements,but also helping teste
【机 构】
：
Beihang University andSoftware Engineering Institute,Beijing,China
【出 处】
：
第十一届全国软件与应用学术会议(NASAC2012)
论文部分内容阅读
Getting testers involved during requirement analysis is not only helping developers improve the quantity of the software requirements,but also helping testers design the requirement of testing easily.At the same time,testers can know the requirements in timely and accurately after the software requirements are modified.We introduce the concept of testing requirement by making use of the idea of model-driven,and then present an approach of testing requirement modeling.We can get test case according to the test requirements model which corresponding to the test objectives.For test objective corresponds to test case,software requirements can trace down to test cases,and test cases can trace up to software requirements.
其他文献
混成自动机行为中既包含离散行为又包含连续行为，非常复杂。因此其安全性验证问题也难以解决，即使是线性混成自动机，它的可达性问题也被证明是不可判定的。现有工具大都使用
现代营销理论中有一条非常重要的原则:“把正确的商品卖给正确的人”,这里“正确的人”指的就是目标客群.“让目标客群爱上你的店”,这是在吸引顾客进店后店长店员们重点要做
通常程序的不变式验证可转化为不动点求解问题,但直接计算不动点是非常困难的,故验证时态性质p 常依赖于找到合适地辅助不变式q,使之满足Reach(M)(∈)[q](∈)[p]。本文提
云计算环境下虚拟机文件需要合理部署，而传统基于择优选择的虚拟机部署机制忽略了业务对负载指标要求的差异，并且对目标服务器的负载缺乏有效预测，易导致负载不均衡和虚拟机
This paper studies a mean square average consensus of general linear discrete-time time-invariant multi-agent systems with communication noises.A distribute
[案例]前不久,贵阳市召开了一次出租车起步价降价听证会,它打破了现今听证会即“涨价会”的怪圈,因而受到当地市民和一些媒体的赞誉。多年来,贵阳市出租汽车起步价一直为10元
她本是河南新乡市的一个下岗女工,在建筑工地干过小工,在街头摆过地摊,骑自行车卖过香蕉……如今,她在新乡市拥有自己投资建立的3个果品批发市场和承包的2个果品市场,业务网
当用户自身与服务的交互经验不足时，来自其他用户的推荐成为用户判断服务可信性的主要依据。本文提出一种基于用户偏好的可信服务推荐模型，首先提出一种偏好挖掘方法，从用户
2003年,非典疫情使人们开始接触并接受网购;2020年,影响更为深远的新冠疫情则让O2O迎来发展的风口,特别是处于细分领域的医药O2O,逆势呈现出“因祸得福”的增长曲线.rn有人评
从七十年代初,我国出现了一个新型的工种行业——激光电子行业。通过调查表明,从事激光电子行业的职工由於受热、压、电磁刺激、铅锌刺激及光化反应等作用的影响,从而对从事