C++Test RuleWizard编写规则集

C++Test RuleWizard编写规则集

ID:39548256

大小:227.50 KB

页数:7页

时间:2019-07-06

C++Test RuleWizard编写规则集_第1页
C++Test RuleWizard编写规则集_第2页
C++Test RuleWizard编写规则集_第3页
C++Test RuleWizard编写规则集_第4页
C++Test RuleWizard编写规则集_第5页
资源描述:

《C++Test RuleWizard编写规则集》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库

1、C++Test如何编写规则2009-07-23C++Test怎样编写规则?现举例进行讲解。一条规则rule_1:逻辑表达式中常量应该放==号的左边。void foo() {    if(nFlag == 0)        /* Violation 此语句就违反了rule_1*/     {        return (Ok);    }    else    {        return (ERROR);    } }方法如下:1、在C++Test菜单栏Tools中选择RuleWizard2、

2、在规则编写工具RuleWizard中新建Rule1、在出现的对话框中Dictionary选择C,C++,还有一个选项是C++Test一般用于C++文本规则的制作,RuleCreation选择ByNode,Auto-Create用于手动书写代码而自动生成规则,但是自动生成的规则往往不尽人意,所以一般不用。NodeSelections选择if,因为此次书写的规则跟if有关,完成了点击ok。2、在工具的右边,显示一个if,外面包围一个红圈,在if上点击右键,因为是一个if条件,所以选择Condition[

3、…],否则选择其他。1、在弹出的树形选择框中选择表达式a==b,因为if的条件中是这个形式2、选择表达式形式后,对这个形式要进行约束,常量应该放在==号的左边,因此右键点击图中表达式,选择RightHandSide[…]。1、因为规则说,常量应该放在左边,因此,在弹出的树形选择框中应选择Constants(常量),如果规定了具体类型的常量,那么就选择具体的常量类型,如bool,string等等。2、这样,规则就编写好了,但是现在不能保存,规则还没有生效,右键点击选择CreateOutputàDisp

4、lay,并在弹出的message对话框中写入:“常量应放在==号左边”,点击OK后,图中的红色变为了黄色,说明生效了。1、现在可以保存这条规则了,fileàSaveAs…,填写此条规则的基本信息。1、测试这条规则,建立测试工程,测试如图所示的代码,可以看到此代码不符合规范2、在Testconfigurations中添加此规则,并在添加的规则前的方框中打勾,apply后,可以开始测试了。1、测试的结果显示如下图所示:

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。