2/14 Buffer I12, /* x=2, buffer = I 1 2 */ Buffer I243, /* x=34, buffer = I 2 43 */ x=56, buffer = I243 Buffer I243I265 code_int(int x, char *buffer)

Similar documents
WebSphere Studio Application Developer IBM Portal Toolkit... 2/21 1. WebSphere Portal Portal WebSphere Application Server stopserver.bat -configfile..

FAQ -PowerDesigner9.5.DOC

提问袁小兵:

資訊系統開發模式

SDS 1.3

untitled

目 录

EK-STM32F

51 C 51 isp 10 C PCB C C C C KEIL

詞 彙 表 編 號 詞 彙 描 述 1 預 約 人 資 料 中 文 姓 名 英 文 姓 名 身 份 證 字 號 預 約 人 電 話 性 別 2 付 款 資 料 信 用 卡 別 信 用 卡 號 信 用 卡 有 效 日 期 3 住 房 條 件 入 住 日 期 退 房 日 期 人 數 房 間 數 量 入

1 Project New Project 1 2 Windows 1 3 N C test Windows uv2 KEIL uvision2 1 2 New Project Ateml AT89C AT89C51 3 KEIL Demo C C File

重庆信~1

... 12

Microsoft Word - 把时间当作朋友(2011第3版)3.0.b.06.doc

史 教 学 评 价 与 测 试 社 会 主 义 经 济 理 论 西 方 经 济 学 管 理 方 法 社 会 经 济 统 计 会 工 商 管 理 计 学 原 理 财 务 会 计 管 理 学 原 理 市 场 营 销 生 产 运 营 管 理 财 务 管 理 成 本 管 理 人 力 资 源 管 理 金 融

Untitiled

中艺华海修改1.7.indd

北 京 蓝 皮 书 公 共 服 务 相 比 而 言, 养 老 医 疗 失 业 等 保 险 都 早 已 经 由 国 务 院 颁 布 了 相 应 的 立 法 条 例, 在 全 国 范 围 内 形 成 了 统 一 的 制 度 党 的 十 八 届 四 中 全 会, 首 次 以 依 法 治 国 为 主 题,

2006年中央、国家机关公务员录用考试


目次 


Microsoft Word zw

Microsoft Word - 把时间当作朋友(2011第3版)3.0.b.07.doc

天仁期末個人報告1.PDF

PPBSalesDB.doc

電機工程系認可證照清單 /7/1

AL-M200 Series

Microsoft Word 電腦軟體設計.doc

新时期共青团工作实务全书(三十)

Wy159.mps

第 15 章 程 式 編 写 語 言 15.1 程 式 編 写 語 言 的 角 色 程 式 編 寫 語 言 是 程 式 編 寫 員 與 電 腦 溝 通 的 界 面 語 法 是 一 組 規 則 讓 程 式 編 寫 員 將 字 詞 集 合 起 來 電 腦 是 處 理 位 元 和 字 節 的 機 器, 與

Microsoft Word 養生與保健_中山大學_講義


萬里社區老人健康照護手冊

Microsoft Word - 強制汽車責任保險承保及理賠作業處理辦法 doc

Microsoft Word - 06.Understanding of Pregnancy and Birth.doc

(➂)11. 炎 炎 夏 日, 即 使 下 起 滂 沱 大 雨, 都 消 除 不 了 令 人 心 煩 的 暑 氣 這 句 話 主 要 想 表 達 什 麼? ➀ 夏 日 裡 經 常 下 著 滂 沱 大 雨, 令 人 心 煩 ➁ 下 著 滂 沱 大 雨 的 日 子, 可 以 消 除 暑 氣 ➂ 夏 日

範本檔

附 件 一 : 办 理 集 中 式 银 期 转 账 业 务 网 点 名 单 序 号 地 区 网 点 名 称 地 址 联 系 人 电 话 23 工 商 银 行 安 徽 省 铜 陵 百 大 支 行 铜 陵 市 长 江 东 路 50 号 鲁 桂 珍 工 商 银 行 安 徽

2. 二 年 級 吳 毓 秀 老 師 : 感 謝 午 餐 公 司 平 時 均 能 準 時 送 餐, 但 希 望 能 不 要 使 用 加 工 品, 且 學 生 反 映 希 望 能 多 加 蛋 品 的 食 物 3. 三 年 級 柯 阿 青 老 師 : 雞 肉 有 血 水 味, 請 午 餐 公 司 能 調

高雄市立五福國民中學九十四學年度第一學期第三次段考二年級本國語文學習領域試題卷

人 物 春 秋 杨 永 泰 将 其 削 藩 策 略 概 括 为 : 以 经 济 方 法 瓦 解 冯 玉 祥 的 第 二 集 团 军, 以 政 治 方 法 解 决 阎 锡 山 的 第 3 集 团 军, 以 军 事 方 法 解 决 李 宗 仁 的 第 四 集 团 军, 以 外 交 方 法 对 付 张 学

台北老爺校外實地參訪結案報告


糖尿病食譜



,,,,,,, (,, ),,,,,,,,,,,,,,, ,,, 4 11,, ( ),,,, ( ), :, ( ),,, 1995, 66 ; ( ),, 1996, , 3-4,,


2002 4,,, 1941,,,,,,,,,,,,,,,,,, : ;:, 1991,

書本介紹


mvc


ARM JTAG实时仿真器安装使用指南

PowerPoint 簡報

《80后职场新鲜人生存手册》

Oracle Solaris Studio makefile C C++ Fortran IDE Solaris Linux C/C++/Fortran IDE "Project Properties" IDE makefile 1.

第3章.doc

<4D F736F F D20A1B4A6D1AC75BE69A5CDA5F0B6A2B941B3F5B0AAA67EAFC5A455BEC7B4C12E646F63>

D C 93 2

NEXT SDT2.51 C:\ARM251 SDT2.51 ARM SDT 2.51 ARM PROJECT MANAGER SDT 2


二零一五年施政報告 - 施政綱領 - 第三章 扶貧及為弱勢社群提供支援

<4D F736F F D20BACBB0B2C8ABD3EBB7C5C9E4D0D4CEDBC8BEB7C0D6CEA1B0CAAEB6FECEE5A1B1B9E6BBAEBCB C4EAD4B6BEB0C4BFB1EA2E646F63>

<4F4BBEFAA576A470BBA15FC160AAED E786C73>

辽宁铁~1

I

海底捞你学不会

YEN/MIAO CHING MS 27FEB DEL HKG

Microsoft Word - 02文本.docx


案件

義 和 團 及 兪 國 聯 軍 之 役 課 題 學 習 指 引 : A. 思 考 課 題 有 人 說, 義 和 團 及 兪 國 聯 軍 之 役 是 中 國 近 代 史 的 分 水 嶺, 你 同 意 嗎? B. 思 考 方 向 滿 清 政 府 的 管 治 威 信 思 考 是 否 已 不 信 任 滿 清

最新监察执法全书(一百五十五).doc

游戏攻略大全(三十四).doc

掌握健康 掌握人生


草莓实用技术(一)

Microsoft Word - 【襪子流浪記】.docx

最新监察执法全书(十一).doc

钓鱼技巧_二_.doc

动物的智慧(五)

学位〔2013〕37号

海关法规(七).doc

健康知识(一)

Microsoft Word - 人民萬歲_宋玉雯.docx

北京(一)

穨ecr6_c_2.PDF

i

园林植物卷(九).doc

城市园林(上).doc

家装知识(四)

苗木的种植_四_.doc

认识植物(一)

蟹的养殖技术(一)

药用植物种植技术(二)

特种养殖实用技术(七)

司法鉴定工作手册(十八)

Transcription:

1/14 IBM Rational Test RealTime IBM, 2004 7 01 50% IBM Rational Test RealTime IBM Rational Test RealTime 1. 50% IBM Rational Test RealTime IBM Rational Test RealTime 2. IBM Rational Test RealTime Test RealTime IBM Rational 1. 2. 3. Test RealTime Test Driver Test Stub 4. 5. Target Deployment Port 3. c:\rtrt\src UmtsCode.c UmtsCode.h winzip c:\ rtrt.zip UmtsCode.c code_int(int x, char *buffer) 1 x buffer 2

2/14 Buffer I12, /* x=2, buffer = I 1 2 */ Buffer I243, /* x=34, buffer = I 2 43 */ x=56, buffer = I243 Buffer I243I265 code_int(int x, char *buffer) 1. C test_code_int.c main main code_int code_int 2. code_int.c test_code_int.c test_code_int.exe 3. test_code_int.exe 1. C 2. test_code_int.c 3. 4. 4. Test RealTime code_int(int x, char *buffer) 4.1 Test RealTime

3/14 Rational Test RealTime 1 Test RealTime C/C++ 2 Test RealTime 3 4 Test RealTime C 5 Test Realtime 6 Test RealTime 7 8 Test RealTime Visual C 6.0 msdev.exe 9 4.2 4.2.1 Test RealTime scr.c.h scripts: reports: Test RealTime html: HTML 4.2.2 Microsoft Visual C++ 6.0 Microsoft Visual C++ 6.0 PATH VC cl.exe 4.2.3 IBM Rational Test RealTime Test RealTime IBM Rational? Test RealTime Installation Guide ATTOLSTUDIO_VERBOSE=1 Test RealTime build 4.2.4 Test RealTime Project Test RealTime Project Visual C++ 6.0 Project C/C++ File > New > Project Project

4/14 Test RealTime c:\rtrt\test Next > Target Deployment Port UtmsCode.c C C Visual 6.0 Finish Project. VC

5/14 Configuration Settings C report c:\rtrt\report c:\rtrt\test..\reports

6/14 4.3 code_int(int x, char *buffer) code_int Test RealTime 4.3.1 File > New > New Activity > Component Testing Component Testing Wizard UtmsCode.c compute static metrics

7/14 Next > Component Under Test code_int v(g) v(g)=1 10 v(g) Test RealTime code_int checkbox Next > Test Script Generation Settings scripts Test script path and file name..\scripts\umtscode.ptu

8/14 Next >, Finish attolstartc attolstartc

9/14 Test RealTime reference manual. 4.3.2 Test RealTime 0 SERVICE code_int SERVICE_TYPE extern -- Tested service parameters declarations #int x; #char buffer[200]; ENVIRONMENT ENV_code_int VAR x, init = 0, ev = init VAR buffer, init = "", ev = init END ENVIRONMENT -- ENV_code_int USE ENV_code_int TEST 1 FAMILY nominal ELEMENT #code_int(x, buffer); END ELEMENT END TEST -- TEST 1 END SERVICE -- code_int VAR x, init = 0, ev = init x 0 VAR buffer, init = "", ev = init buffer code_int SERVICE code_int SERVICE_TYPE extern -- Tested service parameters declarations #int x; #char buffer[200]; ENVIRONMENT ENV_code_int VAR x, init = 0, ev = init VAR buffer, init = "", ev = init END ENVIRONMENT -- ENV_code_int USE ENV_code_int TEST 1 FAMILY nominal ELEMENT VAR x, init = 2, ev = init VAR buffer, init = "", ev = "I12" #code_int(x, buffer); END ELEMENT END TEST -- TEST 1 TEST 2 FAMILY nominal ELEMENT VAR x, init = 34, ev = init VAR buffer, init = "", ev = "I243" #code_int(x, buffer); END ELEMENT END TEST -- TEST 2 TEST 3 FAMILY nominal ELEMENT VAR x, init = 56, ev = init

10/14 VAR buffer, init = "I243", ev = "I243I265" #code_int(x, buffer); END ELEMENT END TEST -- TEST 3 END SERVICE -- code_int c:\rtrt\scripts\ UtmsCode_new1.ptu 4.3.3 UtmsCode.put Build Build Output Window build 1 attolpreproc UtmsCode.put TTest.c attolpreproc "C:\rtrt\scripts\UmtsCode.ptu" "cvisual6\ttest.c" 2 TTest.c TTest.obj 3 UtmsCode.c UtmsCode.i cl.exe -P "C:\rtrt\src\UmtsCode.c" "-I..\src 4 attolcc1 UmtsCode.i UmtsCode_aug.c \attolcc1 "cvisual6\umtscode.i" "cvisual6\umtscode_aug.c" atct.def 5 cl.exe UmtsCode_aug.c UmtsCode.obj cl.exe -ZI -Yd -GZ -GX -c "cvisual6 \UmtsCode_aug.c" -Fo"cvisual6\UmtsCode.obj" "-I..\src" 6 UmtsCode.c Metric: attolstartc "C:\rtrt\src\UmtsCode.c" - METRICS="../reports" 7 Test.exe link.exe /debug /subsystem:console /machine:i386 /pdb:none "C:\rtrt\test\cvisual6\TTest.obj" "C:\rtrt\test\cvisual6\UmtsCode.obj" "cvisual6\tp.obj" ws2_32.lib /out:".\cvisual6\test.exe" TP.obj Test RealTime 8 Test.exe 9

11/14 Test RealTime UML Sequence Diagram 4.3.4 Project Browser c:\rtrt\reports

12/14 Results Test, View Report UtmsCode Results Code Coverage, View Report

13/14 UmtsCode.c while ( x!= 0) 4.3.5 UtmsCode.ptu while ( x!= 0) TEST 4 FAMILY nominal ELEMENT VAR x, init = 0, ev = init VAR buffer, init = "A", ev = "AI10" #code_int(x, buffer); END ELEMENT END TEST -- TEST 4 c:\rtrt\scripts\ UtmsCode_new2.ptu Test 4 UtmsCode.c

14/14 4.3.6 UtmsCode.c UtmsCode_new.c UtmsCode.c 5. IBM Rational Test RealTime C C++ Java IBM Rational Test RealTime ftp://ftp.software.ibm.com/software/rational/docs/documentation/manuals/testing.htm IBM Rational Test RealTime http://www- 306.ibm.com/software/awdtools/test/realtime/support/ IBM has authored this article IBM developerworks IBM