SWTPP
文章平均质量分 82
随机下雨
这个作者很懒,什么都没留下…
展开
-
SWTPP复习笔记
Codequalität und TestenÄquivalenzklassentest是为了用更少的测试达到效果,所以在画出CFG后,可以用是否能满足覆盖整个CFG来评估是否选对了。mit minimaler Anzahl, um vollständige Zweigüberdeckung für das o.g. Programm zu erreichenZweigüberdeckung => Kantengilt das minimale TestkriteriumFehleride原创 2021-03-28 18:22:05 · 81 阅读 · 0 评论 -
VL8 Codequalität - Refactoring Notiz
Code-Smells(Gerüche)Lange Methode, viele Bedingungen(switch-Befehle: McCabe Cyclomatic Complexity), duplizierter CodeLange Parameterlisten, viele Attribute(Datenklumpen: Number of Attributes), groß...原创 2020-04-16 14:57:52 · 117 阅读 · 0 评论 -
VL8 Codequalität Notiz
Statische ProduktmetrikenTraditionellen MetrikenProgrammgröße, KomplexitätZeilenmetriken(LOC): Anzahl der Zeilen im ProgrammNon-Commenting Lines Of Code(NCLOC): ignoriere Leerzeilen und reine K...原创 2020-04-16 05:22:00 · 177 阅读 · 0 评论 -
VL9 Testen Notiz
EinführungStrukturorientierte Tests (White-Box Tests)Überdeckungsgrad$Überdeckung (Coverage) =\frac{Anzahl überdeckter Merkmale }{Anzahl vorhandener Merkmale} $Anweisungsüberdeckung (Knoten im...原创 2020-04-14 16:09:15 · 142 阅读 · 0 评论 -
Haskell笔记 foldl和foldr的区别
foldr :: (a -> b -> b) -> b -> [a] -> bfoldr _ z [ ] = zfoldr f z (x:xs) = f x (foldr f z xs)从列表中取出头元素,放到函数的第一个参数的位置,而z一直作为第二个参数。foldl :: (b -> a -> b) -> b -> [a] ->...原创 2020-04-11 02:27:44 · 741 阅读 · 0 评论 -
Haskell笔记 Strings
ascii = [’\0’ … ‘\127’]isVowelpattern matching 先试过五个元音,然后加上 isVowel _ = False。在前面没有判断为True的都会在最后一步判断为False。hasVowel和对于列表的操作相似,判断当前的元素是不是元音。toString对于不同情况,可以使用case … of …elem用elem函数表示isVowel:...原创 2020-04-10 15:01:26 · 127 阅读 · 0 评论 -
Haskell笔记 无限的列表
无限循环一个列表cycle :: [a] -> [a]cycle xs = xs ++ cycle xs给出2的幂使用pot,直接用map函数powt = map pot [0…]不使用pot,使用recursionpowt = 1: map (2*) powt和例子nats的生成相似(见VL 10)给出n次幂用take把n个x从无限的列表[x, x…]中取出...原创 2020-04-04 03:51:22 · 241 阅读 · 0 评论 -
Haskell笔记 Maybe
data Maybe a = Just a | NothingMaybe aJust :: a -> Maybe aNothing :: Maybe a先定义maxin,返回一个列表中的最大值。maxin :: Ord a => [a] -> a借助Maybe可以写一个可以处理错误信息的maxin2。用到了Pattern matching。maxin2 :: Ord...原创 2020-04-04 03:04:13 · 478 阅读 · 0 评论 -
prolog笔记 prime 质数
检测一个数X是不是质数。定义一个functor primeHelper,用于检测X是否能被所有小于X(所以先减去1)且大于2的整数整除。同时检测X是否大于1。primeHelper(_,2).primeHelper(X,H) :- H2 is H-1, + (0 is X mod H2), primeHelper(X,H2).prime(X) :- X>1, primeHelper...原创 2020-04-03 23:55:35 · 245 阅读 · 0 评论 -
prolog笔记 递归recursion练习题
给出一张图如何用一个functor表示两个城市相连?因为是一个无向图,所以两个方向都可以表示连通,需要用到分号;表示“或”。directConn(X,Y,S) :- street(X,Y,S); street(Y,X,S).两座可以连通的城市之间有多少座城市?利用递归,每存在一个directConn的城市,城市计数Erg加一。最后加上首尾的两座城市。两座可以连通的城市之间的距离?求...原创 2020-04-03 23:37:32 · 857 阅读 · 0 评论 -
VL10 Funktionale Programmierung Notiz
EinführungHaskell ist funktionale ProgrammiersprachenFunktionalEin-/Ausgaberelation, die beschreibt was getan werden sollZustandsloskeine Variablen außer den ParameternRekursion(statt Schleifen...原创 2020-04-03 17:11:36 · 484 阅读 · 0 评论 -
prolog笔记 变量和统一性
?- X=1.正确。只有大写字母和_开头的是变量。?- x=1.Goal (directive) failed: user: (x=1)小写,不是变量,是常量,不能代入。?- _=“unterstrich”.正确。_是匿名变量。?- val(X,Y)=val(A,B).Singleton variables: [X,Y,A,B]?- val(X,Y,_)=val(X,Y).G...原创 2020-03-25 19:47:01 · 520 阅读 · 0 评论 -
VL11 Logische Programmierung Notiz
Einführungdeklarative Programmierungberuht auf der mathematischen LogikAxiome(Fakten, Regeln), Situation(was gilt) Axiome enthalten die gesamte Datenbasis Anfrage, Ziel Interpreter, weiter...原创 2020-03-25 01:42:51 · 181 阅读 · 0 评论