NO OO NO LIFE锛歄O绗笁鍗曞厓鎬荤粨
Posted
tags:
篇首语：本文由小常识网(cha138.com)小编为大家整理，主要介绍了NO OO NO LIFE锛歄O绗笁鍗曞厓鎬荤粨相关的知识，希望对你有一定的参考价值。
鏍囩锛?a href='http://www.mamicode.com/so/1/%e4%b8%8d%e8%83%bd' title='涓嶈兘'>涓嶈兘 闃熷垪瀹炵幇 绛夌瓑 鍙樺寲 鍒嗛厤 绠楁硶 缂栬瘧 缁撴瀯
JML鍒濇
JML寮曞
? JML鏄竴绉嶅舰寮忓寲鐨勩€侀潰鍚慗AVA鐨勮涓烘帴鍙ｈ鏍艰瑷€銆?/strong>绠€鑰岃█涔嬶紝鍗虫槸涓€浠借€佹澘缁欎笅灞炲憳宸ョ殑浠诲姟琛紝鍛婅瘔浣犱粈涔堟儏鍐靛簲璇ュ緱鍒颁粈涔堢殑缁撴灉锛屼綘鑳戒娇鐢ㄤ粈涔堝伐鍏凤紝涓嶈兘浣跨敤浠€涔堝伐鍏枫€傝€屾樉鐒剁殑鏄紝鎴戜滑灏辨槸杩欐牱鐨勫憳宸ワ紝璇绘噦浜嗚€佹澘鍒嗛厤鐨勪换鍔★紝灏卞紑濮嬪共娲汇€傝嚦浜庢€庝箞骞诧紝鑰佹澘骞朵笉鍏冲績锛屽叧蹇冪殑鍙槸鑳藉惁鍦ㄥ浐瀹氭椂闂村唴寰楀埌绗﹀悎棰勬湡鐨勭粨鏋溿€?/p>
? 鐢辨鍙锛孞ML鍦ㄥ簲瀵瑰伐绋嬩换鍔℃椂锛屾湁鐫€鏋佸ぇ鐨勯亶鍘嗐€?strong>涓€鏄究浜庤鏍肩殑缁熶竴锛涗簩鏄究浜庢祴璇曠殑灞曞紑
JML浣跨敤
-
JML浣跨敤鐨勬槸Javadoc鐨勬敞閲婃柟寮忋€傚舰寮忓父涓猴細//@ 鈥︹€?/strong> 鎴?/* 鈥︹€?/ 銆?/p>
-
鏂规硶瑙勬牸锛?/p>
- equires P锛氬墠缃潯浠躲€傝姹傝皟鐢ㄨ€呬繚璇丳涓虹湡锛屾柟娉曡鏍间腑鍙互鍚湁澶氫釜require璇彞銆?/li>
- ensures P锛氬悗缃潯浠躲€傝姹傛柟娉曟墽琛屽畬鎴愪箣鍚庯紝P涓虹湡銆?/li>
- assignable 锛氬壇浣滅敤銆傛柟娉曟墽琛屾椂锛屼細鏀瑰彉鏌愪簺瀵硅薄鐨勫睘鎬э紝杩欎簺瀵硅薄闇€鍦ㄥ壇浣滅敤涓槑纭€?/li>
- signals锛氬紓甯搞€傚綋婊¤冻鏉′欢鏃讹紝鏂规硶鎶涘嚭寮傚父銆?/li>
-
绫诲瀷瑙勬牸锛?/p>
- invariant锛氫笉鍙樺紡銆傝姹傚湪鎵€鏈夊彲瑙佺姸鎬佷笅閮藉繀椤绘弧瓒崇殑琛ㄨ揪寮忋€?/li>
- constraint锛氱姸鎬佸彉鍖栫害鏉熴€傚浜庡彉閲忔敼鍙樺仛鍑虹殑闄愬埗銆?/li>
-
甯歌琛ㄨ揪寮忥細
- esult锛氬浜庢柟娉曟墽琛屾墍寰楀埌鐨勮繑鍥炲€煎仛鍑轰竴瀹氶檺鍒躲€?/li>
- old(expr)锛氳〃绀篹xpr鍦ㄨ鏂规硶鎵ц鍓嶆墍鎸囧悜鐨勫璞°€?/li>
- forall锛氳〃绀哄叏绉伴噺璇嶃€?/li>
- exists锛氳〃绀哄瓨鍦ㄩ噺璇嶃€?/li>
- sum锛氳〃绀烘眰鍜屻€?/li>
锛?s>鎯宠捣琚鏁ｆ敮閰嶇殑鏃ュ瓙
Openjml涓嶴olver
? 鍐欏崥瀹㈢殑杩欏嚑澶╋紝鍩烘湰涓婇兘鍦ㄦ崳榧撹繖鐜╂剰锛屾姤鐨勯敊涔熸槸鍚勭閮芥湁锛屼贡涓冨叓绯燂紝蹇冩€佺垎鐐搞€傚叾涓渶瀹规槗纰板埌鐨勫氨鏄壘涓嶅埌Person绫?/strong>銆?/p>
? 缁忚繃澶氬ぉ灏濊瘯锛岃繕鏄病鏈夎繘灞曠殑鎯呭喌涓嬶紝鎴戞墦绠楅噰鍙栦簡鏆村姏鏂规硶銆傜洿鎺ュ皢Person绫诲杩汫roup鏂囦欢閲岋紙鎷掔粷checkstyle锛夛紝缁撴灉鐪熸垚浜嗐€?/p>
? 缁忚繃淇℃伅楠岃瘉锛屾垜浠細鍙戠幇鏄笉鏀寔涓夌洰杩愮畻绗︾殑銆傜粡杩囦慨鏀逛箣鍚庯紝鍗冲彲鎴愬姛璺戦€氾紙閲囩敤normal_behavior锛夈€?/p>
? 鐢变簬瀵笹roup鐨勬祴璇曞嚭鐜颁簡涓€浜涚姸鍐典箣澶栫殑鎶ラ敊锛屼緥濡傜紪璇戝櫒鐗堟湰涓嶅锛岀幆澧冨紓甯哥瓑绛夛紝瀹炲湪鎵句笉鍒拌В鍐冲姙娉曪紝閬傛斁寮冦€?/p>
JMLUnitNg
浣滀笟鏋舵瀯鍒嗘瀽
? 绗竴娆＄殑鏋舵瀯姣旇緝绠€鍗曪紝涓€姝ユ鎸夌潃JML鍐欏嵆鍙€傚鍣ㄩ噰鐢ㄧ殑鍧囦负ArrayList銆?/p>
? 鍏朵腑锛宨sCircle鏄緝涓哄洶闅剧殑鍦版柟銆傛湰娆′綔涓氱瑪鑰呴噰鐢ㄧ殑鏄疊FS鍋氭硶锛岄€氳繃鏍囪鐐瑰拰闃熷垪瀹炵幇鏂规硶銆?/p>
? 鐢卞浘鍙锛岀涓€娆′綔涓氱殑澶嶆潅搴﹀苟涓嶉珮銆?/p>
? 绗簩娆′綔涓氬湪绗竴娆′綔涓氱殑鍩虹涓婂紩鍏ヤ簡鏂扮被Group銆?/p>
? 鑰冭檻鍒扮浜屾浣滀笟鐨勬暟鎹噺绾ф槸浠ヤ竾涓哄崟浣嶏紝鎴戞洿鏀逛簡绗竴娆′綔涓氫腑鐨勬暟鎹瓨鍌ㄧ粨鏋勶紝瀵逛簬鎵€鏈夊瓨鍌ㄦ暟鎹浛鎹负ArrayList鍜孒ashMap鐨勫弻瀛樺偍缁撴瀯锛涘墠鑰呯敤鏉ラ亶鍘嗭紝鍚庤€呯敤鏉ユ煡鎵俱€傚吀鍨嬬殑绌洪棿鎹㈡椂闂村仛娉曘€?/p>
? 鍏朵腑锛屽鏉傚害杈冮珮鐨勬槸閽堝Group鐨勫嚑涓嚱鏁帮細relationSum銆乿alueSum銆乤geVar鈥︹€︽樉鐒讹紝鍦ㄨ繖涔堥珮鐨勬暟鎹己搴︿笅锛屽弻寰幆鐨勫鏉傚害浼氱垎鐐革紝鎵€浠ラ噰鍙栦簡缂撳瓨鐨勬柟寮忚繘琛屼紭鍖栵細鍗冲皢澶嶆潅搴﹁浆绉诲埌浜哸ddRelation鍜宎ddToGroup鏂规硶涔嬩笂锛屾湁鏁堝湴鍑忓皯浜嗚繍琛屾椂闂淬€?/p>
? MyGroup绫荤殑澶嶆潅搴︺€?/strong>
? MyNetwork绫荤殑澶嶆潅搴?/strong>
? 鐢卞鏉傚害鍙锛屾柟娉曠殑澶嶆潅搴︿富瑕佸爢绉湪浜嗕笂杩版墍鎻愬強鐨勬柟娉曚箣涓娿€?/p>
? 绗笁娆′綔涓氬湪绗簩娆′綔涓氱殑鍩虹涓婂苟鏈紩鍏ユ柊鐨勭被锛岃€屾槸澧炲姞浜唃roup浠ュ強network涓殑鏂规硶銆?/p>
? 绗旇€呯户缁欢鐢ㄤ簡绗簩娆′綔涓氱殑鍙屽瓨鍌ㄧ粨鏋勩€備互鍙婃敼鍙樹簡isCircle鐨勫垽鍒柟娉曪紝寮曞叆浜嗗苟鏌ラ泦鐨勫睘鎬ц繘琛岃繛閫氭€х殑鍒ゆ柇銆傛柊寮曞叆鏂规硶鐨勫鐞嗕篃鏈夌潃涓嶅皬鐨勯毦搴︺€?/p>
? queryMinPath锛屽嵆姹備袱鐐圭殑鏈€鐭矾寰勶紝涓嶈瘽娌¤锛岀洿鎺ヤ笂杩澃鏂壒鎷夛紙缁撴灉鍙兂鑰岀煡锛夈€?/p>
? queryStrongLinked锛岄噰鍙栫殑鏄垽鏂袱鐐逛箣闂存槸鍚﹀瓨鍦ㄤ袱鏉″畬鍏ㄤ笉閲嶅鐨勮矾寰勬柟娉曪紙缁撴灉鍙兂鑰岀煡锛夈€?/p>
? queryBlockSum锛屽嵆鍒ゆ柇杩為€氬潡鐨勬暟閲忥紝骞舵墦绠楃敤骞舵煡闆嗚緟鍔╁畬鍏紝浣嗘槸鑰冭檻鍒版椂闂存€ц兘锛屽紩鍏ョ紦瀛樻満鍒躲€傚嵆姣忓綋璋冪敤addPerson鏂规硶鏃讹紝浣垮緱鏁伴噺鍔犱竴锛涘綋璋冪敤addRelation鏂规硶鏃讹紝鏍规嵁鎯呭喌鍑忓幓涓€銆?/p>
? MyGroup绫荤殑澶嶆潅搴?/strong>
? MyNetwork绫荤殑澶嶆潅搴?/strong>
? 鐢变笂鍥惧彲鐭ワ紝qsl浠ュ強qmp鐨勫鏉傚害澶亹鎬栦簡锛屽苟涓旂敱浜庤繃搴︿娇鐢ㄧ紦瀛樻満鍒讹紝瀵艰嚧addRelation鏂规硶鐨勫鏉傚害涔熸槸鏋侀珮鐨勩€?/p>
浣滀笟BUG鍒嗘瀽
绗竴娆′綔涓?/h4>
? 绗竴娆′綔涓氱殑鎯呭喌鏋佸叾鎯ㄧ儓銆傚綋鏃跺垰鐪嬪埌浣滀笟鐨勬椂鍊欏叴濂嬩笉宸诧紝鍗曠函鍦颁互涓虹収鐫€JML鍐欏啓灏辨病浠€涔堝ぇ浜嬶紝鍗村湪缁嗚妭鐨勫鐞嗕笂琚悶寰楀績鎬佺垎鐐搞€俰sCircle鏂规硶涓紝id1涓巌d2鐩哥瓑鐨勬儏鍐靛苟鏈鐞嗗畬鍏紝瀵艰嚧寮烘祴鐖嗙偢銆?/p>
? 淇锛氱洿鎺ラ噰鍙栫壒鍒よ繑鍥炪€?/p>
绗簩娆′綔涓?/h4>
? 绗簩娆′綔涓氱敱浜庤涓嬭繘琛屼簡澶ч噺鐨勫鎷嶏紝Junit楠岃瘉锛屽苟鏈彂鐜癰ug銆?/p>
绗笁娆′綔涓?/h4>
? 绗笁娆′綔涓氱敱浜巕ueryMinPath鏂规硶閲囩敤浜嗘渶鏈寸礌鐨勮开鏉版柉鐗规媺绠楁硶锛屽鑷碿tle銆?/p>
? 淇锛氶噰鐢ㄤ簡鍫嗕紭鍖栫殑杩澃鏂壒鎷夌畻娉曘€?/p>
蹇冨緱浣撲細
? 鐢变簬鏈崟鍏冪殑浣滀笟澶ч儴鍒嗛兘鏄牴鎹甁ML鍐欎唬鐮侊紝鍙湁鍦ㄥ疄楠岃涓婃寜钁姦鐢荤摙鍦板啓浜嗕竴鐐圭偣JML锛屽JML鎾板啓鐨勭悊瑙ｅ苟涓嶆槸寰堟繁鍏ャ€?/p>
? 瀵逛簬JML鐨勭粌涔狅紝鎴戣寰楁槸涓€涓緢涓嶉敊鐨勯€夋嫨锛屾垨鑰呰鏇村儚鏄竴绉嶈亴鍦哄寲鐨勬彁鍓嶉涔狅紵缁欐垜鐨勬劅瑙夊氨鏄洿鍔?strong>宸ョ▼鍖?/strong>锛屾瘡涓汉鍚勫徃鍏惰亴锛屽啓瑙勬牸鐨勫氨鍐欒鏍硷紝鍐欎唬鐮佺殑灏卞啓浠ｇ爜锛屼笉浠呬娇寰楅」鐩鐞嗘洿鍔犳柟渚匡紝涔熼伩鍏嶄簡涓嶅皯鍚勮嚜鐨勫啿绐併€備絾鏄紝閫氳繃瀵笿ML宸ュ叿閾剧殑浣跨敤锛屾劅瑙?strong>JML鐨勨€濈敓鎬佺幆澧冣€滅‘瀹炰竴瑷€闅惧敖銆傘€傘€?/p>
以上是关于NO OO NO LIFE锛歄O绗笁鍗曞厓鎬荤粨的主要内容，如果未能解决你的问题，请参考以下文章